de.uka.ilkd.key.parser.proofjava

Class ProofJavaParserTokenManager

java.lang.Object

de.uka.ilkd.key.parser.proofjava.ProofJavaParserTokenManager

All Implemented Interfaces:

ProofJavaParserConstants

public class ProofJavaParserTokenManager
extends java.lang.Object
implements ProofJavaParserConstants

Field Summary

Fields

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

Fields inherited from interface de.uka.ilkd.key.parser.proofjava.ProofJavaParserConstants

_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 Summary

Constructors

Constructor and Description
ProofJavaParserTokenManager(JavaCharStream stream)
ProofJavaParserTokenManager(JavaCharStream stream, int lexState)

Method Summary

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)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

debugStream

public static java.io.PrintStream debugStream

jjbitVec0

static final long[] jjbitVec0

jjbitVec2

static final long[] jjbitVec2

jjbitVec3

static final long[] jjbitVec3

jjbitVec4

static final long[] jjbitVec4

jjbitVec5

static final long[] jjbitVec5

jjbitVec6

static final long[] jjbitVec6

jjbitVec7

static final long[] jjbitVec7

jjbitVec8

static final long[] jjbitVec8

jjbitVec9

static final long[] jjbitVec9

jjbitVec10

static final long[] jjbitVec10

jjbitVec11

static final long[] jjbitVec11

jjbitVec12

static final long[] jjbitVec12

jjbitVec13

static final long[] jjbitVec13

jjbitVec14

static final long[] jjbitVec14

jjbitVec15

static final long[] jjbitVec15

jjnextStates

static final int[] jjnextStates

jjstrLiteralImages

public static final java.lang.String[] jjstrLiteralImages

lexStateNames

public static final java.lang.String[] lexStateNames

jjnewLexState

public static final int[] jjnewLexState

jjtoToken

static final long[] jjtoToken

jjtoSkip

static final long[] jjtoSkip

jjtoSpecial

static final long[] jjtoSpecial

jjtoMore

static final long[] jjtoMore

input_stream

protected static JavaCharStream input_stream

jjrounds

private static final int[] jjrounds

jjstateSet

private static final int[] jjstateSet

image

static java.lang.StringBuffer image

jjimageLen

static int jjimageLen

lengthOfMatch

static int lengthOfMatch

curChar

protected static char curChar

curLexState

static int curLexState

defaultLexState

static int defaultLexState

jjnewStateCnt

static int jjnewStateCnt

jjround

static int jjround

jjmatchedPos

static int jjmatchedPos

jjmatchedKind

static int jjmatchedKind

Constructor Detail

ProofJavaParserTokenManager

public ProofJavaParserTokenManager(JavaCharStream stream)

ProofJavaParserTokenManager

public ProofJavaParserTokenManager(JavaCharStream stream,
                                   int lexState)

Method Detail

setDebugStream

public static void setDebugStream(java.io.PrintStream ds)

jjStopStringLiteralDfa_0

private static final int jjStopStringLiteralDfa_0(int pos,
                                                  long active0,
                                                  long active1,
                                                  long active2)

jjStartNfa_0

private static final int jjStartNfa_0(int pos,
                                      long active0,
                                      long active1,
                                      long active2)

jjStopAtPos

private static final int jjStopAtPos(int pos,
                                     int kind)

jjStartNfaWithStates_0

private static final int jjStartNfaWithStates_0(int pos,
                                                int kind,
                                                int state)

jjMoveStringLiteralDfa0_0

private static final int jjMoveStringLiteralDfa0_0()

jjMoveStringLiteralDfa1_0

private static final int jjMoveStringLiteralDfa1_0(long active0,
                                                   long active1,
                                                   long active2)

jjMoveStringLiteralDfa2_0

private static final int jjMoveStringLiteralDfa2_0(long old0,
                                                   long active0,
                                                   long old1,
                                                   long active1,
                                                   long old2,
                                                   long active2)

jjMoveStringLiteralDfa3_0

private static final int jjMoveStringLiteralDfa3_0(long old0,
                                                   long active0,
                                                   long old1,
                                                   long active1,
                                                   long old2,
                                                   long active2)

jjMoveStringLiteralDfa4_0

private static final int jjMoveStringLiteralDfa4_0(long old0,
                                                   long active0,
                                                   long old1,
                                                   long active1,
                                                   long old2,
                                                   long active2)

jjMoveStringLiteralDfa5_0

private static final int jjMoveStringLiteralDfa5_0(long old0,
                                                   long active0,
                                                   long old1,
                                                   long active1,
                                                   long old2,
                                                   long active2)

jjMoveStringLiteralDfa6_0

private static final int jjMoveStringLiteralDfa6_0(long old0,
                                                   long active0,
                                                   long old1,
                                                   long active1,
                                                   long old2,
                                                   long active2)

jjMoveStringLiteralDfa7_0

private static final int jjMoveStringLiteralDfa7_0(long old0,
                                                   long active0,
                                                   long old1,
                                                   long active1,
                                                   long old2,
                                                   long active2)

jjMoveStringLiteralDfa8_0

private static final int jjMoveStringLiteralDfa8_0(long old0,
                                                   long active0,
                                                   long old1,
                                                   long active1,
                                                   long old2,
                                                   long active2)

jjMoveStringLiteralDfa9_0

private static final int jjMoveStringLiteralDfa9_0(long old0,
                                                   long active0,
                                                   long old1,
                                                   long active1,
                                                   long old2,
                                                   long active2)

jjMoveStringLiteralDfa10_0

private static final int jjMoveStringLiteralDfa10_0(long old0,
                                                    long active0,
                                                    long old1,
                                                    long active1,
                                                    long old2,
                                                    long active2)

jjMoveStringLiteralDfa11_0

private static final int jjMoveStringLiteralDfa11_0(long old0,
                                                    long active0,
                                                    long old1,
                                                    long active1,
                                                    long old2,
                                                    long active2)

jjMoveStringLiteralDfa12_0

private static final int jjMoveStringLiteralDfa12_0(long old0,
                                                    long active0,
                                                    long old1,
                                                    long active1,
                                                    long old2,
                                                    long active2)

jjMoveStringLiteralDfa13_0

private static final int jjMoveStringLiteralDfa13_0(long old1,
                                                    long active1,
                                                    long old2,
                                                    long active2)

jjMoveStringLiteralDfa14_0

private static final int jjMoveStringLiteralDfa14_0(long old1,
                                                    long active1,
                                                    long old2,
                                                    long active2)

jjMoveStringLiteralDfa15_0

private static final int jjMoveStringLiteralDfa15_0(long old1,
                                                    long active1)

jjMoveStringLiteralDfa16_0

private static final int jjMoveStringLiteralDfa16_0(long old1,
                                                    long active1)

jjMoveStringLiteralDfa17_0

private static final int jjMoveStringLiteralDfa17_0(long old1,
                                                    long active1)

jjMoveStringLiteralDfa18_0

private static final int jjMoveStringLiteralDfa18_0(long old1,
                                                    long active1)

jjMoveStringLiteralDfa19_0

private static final int jjMoveStringLiteralDfa19_0(long old1,
                                                    long active1)

jjMoveStringLiteralDfa20_0

private static final int jjMoveStringLiteralDfa20_0(long old1,
                                                    long active1)

jjMoveStringLiteralDfa21_0

private static final int jjMoveStringLiteralDfa21_0(long old1,
                                                    long active1)

jjMoveStringLiteralDfa22_0

private static final int jjMoveStringLiteralDfa22_0(long old1,
                                                    long active1)

jjMoveStringLiteralDfa23_0

private static final int jjMoveStringLiteralDfa23_0(long old1,
                                                    long active1)

jjMoveStringLiteralDfa24_0

private static final int jjMoveStringLiteralDfa24_0(long old1,
                                                    long active1)

jjMoveStringLiteralDfa25_0

private static final int jjMoveStringLiteralDfa25_0(long old1,
                                                    long active1)

jjCheckNAdd

private static final void jjCheckNAdd(int state)

jjAddStates

private static final void jjAddStates(int start,
                                      int end)

jjCheckNAddTwoStates

private static final void jjCheckNAddTwoStates(int state1,
                                               int state2)

jjCheckNAddStates

private static final void jjCheckNAddStates(int start,
                                            int end)

jjCheckNAddStates

private static final void jjCheckNAddStates(int start)

jjMoveNfa_0

private static final int jjMoveNfa_0(int startState,
                                     int curPos)

jjMoveStringLiteralDfa0_3

private static final int jjMoveStringLiteralDfa0_3()

jjMoveStringLiteralDfa1_3

private static final int jjMoveStringLiteralDfa1_3(long active0)

jjMoveStringLiteralDfa0_1

private static final int jjMoveStringLiteralDfa0_1()

jjMoveNfa_1

private static final int jjMoveNfa_1(int startState,
                                     int curPos)

jjMoveStringLiteralDfa0_2

private static final int jjMoveStringLiteralDfa0_2()

jjMoveStringLiteralDfa1_2

private static final int jjMoveStringLiteralDfa1_2(long active0)

jjCanMove_0

private static final boolean jjCanMove_0(int hiByte,
                                         int i1,
                                         int i2,
                                         long l1,
                                         long l2)

jjCanMove_1

private static final boolean jjCanMove_1(int hiByte,
                                         int i1,
                                         int i2,
                                         long l1,
                                         long l2)

jjCanMove_2

private static final boolean jjCanMove_2(int hiByte,
                                         int i1,
                                         int i2,
                                         long l1,
                                         long l2)

ReInit

public static void ReInit(JavaCharStream stream)

ReInitRounds

private static final void ReInitRounds()

ReInit

public static void ReInit(JavaCharStream stream,
                          int lexState)

SwitchTo

public static void SwitchTo(int lexState)

jjFillToken

protected static Token jjFillToken()

getNextToken

public static Token getNextToken()

SkipLexicalActions

static void SkipLexicalActions(Token matchedToken)

MoreLexicalActions

static void MoreLexicalActions()

TokenLexicalActions

static void TokenLexicalActions(Token matchedToken)