The Alloy Analyzer Layout

Here is a screenshot of the main window of the Analyzer:

Toolbar

The main toolbar of the Alloy Analyzer provides quick access to the most commonly used operations:

Editor Panel and Message Panel

The user interface consists of the editor panel and the message panel. The relative sizes of panels may be adjusted by clicking and dragging the split bars that separate the panels.

The message panel is also used for general status messages and error messages. For example, if a model cannot be compiled, an error message is displayed, and the error will be highlighted in the source Alloy model (see the figure below):

Options and Preferences

The preferences can be set by clicking the Options menu (see the figure below):