Dependencies:
- AGG - http://www.user.tu-berlin.de/o.runge/agg/
- Rodin - http://www.event-b.org/install.html
- Camille Editor plugin - http://wiki.event-b.org/index.php/Camille_Editor
Usage:
Download the release version, that comes with a JAR artifact and a tests folder.
Then execute the JAR passing the path to the file as argument like below:
java -jar translator.jar fileRelativePath/fileName.ggx
This will generate two folders. One named "log", containing logs of the parsing of the graph grammar. The second, named
"out", containing the already translated machines and contexts in txt format.
To use them, simply create the file normally in Rodin with the corresponding name and, using Camille plugin, paste the txt content into the created file.
Simply save it and you're ready to go.
Repeat this process for every generated context and machine file.