|[ Home | What's New | Contents | Overview | Contributors | Distribution | Examples | Documentation | Manual | Publications | Mailing List Archive | Problems ]||This page was last updated by Axel Belinfante on 2006-06-30|
|TorX Test Tool Information|
log2jararacy < logfile | jararacy dotfileor
tail -f logfile | log2jararacy | jararacy dotfileMake sure that the logfile contains a run of the automaton present in dotfile.
Each animation command consists of a single line of text, of the following form:
[ init initinfo ] [ trans transinfo ]where initinfo and transinfo are of the following form
[ node ] states [ edge edges ]where states and edges consist of whitespace separated lists of state/location respectively edge identifiers. Both the init initinfo and the trans transinfo parts of the line may be omittted. If edge edges is omitted from from an initinfo or transinfo, also the node keyword may be omitted.
By default, the window will scroll to follow the colored states. This setting can be toggled with the ``track node'' command in the menu under the right mouse button.
By default, the animation in the window will follow the animation commands read from standard input. If this is disabled, the animation has to be done manually using the left and middle mouse button, and/or with the navigation commands in the menu under the right mouse button (as discussed below). This setting can be toggled with the ``mode'' command in the menu under the right mouse button.
In addition, the animation can be remotely controlled. If the -m mcastid command line option is given, or environment variable TORXMCASTID was set, jararacy will attempt to make a remote control connection to the tcp address in mcastid. If it succeeds, it will then interpret lines of text read from the remote control connection consisting of a single number as commands to show the corresponding step in the animation. Additionally, whenever the user uses mouse button and/or navigation commands to show a different step, its step number is written to the remote control connection. The remote control connection allows multiple viewers to show the same test step.
The left mouse button and the middle mouse button can be used to ``navigate'' in the animation: the left mouse button will show the ``next'' step in the animation, and the middle mouse button will show the ``previous'' step in the animation. The menu under the right mouse button contains navigation commands ``play fwd'' and ``play bwd'' to play the animation forward resp. backward, and ``|<<--'' and ``-->>|'' to go to the start resp. end of the animation.
Other commands, e.g. to zoom, to open a birdseye view, etc. can be found in the menu under the right mouse button. For these, and for the other commands in the window, please see dotty(1).
The -r and -k key command line options are only present for compatibility with anifsm(1): they are ignored.
The environment variable TORX_ROOT is not supported.
Because the animation commands are read from standard input, it is not possible to read the dotfile from standard input.
To overcome problems with the use of reverse video in lefty(1), jararacy uses xrdb(1) to set the following X Windows resource:
Table of Contents
|Prev||Table of Contents||Next|
|Appendix D: TorX Manual Pages: jararaca(1) - explore traces generated from regular expressions||Appendix D: TorX Manual Pages: jararacy2anifsm(1) - translate from jararacy to anifsm input format|