parsetablegen1
Pgen tool
Usage
parsetablegen [-b]
[-c]
[-g]
[-h]
[-i
filename]
[-l]
[-m
modulename]
[-n]
[-o
filename]
[-t]
[-v]
[-V]
Overview
This manual page briefly describes the parsetablegen commands.
Options
-
-b -
output AsFix in binary format (BAF)
-
-c -
activate ATerm debugging mode (expensive!)
-
-g -
take kernel sdf as input and generate table
-
-h -
display help information (usage)
-ifilename-
Read input from filename
-
-l -
toggle statistics logging
-mmodulename-
name of top module (default Main)
-
-n -
only normalization of grammar
-ofilename-
write output to filename
-
-t -
output terms in plaintext format
-
-v -
toggle verbose mode
-
-V -
reveal program version