public class ProofJavaParserTokenManager extends java.lang.Object implements ProofJavaParserConstants
Modifier and Type | Field and Description |
---|---|
protected static char |
curChar |
(package private) static int |
curLexState |
static java.io.PrintStream |
debugStream |
(package private) static int |
defaultLexState |
(package private) static java.lang.StringBuffer |
image |
protected static JavaCharStream |
input_stream |
(package private) static long[] |
jjbitVec0 |
(package private) static long[] |
jjbitVec10 |
(package private) static long[] |
jjbitVec11 |
(package private) static long[] |
jjbitVec12 |
(package private) static long[] |
jjbitVec13 |
(package private) static long[] |
jjbitVec14 |
(package private) static long[] |
jjbitVec15 |
(package private) static long[] |
jjbitVec2 |
(package private) static long[] |
jjbitVec3 |
(package private) static long[] |
jjbitVec4 |
(package private) static long[] |
jjbitVec5 |
(package private) static long[] |
jjbitVec6 |
(package private) static long[] |
jjbitVec7 |
(package private) static long[] |
jjbitVec8 |
(package private) static long[] |
jjbitVec9 |
(package private) static int |
jjimageLen |
(package private) static int |
jjmatchedKind |
(package private) static int |
jjmatchedPos |
static int[] |
jjnewLexState |
(package private) static int |
jjnewStateCnt |
(package private) static int[] |
jjnextStates |
(package private) static int |
jjround |
private static int[] |
jjrounds |
private static int[] |
jjstateSet |
static java.lang.String[] |
jjstrLiteralImages |
(package private) static long[] |
jjtoMore |
(package private) static long[] |
jjtoSkip |
(package private) static long[] |
jjtoSpecial |
(package private) static long[] |
jjtoToken |
(package private) static int |
lengthOfMatch |
static java.lang.String[] |
lexStateNames |
_DEFAULT, ABSTRACT, ANDASSIGN, ASSERT, ASSIGN, AT, BANG, BIGINT, BIT_AND, BIT_OR, BOOLEAN, BREAK, BYTE, CASE, CATCH, CHAR, CHARACTER_LITERAL, CLASS, COLON, COMMA, CONST, CONTINUE, DECIMAL_LITERAL, DECR, DEFAULT, DIGIT, DL_EMBEDDED_FUNCTION, DO, DOT, DOUBLE, DOUBLECOLON, ELSE, ENUM, EOF, EQ, EXPONENT, EXTENDS, FALSE, FINAL, FINALLY, FLOAT, FLOATING_POINT_LITERAL, FOR, FORMAL_COMMENT, FREE, GE, GOTO, GT, HEX_LITERAL, HOOK, IDENTIFIER, IF, IMPLEMENTS, IMPLICITIDENTIFIER, IMPORT, IN_FORMAL_COMMENT, IN_MULTI_LINE_COMMENT, IN_SINGLE_LINE_COMMENT, INCR, INSTANCEOF, INT, INTEGER_LITERAL, INTERFACE, LBRACE, LBRACKET, LE, LETTER, LOCSET, LONG, LPAREN, LSHIFT, LSHIFTASSIGN, LT, MAP, MAP_FUNCTION, MERGE_POINT, METHODFRAME, MINUS, MINUSASSIGN, MULTI_LINE_COMMENT, NATIVE, NE, NEW, NULL, OCTAL_LITERAL, ORASSIGN, PACKAGE, PLUS, PLUSASSIGN, PRIVATE, PROTECTED, PUBLIC, RBRACE, RBRACKET, REAL, REM, REMASSIGN, RETURN, RPAREN, RSIGNEDSHIFT, RSIGNEDSHIFTASSIGN, RUNSIGNEDSHIFT, RUNSIGNEDSHIFTASSIGN, SC_AND, SC_OR, SEMICOLON, SEQ, SET, SHARP, SHORT, SINGLE_LINE_COMMENT, SLASH, SLASHASSIGN, STAR, STARASSIGN, STATIC, STRICTFP, STRING_LITERAL, SUPER, SWITCH, SYNCHRONIZED, THIS, THROW, THROWS, TILDE, tokenImage, TRANSACTIONABORT, TRANSACTIONBEGIN, TRANSACTIONCOMMIT, TRANSACTIONFINISH, TRANSIENT, TRUE, TRY, UNICODE_BYTE_ORDER_MARKER, UNKNOWN_CHARACTER_SEQUENCE, VARARGDENOTER, VOID, VOLATILE, WHILE, XOR, XORASSIGN
Constructor and Description |
---|
ProofJavaParserTokenManager(JavaCharStream stream) |
ProofJavaParserTokenManager(JavaCharStream stream,
int lexState) |
Modifier and Type | Method and Description |
---|---|
static Token |
getNextToken() |
private static void |
jjAddStates(int start,
int end) |
private static boolean |
jjCanMove_0(int hiByte,
int i1,
int i2,
long l1,
long l2) |
private static boolean |
jjCanMove_1(int hiByte,
int i1,
int i2,
long l1,
long l2) |
private static boolean |
jjCanMove_2(int hiByte,
int i1,
int i2,
long l1,
long l2) |
private static void |
jjCheckNAdd(int state) |
private static void |
jjCheckNAddStates(int start) |
private static void |
jjCheckNAddStates(int start,
int end) |
private static void |
jjCheckNAddTwoStates(int state1,
int state2) |
protected static Token |
jjFillToken() |
private static int |
jjMoveNfa_0(int startState,
int curPos) |
private static int |
jjMoveNfa_1(int startState,
int curPos) |
private static int |
jjMoveStringLiteralDfa0_0() |
private static int |
jjMoveStringLiteralDfa0_1() |
private static int |
jjMoveStringLiteralDfa0_2() |
private static int |
jjMoveStringLiteralDfa0_3() |
private static int |
jjMoveStringLiteralDfa1_0(long active0,
long active1,
long active2) |
private static int |
jjMoveStringLiteralDfa1_2(long active0) |
private static int |
jjMoveStringLiteralDfa1_3(long active0) |
private static int |
jjMoveStringLiteralDfa10_0(long old0,
long active0,
long old1,
long active1,
long old2,
long active2) |
private static int |
jjMoveStringLiteralDfa11_0(long old0,
long active0,
long old1,
long active1,
long old2,
long active2) |
private static int |
jjMoveStringLiteralDfa12_0(long old0,
long active0,
long old1,
long active1,
long old2,
long active2) |
private static int |
jjMoveStringLiteralDfa13_0(long old1,
long active1,
long old2,
long active2) |
private static int |
jjMoveStringLiteralDfa14_0(long old1,
long active1,
long old2,
long active2) |
private static int |
jjMoveStringLiteralDfa15_0(long old1,
long active1) |
private static int |
jjMoveStringLiteralDfa16_0(long old1,
long active1) |
private static int |
jjMoveStringLiteralDfa17_0(long old1,
long active1) |
private static int |
jjMoveStringLiteralDfa18_0(long old1,
long active1) |
private static int |
jjMoveStringLiteralDfa19_0(long old1,
long active1) |
private static int |
jjMoveStringLiteralDfa2_0(long old0,
long active0,
long old1,
long active1,
long old2,
long active2) |
private static int |
jjMoveStringLiteralDfa20_0(long old1,
long active1) |
private static int |
jjMoveStringLiteralDfa21_0(long old1,
long active1) |
private static int |
jjMoveStringLiteralDfa22_0(long old1,
long active1) |
private static int |
jjMoveStringLiteralDfa23_0(long old1,
long active1) |
private static int |
jjMoveStringLiteralDfa24_0(long old1,
long active1) |
private static int |
jjMoveStringLiteralDfa25_0(long old1,
long active1) |
private static int |
jjMoveStringLiteralDfa3_0(long old0,
long active0,
long old1,
long active1,
long old2,
long active2) |
private static int |
jjMoveStringLiteralDfa4_0(long old0,
long active0,
long old1,
long active1,
long old2,
long active2) |
private static int |
jjMoveStringLiteralDfa5_0(long old0,
long active0,
long old1,
long active1,
long old2,
long active2) |
private static int |
jjMoveStringLiteralDfa6_0(long old0,
long active0,
long old1,
long active1,
long old2,
long active2) |
private static int |
jjMoveStringLiteralDfa7_0(long old0,
long active0,
long old1,
long active1,
long old2,
long active2) |
private static int |
jjMoveStringLiteralDfa8_0(long old0,
long active0,
long old1,
long active1,
long old2,
long active2) |
private static int |
jjMoveStringLiteralDfa9_0(long old0,
long active0,
long old1,
long active1,
long old2,
long active2) |
private static int |
jjStartNfa_0(int pos,
long active0,
long active1,
long active2) |
private static int |
jjStartNfaWithStates_0(int pos,
int kind,
int state) |
private static int |
jjStopAtPos(int pos,
int kind) |
private static int |
jjStopStringLiteralDfa_0(int pos,
long active0,
long active1,
long active2) |
(package private) static void |
MoreLexicalActions() |
static void |
ReInit(JavaCharStream stream) |
static void |
ReInit(JavaCharStream stream,
int lexState) |
private static void |
ReInitRounds() |
static void |
setDebugStream(java.io.PrintStream ds) |
(package private) static void |
SkipLexicalActions(Token matchedToken) |
static void |
SwitchTo(int lexState) |
(package private) static void |
TokenLexicalActions(Token matchedToken) |
public static java.io.PrintStream debugStream
static final long[] jjbitVec0
static final long[] jjbitVec2
static final long[] jjbitVec3
static final long[] jjbitVec4
static final long[] jjbitVec5
static final long[] jjbitVec6
static final long[] jjbitVec7
static final long[] jjbitVec8
static final long[] jjbitVec9
static final long[] jjbitVec10
static final long[] jjbitVec11
static final long[] jjbitVec12
static final long[] jjbitVec13
static final long[] jjbitVec14
static final long[] jjbitVec15
static final int[] jjnextStates
public static final java.lang.String[] jjstrLiteralImages
public static final java.lang.String[] lexStateNames
public static final int[] jjnewLexState
static final long[] jjtoToken
static final long[] jjtoSkip
static final long[] jjtoSpecial
static final long[] jjtoMore
protected static JavaCharStream input_stream
private static final int[] jjrounds
private static final int[] jjstateSet
static java.lang.StringBuffer image
static int jjimageLen
static int lengthOfMatch
protected static char curChar
static int curLexState
static int defaultLexState
static int jjnewStateCnt
static int jjround
static int jjmatchedPos
static int jjmatchedKind
public ProofJavaParserTokenManager(JavaCharStream stream)
public ProofJavaParserTokenManager(JavaCharStream stream, int lexState)
public static void setDebugStream(java.io.PrintStream ds)
private static final int jjStopStringLiteralDfa_0(int pos, long active0, long active1, long active2)
private static final int jjStartNfa_0(int pos, long active0, long active1, long active2)
private static final int jjStopAtPos(int pos, int kind)
private static final int jjStartNfaWithStates_0(int pos, int kind, int state)
private static final int jjMoveStringLiteralDfa0_0()
private static final int jjMoveStringLiteralDfa1_0(long active0, long active1, long active2)
private static final int jjMoveStringLiteralDfa2_0(long old0, long active0, long old1, long active1, long old2, long active2)
private static final int jjMoveStringLiteralDfa3_0(long old0, long active0, long old1, long active1, long old2, long active2)
private static final int jjMoveStringLiteralDfa4_0(long old0, long active0, long old1, long active1, long old2, long active2)
private static final int jjMoveStringLiteralDfa5_0(long old0, long active0, long old1, long active1, long old2, long active2)
private static final int jjMoveStringLiteralDfa6_0(long old0, long active0, long old1, long active1, long old2, long active2)
private static final int jjMoveStringLiteralDfa7_0(long old0, long active0, long old1, long active1, long old2, long active2)
private static final int jjMoveStringLiteralDfa8_0(long old0, long active0, long old1, long active1, long old2, long active2)
private static final int jjMoveStringLiteralDfa9_0(long old0, long active0, long old1, long active1, long old2, long active2)
private static final int jjMoveStringLiteralDfa10_0(long old0, long active0, long old1, long active1, long old2, long active2)
private static final int jjMoveStringLiteralDfa11_0(long old0, long active0, long old1, long active1, long old2, long active2)
private static final int jjMoveStringLiteralDfa12_0(long old0, long active0, long old1, long active1, long old2, long active2)
private static final int jjMoveStringLiteralDfa13_0(long old1, long active1, long old2, long active2)
private static final int jjMoveStringLiteralDfa14_0(long old1, long active1, long old2, long active2)
private static final int jjMoveStringLiteralDfa15_0(long old1, long active1)
private static final int jjMoveStringLiteralDfa16_0(long old1, long active1)
private static final int jjMoveStringLiteralDfa17_0(long old1, long active1)
private static final int jjMoveStringLiteralDfa18_0(long old1, long active1)
private static final int jjMoveStringLiteralDfa19_0(long old1, long active1)
private static final int jjMoveStringLiteralDfa20_0(long old1, long active1)
private static final int jjMoveStringLiteralDfa21_0(long old1, long active1)
private static final int jjMoveStringLiteralDfa22_0(long old1, long active1)
private static final int jjMoveStringLiteralDfa23_0(long old1, long active1)
private static final int jjMoveStringLiteralDfa24_0(long old1, long active1)
private static final int jjMoveStringLiteralDfa25_0(long old1, long active1)
private static final void jjCheckNAdd(int state)
private static final void jjAddStates(int start, int end)
private static final void jjCheckNAddTwoStates(int state1, int state2)
private static final void jjCheckNAddStates(int start, int end)
private static final void jjCheckNAddStates(int start)
private static final int jjMoveNfa_0(int startState, int curPos)
private static final int jjMoveStringLiteralDfa0_3()
private static final int jjMoveStringLiteralDfa1_3(long active0)
private static final int jjMoveStringLiteralDfa0_1()
private static final int jjMoveNfa_1(int startState, int curPos)
private static final int jjMoveStringLiteralDfa0_2()
private static final int jjMoveStringLiteralDfa1_2(long active0)
private static final boolean jjCanMove_0(int hiByte, int i1, int i2, long l1, long l2)
private static final boolean jjCanMove_1(int hiByte, int i1, int i2, long l1, long l2)
private static final boolean jjCanMove_2(int hiByte, int i1, int i2, long l1, long l2)
public static void ReInit(JavaCharStream stream)
private static final void ReInitRounds()
public static void ReInit(JavaCharStream stream, int lexState)
public static void SwitchTo(int lexState)
protected static Token jjFillToken()
public static Token getNextToken()
static void SkipLexicalActions(Token matchedToken)
static void MoreLexicalActions()
static void TokenLexicalActions(Token matchedToken)