ikuraj / alloy4eclipse

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

Alloy solutions to be visualized in an eclipse XML editor #14

Open GoogleCodeExporter opened 8 years ago

GoogleCodeExporter commented 8 years ago
It is currently possible to visualize as a graph the solution because the
output file (xml) is saved somewhere.

It should not be difficult to open that xml file in an editor.

- if eclipse has an xml view, the editor will be of great help
- if there is no xml editor, I guess the default editor will be used.

That feature should appear similarly to the show graphical view.

Original issue reported on code.google.com by daniel.l...@gmail.com on 13 Apr 2007 at 10:02

GoogleCodeExporter commented 8 years ago
Another solution has been adopted: the xml file is available in the project.

One can use the default basic xml editor that ships with our plugin or use 
"open with
.... XML editor" for a fully featured editor.

That behavior need to be validated by users.

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

GoogleCodeExporter commented 8 years ago
Now that the graph is displayed in a separate view, the issue regarding the XML
editor is to be discussed seriously.

Since the extension of the file is xml, if Eclipse has an xml editor, A4E users 
will
have a first class XML experience.

If not, the file will be opened in a standard text editor.

I am willing to drop the XML/MultiPageEditor code at this stage.

User feedback is needed about this.

Original comment by daniel.l...@gmail.com on 6 Nov 2007 at 5:37

GoogleCodeExporter commented 8 years ago

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

GoogleCodeExporter commented 8 years ago
XML/MultiPageEditor is currently used by Nicolas Rouquette.

At some point, a clean refactoring of MultipageEditor and VizView will be 
needed to
avoid code duplication.

Original comment by lionel.d...@gmail.com on 13 Mar 2008 at 9:56

GoogleCodeExporter commented 8 years ago

Original comment by lionel.d...@gmail.com on 13 Mar 2008 at 9:58

GoogleCodeExporter commented 8 years ago

Original comment by lionel.d...@gmail.com on 23 Apr 2008 at 8:18