NAME
parsetablegen - pgen tool
SYNOPSIS
parsetablegen [ -b ] [ -c ] [ -g ] [ -h ] [ -i filename ] [ -l ] [ -m modulename ] [ -n ] [ -o filename ] [ -t ] [ -v ] [ -V ]
DESCRIPTION
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)
- -i filename
-
Read input from filename
- -l
-
toggle statistics logging
- -m modulename
-
name of top module (default Main)
- -n
-
only normalization of grammar
- -o filename
-
write output to filename
- -t
-
output terms in plaintext format
- -v
-
toggle verbose mode
- -V
-
reveal program version
SEE ALSO
AUTHOR
This manual page was written by Julien LEMOINE <[email protected]>. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.1 or any later version published by the Free Software Foundation; with no Invariant Sections, no Front-Cover Texts and no Back-Cover Texts.