Public Member Functions | |
| Object | defaultResult () |
| GenericScanner | defaultScanner () |
| void | errorDetected () throws ParserErrorException |
| void | errorDetected (String str) throws ParserErrorException |
| String | errorMessage () |
| void | nextToken () throws ParserErrorException |
| boolean | parse (String str) |
| void | parse () throws ParserErrorException |
| boolean | parseFile (String file) |
| Object | result () |
Protected Attributes | |
| GenericToken | actualToken |
| String | errorMessage |
| Object | result |
| GenericScanner | scanner |
| String | source |
Package Functions | |
| GenericParser () | |
| GenericParser (String str) | |
Detailed Description
Definition at line 49 of file GenericParser.java.
Constructor & Destructor Documentation
| theoremprover.GenericParser.GenericParser | ( | ) | [inline, package] |
Definition at line 62 of file GenericParser.java.
| theoremprover.GenericParser.GenericParser | ( | String | str | ) | [inline, package] |
Definition at line 71 of file GenericParser.java.
Member Function Documentation
| Object theoremprover.GenericParser.defaultResult | ( | ) | [inline] |
Reimplemented in theoremprover.LogicParser.
Definition at line 117 of file GenericParser.java.
| GenericScanner theoremprover.GenericParser.defaultScanner | ( | ) | [inline] |
Definition at line 80 of file GenericParser.java.
| void theoremprover.GenericParser.errorDetected | ( | ) | throws ParserErrorException [inline] |
Definition at line 162 of file GenericParser.java.
| void theoremprover.GenericParser.errorDetected | ( | String | str | ) | throws ParserErrorException [inline] |
Definition at line 171 of file GenericParser.java.
| String theoremprover.GenericParser.errorMessage | ( | ) | [inline] |
Definition at line 92 of file GenericParser.java.
| void theoremprover.GenericParser.nextToken | ( | ) | throws ParserErrorException [inline] |
Definition at line 147 of file GenericParser.java.
| boolean theoremprover.GenericParser.parse | ( | String | str | ) | [inline] |
Definition at line 99 of file GenericParser.java.
| void theoremprover.GenericParser.parse | ( | ) | throws ParserErrorException [inline] |
Reimplemented in theoremprover.LogicParser.
Definition at line 145 of file GenericParser.java.
| boolean theoremprover.GenericParser.parseFile | ( | String | file | ) | [inline] |
Definition at line 122 of file GenericParser.java.
| Object theoremprover.GenericParser.result | ( | ) | [inline] |
Definition at line 87 of file GenericParser.java.
Member Data Documentation
GenericToken theoremprover.GenericParser.actualToken [protected] |
Definition at line 56 of file GenericParser.java.
String theoremprover.GenericParser.errorMessage [protected] |
Definition at line 58 of file GenericParser.java.
Object theoremprover.GenericParser.result [protected] |
Definition at line 57 of file GenericParser.java.
GenericScanner theoremprover.GenericParser.scanner [protected] |
Definition at line 54 of file GenericParser.java.
String theoremprover.GenericParser.source [protected] |
Definition at line 55 of file GenericParser.java.
The documentation for this class was generated from the following file: