Feature #212

support use of user/tool-contributed graphviz (dot) file for torx-explorer animation

Added by Axel Belinfante almost 11 years ago. Updated almost 11 years ago.

Status:ClosedStart date:10 Nov 2009
Priority:NormalDue date:
Assignee:-% Done:


Target version:1.3.0


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.

#2 Updated by Axel Belinfante almost 11 years ago

  • Status changed from New to Closed

Also available in: Atom PDF