Package | Description |
---|---|
de.uka.ilkd.key.parser.schemajava |
Modifier and Type | Class and Description |
---|---|
static class |
Token.RealKindToken |
Modifier and Type | Field and Description |
---|---|
Token |
ParseException.currentToken
This is the last token that has been consumed successfully.
|
static Token |
SchemaJavaParser.jj_nt |
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 |
SchemaJavaParser.token |
Modifier and Type | Method and Description |
---|---|
static Token |
SchemaJavaParser.getNextToken() |
static Token |
SchemaJavaParserTokenManager.getNextToken() |
static Token |
SchemaJavaParser.getToken(int index) |
protected static Token |
SchemaJavaParserTokenManager.jjFillToken() |
static Token |
Token.newToken(int ofKind)
Returns a new Token object, by default.
|
Constructor and Description |
---|
ParseException(Token currentTokenVal,
int[][] expectedTokenSequencesVal,
java.lang.String[] tokenImageVal)
This constructor is used by the method "generateParseException"
in the generated parser.
|
Copyright © 2003-2019 The KeY-Project.