search

ikuraj / alloy4eclipse

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

Allow visualisation of models and counter examples #5

Closed GoogleCodeExporter closed 8 years ago

GoogleCodeExporter commented 8 years ago 
There is currently no way to graphically view Alloy models or counter examples.

The easiest way to proceed I guess is to include Alloy graphical view in
one Eclipse view.

The hard way would be to rebuild it from scratch using GEF.

I think we should try the easiest way first :)

Original issue reported on code.google.com by daniel.l...@gmail.com on 20 Mar 2007 at 8:30

GoogleCodeExporter commented 8 years ago 
Basic visualization is available since release 0.0.4. It appears as a single 
frame
outside Eclipse. The next step is to open it at least inside an Eclipse view.

Note that it is mandatory to install graphviz to be able to use the 
visualization
capability.

Original comment by daniel.l...@gmail.com on 3 Apr 2007 at 7:18

GoogleCodeExporter commented 8 years ago

Original comment by daniel.l...@gmail.com on 11 Apr 2007 at 6:37

GoogleCodeExporter commented 8 years ago 
That feature is now available from SVN and from the eclipse update site.

Original comment by daniel.l...@gmail.com on 16 May 2007 at 11:36