ikuraj / alloy4eclipse

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

provide an evaluator for a given instance #37

Closed GoogleCodeExporter closed 8 years ago

GoogleCodeExporter commented 8 years ago
A4 allows the user to interact with an instance using an evaluator.

The same feature should be available also in A4E.

The evaluator is likely to appear as a specific Console in A4E.

Original issue reported on code.google.com by daniel.l...@gmail.com on 13 Dec 2007 at 11:53

GoogleCodeExporter commented 8 years ago
In order to fill the gap between A4 and A4E features, it would be nice to 
provide an
evaluator for a given instance in A4E.

We need to check in A4 what is really needed for the evaluator: I guess that it 
works
with an A4Solution object.

The evaluator in A4E should appear in a specific console.

One of the issue will be to enable the right evaluator depending of the 
selected VizView.

Another one will be to retrieve user input from the console: we only used it as
output for the moment.

Original comment by daniel.l...@gmail.com on 13 Jan 2008 at 7:43

GoogleCodeExporter commented 8 years ago

Original comment by daniel.l...@gmail.com on 24 Jan 2008 at 9:25

GoogleCodeExporter commented 8 years ago

Original comment by rdrue...@gmail.com on 13 Mar 2008 at 9:39