gfsmdraw - Generate graph specifications from binary gfsm files
gfsmdraw [OPTIONS] BINFILE
Arguments: BINFILE Stored binary gfsm file
Options -h --help Print help and exit. -V --version Print version and exit. -cFILE --rcfile=FILE Read an alternate configuration file.
Common Options -iLABELS --ilabels=LABELS Specify input (lower) labels file. -oLABELS --olabels=LABELS Specify output (upper) labels file. -sLABELS --slabels=LABELS Specify state labels file. -tTITLE --title=TITLE Specify output title. -v --vertical Draw vertically. -FDOTFILE --output=DOTFILE Output graph specification.
dot Options -d --dot Request dot output (default) -WFLOAT --width=FLOAT Specify output width (default=bbox). -HFLOAT --height=FLOAT Specify output height (default=bbox). -fPOINTS --fontsize=POINTS Set output font size. --font=FONT Set output font name. -nFLOAT --nodesep=FLOAT Set min node separation. -rFLOAT --ranksep=FLOAT Set min rank separation. -p --portrait Generate in portrait mode.
VCG Options -g --vcg Request VCG output. -xINT --xspace=INT Set xspace graph parameter. -yINT --yspace=INT Set yspace graph parameter. --state-shape=SHAPE Set shape for state nodes. --state-color=COLOR Set default state color. --final-color=COLOR Set color for final states.
Generate graph specifications from binary gfsm files
gfsmdraw reads a binary GFSM file file and produces a graph specification
in either dot(1)
or vcg(1)
format.
BINFILE
Stored binary gfsm file
If unspecified, standard input will be read
--help
, -h
Print help and exit.
Default: '0'
--version
, -V
Print version and exit.
Default: '0'
--rcfile=FILE
, -cFILE
Read an alternate configuration file.
Default: 'NULL'
See also: CONFIGURATION FILES.
--ilabels=LABELS
, -iLABELS
Specify input (lower) labels file.
Default: 'NULL'
--olabels=LABELS
, -oLABELS
Specify output (upper) labels file.
Default: 'NULL'
--slabels=LABELS
, -sLABELS
Specify state labels file.
Default: 'NULL'
--title=TITLE
, -tTITLE
Specify output title.
Default: 'NULL'
Default is input filename.
--vertical
, -v
Draw vertically.
Default: '0'
Default mode is top-to-bottom
--output=DOTFILE
, -FDOTFILE
Output graph specification.
Default: 'NULL'
Default behavior is to write to stdout.
--dot
, -d
Request dot output (default)
Default: '0'
--width=FLOAT
, -WFLOAT
Specify output width (default=bbox).
Default: '8.5'
--height=FLOAT
, -HFLOAT
Specify output height (default=bbox).
Default: '11'
--fontsize=POINTS
, -fPOINTS
Set output font size.
Default: '14'
--font=FONT
Set output font name.
Default: 'NULL'
--nodesep=FLOAT
, -nFLOAT
Set min node separation.
Default: '0.25'
--ranksep=FLOAT
, -rFLOAT
Set min rank separation.
Default: '0.40'
--portrait
, -p
Generate in portrait mode.
Default: '0'
Default mode is landscape.
--vcg
, -g
Request VCG output.
Default: '0'
--xspace=INT
, -xINT
Set xspace graph parameter.
Default: '40'
--yspace=INT
, -yINT
Set yspace graph parameter.
Default: '20'
--state-shape=SHAPE
Set shape for state nodes.
Default: 'box'
--state-color=COLOR
Set default state color.
Default: 'white'
--final-color=COLOR
Set color for final states.
Default: 'lightgrey'
Configuration files are expected to contain lines of the form:
LONG_OPTION_NAME OPTION_VALUE
where LONG_OPTION_NAME is the long name of some option, without the leading '--', and OPTION_VALUE is the value for that option, if any. Fields are whitespace-separated. Blank lines and comments (lines beginning with '#') are ignored.
No configuration files are read by default.
Documentation file auto-generated by optgen.perl version 0.05. Translation was initiated on Thu Feb 15 17:41:33 CET 2007 as:
/usr/local/bin/optgen.perl -l --nocfile --nohfile -F gfsmdraw gfsmdraw.gog
None known.
Perl by Larry Wall.
Getopt::Gen by Bryan Jurish.
Bryan Jurish <moocow@ling.uni-potsdam.de>
the gfsmutils manpage,
dot(1),
vcg(1),
xvcg(1)