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

-q : run quietly

-v : display version information

See also

GPP, HowToPrettyPrintAGrammar, HowToDefinePrettyPrintTables

Revision: r1.6 - 10 Feb 2004 - 19:17 - 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