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

Revision: r1.7 - 10 Feb 2004 - 20:38 - MerijnDeJonge
Tools > AsFixToAbox
Copyright © 1999-2020 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback