| Package | Description | 
|---|---|
| net.sf.tweety.arg.dung.parser | 
| Modifier and Type | Field and Description | 
|---|---|
Token | 
ParseException.currentToken
This is the last token that has been consumed successfully. 
 | 
static Token | 
DungParser.jj_nt
Next token. 
 | 
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. 
 | 
static Token | 
DungParser.token
Current token. 
 | 
| Modifier and Type | Method and Description | 
|---|---|
static Token | 
DungParserTokenManager.getNextToken()
Get the next Token. 
 | 
static Token | 
DungParser.getNextToken()
Get the next Token. 
 | 
static Token | 
DungParser.getToken(int index)
Get the specific Token. 
 | 
private static Token | 
DungParser.jj_consume_token(int kind)  | 
protected static Token | 
DungParserTokenManager.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. 
 |