support use of user/tool-contributed graphviz (dot) file for torx-explorer animation
|Status:||Closed||Start date:||10 Nov 2009|
Instead of always generating the animation from scratch (by LTS exploration), allow use of user/tool-contributed dot file.
This would help for jararaca, where the LTS exploration may easily give a graph that is much larger than the symbolic graph that jararaca can produce itself
(the nodes in that graph correspond to jararaca locations).
However, we then also have to use the node/edge navigation information from the jararaca torx-explorer interface to be able to highlight the right nodes and edges.
#1 Updated by Axel Belinfante almost 11 years ago
- Target version set to 1.3.0
- % Done changed from 0 to 100
For models, implementations and guide files there is now initial support for this.
For a model/impl/guide that is given as file,we look whether a file file.gv is present,
and if so, use it for the View command, and for the animation.
The animation only works if the model/impl/guide is given as torx-explorer (.tx)
or as jararaca (.jrrc) input, because only the torx-explorer interface contains
the necessary information about which nodes/edges should be highlighted
for a given state or transition.