This extension provides rich support for the Alloy specification language.

Features

• Running Alloy commands from VS Code (using mouse or key combo Ctrl+Shift+A E)
• Viewing results (instances/counterexamples)
• Editor integrated error reporting

• Go to Definition support
• Support for Alloy Markdown files

• Find References support
• Rename support (works across files)

• Document outline/symbol search support
• Folder symbol search support

(Syntax highlighting provided by alloy-vscode)

This extension is bundled with a custom version of the Alloy analyzer JAR that supports the Language Server Protocol.

Tips

• To change Alloy settings (SAT solver, allow warnings, etc.) open the command palette (Ctrl/Cmd+Shift+P), and find the command Open Alloy Editor. This will open the bundled Alloy analyzer.

• To execute the Alloy command under cursor, use the command Execute Current Alloy Command (key combo Ctrl+Shift+A E).

• To select an Alloy command from a drop down menu, use the command List Alloy Commands.

• To execute all Alloy commands in an Alloy file, use the command Execute All Alloy Commands.

• Code lens can be disabled by changing the preference alloy.commandHighlightMode to link (a good option if you don't like the code moving vertically while you type).

Requirements

Java (8 or higher) must be installed and included in PATH.