Public Member Functions | |
| boolean | equalValue (String val) |
| GenericToken () | |
| GenericToken (String val) | |
| GenericToken (String val, int i) | |
| boolean | isCharacter () |
| boolean | isDelimiter () |
| boolean | isEOI () |
| boolean | isErrorToken () |
| boolean | isFloat () |
| boolean | isIdentifier () |
| boolean | isInteger () |
| boolean | isKeyword () |
| boolean | isString () |
| int | position () |
| String | print () |
| void | setValue (String val) |
| void | setValue (String val, int i) |
| String | value () |
Protected Attributes | |
| int | position |
| String | value |
Detailed Description
Definition at line 43 of file GenericToken.java.
Constructor & Destructor Documentation
| theoremprover.GenericToken.GenericToken | ( | ) | [inline] |
Definition at line 134 of file GenericToken.java.
| theoremprover.GenericToken.GenericToken | ( | String | val | ) | [inline] |
Definition at line 140 of file GenericToken.java.
| theoremprover.GenericToken.GenericToken | ( | String | val, |
| int | i | ||
| ) | [inline] |
Definition at line 146 of file GenericToken.java.
Member Function Documentation
| boolean theoremprover.GenericToken.equalValue | ( | String | val | ) | [inline] |
Definition at line 119 of file GenericToken.java.
| boolean theoremprover.GenericToken.isCharacter | ( | ) | [inline] |
Reimplemented in theoremprover.CharacterToken.
Definition at line 84 of file GenericToken.java.
| boolean theoremprover.GenericToken.isDelimiter | ( | ) | [inline] |
Reimplemented in theoremprover.DelimiterToken.
Definition at line 99 of file GenericToken.java.
| boolean theoremprover.GenericToken.isEOI | ( | ) | [inline] |
Reimplemented in theoremprover.EOIToken.
Definition at line 109 of file GenericToken.java.
| boolean theoremprover.GenericToken.isErrorToken | ( | ) | [inline] |
Reimplemented in theoremprover.ErrorToken.
Definition at line 114 of file GenericToken.java.
| boolean theoremprover.GenericToken.isFloat | ( | ) | [inline] |
Reimplemented in theoremprover.FloatToken.
Definition at line 79 of file GenericToken.java.
| boolean theoremprover.GenericToken.isIdentifier | ( | ) | [inline] |
Reimplemented in theoremprover.IdentifierToken.
Definition at line 104 of file GenericToken.java.
| boolean theoremprover.GenericToken.isInteger | ( | ) | [inline] |
Reimplemented in theoremprover.IntegerToken.
Definition at line 74 of file GenericToken.java.
| boolean theoremprover.GenericToken.isKeyword | ( | ) | [inline] |
Reimplemented in theoremprover.KeywordToken.
Definition at line 94 of file GenericToken.java.
| boolean theoremprover.GenericToken.isString | ( | ) | [inline] |
Reimplemented in theoremprover.StringToken.
Definition at line 89 of file GenericToken.java.
| int theoremprover.GenericToken.position | ( | ) | [inline] |
Definition at line 55 of file GenericToken.java.
| String theoremprover.GenericToken.print | ( | ) | [inline] |
Reimplemented in theoremprover.CharacterToken, theoremprover.DelimiterToken, theoremprover.EOIToken, theoremprover.ErrorToken, theoremprover.FloatToken, theoremprover.IdentifierToken, theoremprover.IntegerToken, theoremprover.KeywordToken, and theoremprover.StringToken.
Definition at line 126 of file GenericToken.java.
| void theoremprover.GenericToken.setValue | ( | String | val | ) | [inline] |
Definition at line 60 of file GenericToken.java.
| void theoremprover.GenericToken.setValue | ( | String | val, |
| int | i | ||
| ) | [inline] |
Definition at line 65 of file GenericToken.java.
| String theoremprover.GenericToken.value | ( | ) | [inline] |
Definition at line 50 of file GenericToken.java.
Member Data Documentation
int theoremprover.GenericToken.position [protected] |
Definition at line 46 of file GenericToken.java.
String theoremprover.GenericToken.value [protected] |
Definition at line 45 of file GenericToken.java.
The documentation for this class was generated from the following file: