|[ 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 2005-07-16|
|TorX Test Tool Information|
Each jararacy(1) 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. The edge identifiers should be given in the dotfile as the value of a name attribute of an edge, as in
src->dst [label=action, name=e42 , ...];Alternatively, an edge identifier can be of the form
src->dstwhere src and dst are states. Note, however, that if src and dst are linked by multiple edges, an arbitrary one will be chosen! It is much safer to rely on name attributes in the dotfile.
The target format is documented in anifsm(1).
Table of Contents
|Prev||Table of Contents||Next|
|Appendix D: TorX Manual Pages: jararacy(1) - animate jararaca trace using lefty||Appendix D: TorX Manual Pages: log2anifsm(1) - translate TorX log to anifsm input|