| Package | Description | 
|---|---|
| net.sf.tweety.logics.fol.parser | 
| Modifier and Type | Field and Description | 
|---|---|
Token | 
ParseException.currentToken
This is the last token that has been consumed successfully. 
 | 
(package private) Token | 
FolParserB.JJCalls.first  | 
private Token | 
FolParserB.jj_lastpos  | 
Token | 
FolParserB.jj_nt
Next token. 
 | 
private Token | 
FolParserB.jj_scanpos  | 
Token | 
Token.next
A reference to the next regular (non-special) token from the input
 stream. 
 | 
Token | 
Token.specialToken
This field is used to access special tokens that occur prior to this
 token, but after the immediately preceding regular (non-special) token. 
 | 
Token | 
FolParserB.token
Current token. 
 | 
| Modifier and Type | Method and Description | 
|---|---|
Token | 
FolParserBTokenManager.getNextToken()
Get the next Token. 
 | 
Token | 
FolParserB.getNextToken()
Get the next Token. 
 | 
Token | 
FolParserB.getToken(int index)
Get the specific Token. 
 | 
private Token | 
FolParserB.jj_consume_token(int kind)  | 
protected Token | 
FolParserBTokenManager.jjFillToken()  | 
static Token | 
Token.newToken(int ofKind)  | 
static Token | 
Token.newToken(int ofKind,
        java.lang.String image)
Returns a new Token object, by default. 
 | 
| Modifier and Type | Method and Description | 
|---|---|
private static java.lang.String | 
ParseException.initialise(Token currentToken,
          int[][] expectedTokenSequences,
          java.lang.String[] tokenImage)
It uses "currentToken" and "expectedTokenSequences" to generate a parse
 error message and returns it. 
 | 
| Constructor and Description | 
|---|
ParseException(Token currentTokenVal,
              int[][] expectedTokenSequencesVal,
              java.lang.String[] tokenImageVal)
This constructor is used by the method "generateParseException"
 in the generated parser. 
 |