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

Revision: r1.1 - 10 Feb 2004 - 20:16 - MerijnDeJonge
Tools > PrettyPrintTableGenerator? > PrettyPrintTableDiff
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