ikuraj / alloy4eclipse

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

A4E & domain-specific property view #51

Open GoogleCodeExporter opened 8 years ago

GoogleCodeExporter commented 8 years ago
In cases where we have a mapping between atoms & tuples in A4 and 
corresponding elements.relations in the UML,
it would be nice to select something in the A4 viz view and have that
selection show up in the UML property viewer.

Original issue reported on code.google.com by daniel.l...@gmail.com on 26 Mar 2008 at 12:15

GoogleCodeExporter commented 8 years ago
I am unsure how easy it is to hook a listener to a selection on the vizview.

I guess Felix need to comment on this.

Original comment by daniel.l...@gmail.com on 26 Mar 2008 at 12:16

GoogleCodeExporter commented 8 years ago
We already have a mechanism to provide user-invoked callbacks (e.g., mouse)
that we have used here:

fr.univartois.cril.alloyplugin.editor.MultiPageEditor.addPage(String, URL)

We are missing public access to two things:

1) the "legend" information from A4's VizGraph:

edu.mit.csail.sdg.alloy4graph.VizGraph.legends

Note: I think its definition could be made more precise from:

 private final SortedMap<Comparable<?>,Pair<String,Color>> legends = new
TreeMap<Comparable<?>,Pair<String,Color>>();

to this:

 private final SortedMap<Comparable<? extends AlloyElement>,Pair<String,Color>>
legends = new TreeMap<Comparable<? extends AlloyElement>,Pair<String,Color>>();

2) Public access to A4'z VizGraph from the VizViewer which we have access to in 
the
action listener callback.

Original comment by nicolas....@gmail.com on 26 Mar 2008 at 3:34