Get rid off DOT dependency?

[GoogleCodeExporter]

Felix created a pure Java way to represent Alloy models.

I think we can now get rid of the code that is using dot.

Nicolas, there are some methods you might use, so I need you to confirm
that you do not need any longer access to dot binary.

Original issue reported on code.google.com by daniel.l...@gmail.com on 29 Mar 2008 at 8:28

[GoogleCodeExporter]

I have an indirect dependency on dot from:

fr.univartois.cril.alloyplugin.editor.MultiPageEditor.dotConvert(IPath, String)

If you provide an equivalent dot-less functionality, I'll be fine.

Original comment by nicolas....@gmail.com on 2 Apr 2008 at 8:13

[GoogleCodeExporter]

It is possible to export Felix's graph into either PDF or PNG.

I guess we can have an API access to that.

Are PDF and PNG formats sufficient for your needs?

Original comment by daniel.l...@gmail.com on 2 Apr 2008 at 8:31

[GoogleCodeExporter]

fr.univartois.cril.alloyplugin.editor.MultiPageEditor.dotConvert(IPath, String)

is conserved. There is however a difference with previous versions:

in older code, the IPath was refering to the dot file and a file with the ".dot"
replaced by the choosen format was created.

Now, the IPath denote the xml file path.

I.e., before

IPath = /my/path/to/command.dot   String="pdf" => creates 
/my/path/to/command.pdf

Now:

IPath= /my/path/to/command.xml    String="pdf" => creates 
/my/path/to/command.pdf

Original comment by rdrue...@gmail.com on 4 Apr 2008 at 3:09

[GoogleCodeExporter]

Nicolas,

Could you check is the current code works fine for your needs?

Original comment by daniel.l...@gmail.com on 23 Apr 2008 at 7:12

[GoogleCodeExporter]

References to dot have been removed.

Original comment by daniel.l...@gmail.com on 1 Dec 2008 at 10:21

• Changed state: Fixed