Name

pptable-diff

Synopsis

pptable-diff [--patch] [--prune] [-o output] [--new <table>] --old <table>

Description

This program writes to standard error a list of pretty-print rules that are contained in pretty-print table "old" but not in "new" and, vice versa. Optionally, this tool patches the pretty-print table "old" by adding new and/or removing obsolete pretty-print entries.

Options

-h

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

--new <table>

New pretty-print table. Typically, this is a pretty-print table receently generated by ppgen^?. If missing, standard input is used to read a table from.

--old <table>

Old pretty=print table. Typically, this is a (manually) customized pretty-print table.

--patch

Bring old table up-to-date. If this switch is specified, the table "old" is updated by adding pretty-print rules that are in "new" but not in "old".

--prune

Remove obsolete pretty-print entries. If this switch is specified, the table "old" is returned after removing obsolete pretty-print entries (i.e., entries that are not contained in "new").

See also

GPP, HowToPrettyPrintAGrammar, HowToDefinePrettyPrintTables, PrettyPrintTables, BoxLanguage, PrettyPrintTableGenerator^?

-- MerijnDeJonge - 10 Feb 2004