search

ikuraj / alloy4eclipse

Automatically exported from code.google.com/p/alloy4eclipse
0 stars 0 forks source link

Associate run as Alloy Specification with a command #101

Open GoogleCodeExporter opened 8 years ago

GoogleCodeExporter commented 8 years ago 
Currently, run as Alloy specification executes A4 compiler on the model.

This is not really useful. It would be better if that command could either run 
the command pointed by the cursor or the first one in the file or the last run.

Original issue reported on code.google.com by daniel.l...@gmail.com on 19 May 2011 at 2:37

GoogleCodeExporter commented 8 years ago 
Even better, doing it should provide an instance of the metamodel, as found in 
the 0.2.X plugin.

Original comment by daniel.l...@gmail.com on 1 Jun 2011 at 12:10