[ 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
Prev   Next

jararacy2anifsm(1) - translate from jararacy to anifsm input format

Table of Contents

Name

jararacy2anifsm - translate from jararacy to anifsm input format

Synopsis

jararacy2anifsm

Description

jararacy2anifsm translates from our ``old'' jararacy(1) format to the new anifsm(1) format. It reads from standard input and writes to standard output.

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->dst
where 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.
During animation, the states and edges in the init section will be colored red, and those in the trans section will be colored darker red. The idea is that the initstates are those states directly reached by an observable action (in initedges), and the transstates are those states that can be reached from the corresponding initstates via internal (invisible, tau) actions (in transedges).

The target format is documented in anifsm(1).

See Also

torx-intro(1), log2jararacy(1), jararacy(1), anifsm(1), environ(5)

Contact

By Email: <torx_support@cs.utwente.nl>

Version

This manual page documents version 3.9.0 of torx.

Table of Contents

Prev Table of Contents Next
Appendix D: TorX Manual Pages: jararacy(1) - animate jararaca trace using lefty Valid HTML 4.01! Appendix D: TorX Manual Pages: log2anifsm(1) - translate TorX log to anifsm input