Interface | Description |
---|---|
FolParserBConstants |
Token literal values and constants.
|
Class | Description |
---|---|
FolParser |
This class implements a parser for first-order logic.
|
FolParserB | |
FolParserB.JJCalls | |
FolParserBTokenManager | |
FunctionalTest |
Functional test for the new javacc parser 'FolParserB'
|
SimpleCharStream |
An implementation of interface CharStream, where the stream is assumed to
contain only ASCII characters (without unicode processing).
|
Token |
Describes the input token stream.
|
Exception | Description |
---|---|
ParseException |
This exception is thrown when parse errors are encountered.
|
Error | Description |
---|---|
FolParserB.LookaheadSuccess | |
TokenMgrError |
Token Manager Error.
|