xtorx-showspec(1) - show a specification file

Name

Synopsis

Description

The xtorx-showspec(1) program takes a single argument: the file name of the specification that is to be shown.

xtorx-showspec(1) tries to identify the specification file contents from the file suffix, in order to be able to show the specification in a nicer way than just as text. Currently, the following file suffixes are recognized:

.bcg

Binary Coded Graph file; xtorx-showspec(1) shows it with bcg_edit(1)

.aut

Automaton file; xtorx-showspec(1) will check if there is a corresponding .bcg file, and, if so, show it with bcg_edit(1)

Other files are shown using the command: xterm -e less file

The user is expected to extend (adapt, replace) xtorx-showspec(1) when more advanced behaviour is needed.

Bugs

See Also

Table of Contents

• Name
• Synopsis
• Description
• Bugs
• See Also

Prev	Table of Contents	Next
Appendix D: TorX Manual Pages: xtorx-showmsc(1) - show a TorX run log as Message Sequence Chart		Appendix D: TorX Manual Pages: xtorx(1) - gui for the torx on-the-fly tester