Introduction

How can you use Alloy 4 Eclipse ?

Installation within Eclipse

This plugin is developed for Eclipse Helios and later versions (3.6+). You can download and install A4E by using the button Eclipse-Marketplace directly from eclipse.

• search

• Install
• Create your projet

Discovery

Automatically, when you create your first project alloy, you will see appear the Alloy 4 models library. It contains all the examples and utility models.

• Model Creation

Like java project,you can create in your alloy project an alloy model in order to implement your relational models and your constraints.

Editor

you can find a good syntax coloration, a simple navigation,...

...intelligent Auto completion...

Command

In alloy4 you can launch run and check commands. With the right click on outline elements, you have the same behaviour. More we add a command on predicate and assertion which tries to check your code with default world.

Util

By default, lot of tools are imported. For example we can find arithmetics functions and other functions.

And...

For the development of your Alloy 4 models, this plugin looks like alloy 4 standalone application (we integrate directly the visualization from A4). There are basically the same functionality as in A4 but in an eclipse environment with Eclipse-class editing capabilities!