Package | Description |
---|---|
de.uka.ilkd.key.parser |
This package contains the parser for .key and .proof files.
|
de.uka.ilkd.key.parser.proofjava |
Modifier and Type | Method and Description |
---|---|
static void |
ParserUtil.checkValidSingletonReference(Expression expr,
Token tok)
Throws an exception if the given expression is invalid in a
\singleton constructor. |
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 |
ProofJavaParser.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 |
ProofJavaParser.token |
Modifier and Type | Method and Description |
---|---|
static Token |
ProofJavaParserTokenManager.getNextToken() |
static Token |
ProofJavaParser.getNextToken() |
static Token |
ProofJavaParser.getToken(int index) |
protected static Token |
ProofJavaParserTokenManager.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.