Name

asfix2abox

Synopsis

asfix2abox [-c] [-i asfix-tree] [-o box-term] [-p table1] [-p table2] ...

Description

The asfix2abox utility is a generic formatter that maps a parse-tree represented in AsFix to BOX according to the pretty-print rules specified in the pretty-print tables <table1> <table2> ...

The utility accepts an ordered sequence of pretty-print tables which define mappings from language constructs to BOX expressions (See HowToDefinePrettyPrintTables). The tables are ordered such that the pretty-print rules in <table1> have higher precedence than the entries in <table2>.

The BOX term that is produced by asfix2abox can be passed to one of the available back-ends to obtain a plain text, HTML, or LaTeX representation of your input term (See HowToPrettyPrintAGrammar).

Options

-c

Conservative pretty-printing (only format where needed).

-h

display usage information. Use this option to get information on additional options

-p <table>

Use pretty-print rules defined in <table>. Multiple tables can be specified

-v

display version information

See also

GenericPrettyPrinter, HowToPrettyPrintAGrammar, HowToDefinePrettyPrintTables