engine
Class VeriParserTokenManager

java.lang.Object
  |
  +--engine.VeriParserTokenManager

public class VeriParserTokenManager

extends java.lang.Object

implements VeriParserConstants

Field Summary

protected char	curChar
(package private) int	curLexState
(package private) int	defaultLexState
private ASCII_CharStream	input_stream
(package private) static long[]	jjbitVec0
(package private) int	jjmatchedKind
(package private) int	jjmatchedPos
static int[]	jjnewLexState
(package private) int	jjnewStateCnt
(package private) static int[]	jjnextStates
(package private) int	jjround
private int[]	jjrounds
private int[]	jjstateSet
static java.lang.String[]	jjstrLiteralImages
(package private) static long[]	jjtoSkip
(package private) static long[]	jjtoToken
(package private) int	kindCnt
protected static int[][]	kindForState
static java.lang.String[]	lexStateNames
protected static int[][][]	statesForState

Constructor Summary

VeriParserTokenManager(ASCII_CharStream stream)

VeriParserTokenManager(ASCII_CharStream stream, int lexState)

Method Summary

Token	getNextToken()
private void	jjAddStates(int start, int end)
private void	jjCheckNAdd(int state)
private void	jjCheckNAddStates(int start)
private void	jjCheckNAddStates(int start, int end)
private void	jjCheckNAddTwoStates(int state1, int state2)
private Token	jjFillToken()
protected java.lang.String	jjKindsForBitVector(int i, long vec)
protected java.lang.String	jjKindsForStateVector(int lexState, int[] vec, int start, int end)
private int	jjMoveNfa_0(int startState, int curPos)
private int	jjMoveNfa_1(int startState, int curPos)
private int	jjMoveNfa_2(int startState, int curPos)
private int	jjMoveNfa_3(int startState, int curPos)
private int	jjMoveStringLiteralDfa0_0()
private int	jjMoveStringLiteralDfa0_1()
private int	jjMoveStringLiteralDfa0_2()
private int	jjMoveStringLiteralDfa0_3()
private int	jjMoveStringLiteralDfa1_0(long active2)
private int	jjMoveStringLiteralDfa1_1(long active1, long active2)
private int	jjMoveStringLiteralDfa1_2(long active0, long active1, long active2)
private int	jjMoveStringLiteralDfa1_3(long active0)
private int	jjMoveStringLiteralDfa10_1(long old1, long active1)
private int	jjMoveStringLiteralDfa10_2(long old0, long active0)
private int	jjMoveStringLiteralDfa10_3(long old0, long active0)
private int	jjMoveStringLiteralDfa11_1(long old1, long active1)
private int	jjMoveStringLiteralDfa2_0(long old2, long active2)
private int	jjMoveStringLiteralDfa2_1(long old1, long active1, long old2, long active2)
private int	jjMoveStringLiteralDfa2_2(long old0, long active0, long old1, long active1, long old2, long active2)
private int	jjMoveStringLiteralDfa2_3(long old0, long active0)
private int	jjMoveStringLiteralDfa3_0(long old2, long active2)
private int	jjMoveStringLiteralDfa3_1(long old1, long active1, long old2, long active2)
private int	jjMoveStringLiteralDfa3_2(long old0, long active0, long old1, long active1, long old2, long active2)
private int	jjMoveStringLiteralDfa3_3(long old0, long active0)
private int	jjMoveStringLiteralDfa4_0(long old2, long active2)
private int	jjMoveStringLiteralDfa4_1(long old1, long active1, long old2, long active2)
private int	jjMoveStringLiteralDfa4_2(long old0, long active0, long old1, long active1, long old2, long active2)
private int	jjMoveStringLiteralDfa4_3(long old0, long active0)
private int	jjMoveStringLiteralDfa5_0(long old2, long active2)
private int	jjMoveStringLiteralDfa5_1(long old1, long active1, long old2, long active2)
private int	jjMoveStringLiteralDfa5_2(long old0, long active0, long old1, long active1, long old2, long active2)
private int	jjMoveStringLiteralDfa5_3(long old0, long active0)
private int	jjMoveStringLiteralDfa6_0(long old2, long active2)
private int	jjMoveStringLiteralDfa6_1(long old1, long active1, long old2, long active2)
private int	jjMoveStringLiteralDfa6_2(long old0, long active0, long old1, long active1, long old2, long active2)
private int	jjMoveStringLiteralDfa6_3(long old0, long active0)
private int	jjMoveStringLiteralDfa7_0(long old2, long active2)
private int	jjMoveStringLiteralDfa7_1(long old1, long active1, long old2, long active2)
private int	jjMoveStringLiteralDfa7_2(long old0, long active0, long old1, long active1, long old2, long active2)
private int	jjMoveStringLiteralDfa7_3(long old0, long active0)
private int	jjMoveStringLiteralDfa8_1(long old1, long active1)
private int	jjMoveStringLiteralDfa8_2(long old0, long active0, long old1, long active1)
private int	jjMoveStringLiteralDfa8_3(long old0, long active0)
private int	jjMoveStringLiteralDfa9_1(long old1, long active1)
private int	jjMoveStringLiteralDfa9_2(long old0, long active0, long old1, long active1)
private int	jjMoveStringLiteralDfa9_3(long old0, long active0)
private int	jjStartNfa_0(int pos, long active0, long active1, long active2)
private int	jjStartNfa_1(int pos, long active0, long active1, long active2)
private int	jjStartNfa_2(int pos, long active0, long active1, long active2)
private int	jjStartNfa_3(int pos, long active0)
private int	jjStartNfaWithStates_0(int pos, int kind, int state)
private int	jjStartNfaWithStates_1(int pos, int kind, int state)
private int	jjStartNfaWithStates_2(int pos, int kind, int state)
private int	jjStartNfaWithStates_3(int pos, int kind, int state)
private int	jjStopAtPos(int pos, int kind)
private int	jjStopStringLiteralDfa_0(int pos, long active0, long active1, long active2)
private int	jjStopStringLiteralDfa_1(int pos, long active0, long active1, long active2)
private int	jjStopStringLiteralDfa_2(int pos, long active0, long active1, long active2)
private int	jjStopStringLiteralDfa_3(int pos, long active0)
void	ReInit(ASCII_CharStream stream)
void	ReInit(ASCII_CharStream stream, int lexState)
private void	ReInitRounds()
void	SwitchTo(int lexState)

Methods inherited from class java.lang.Object

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

Field Detail

jjbitVec0

static final long[] jjbitVec0

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

input_stream

private ASCII_CharStream input_stream

jjrounds

private final int[] jjrounds

jjstateSet

private final int[] jjstateSet

curChar

protected char curChar

curLexState

int curLexState

defaultLexState

int defaultLexState

jjnewStateCnt

int jjnewStateCnt

jjround

int jjround

jjmatchedPos

int jjmatchedPos

jjmatchedKind

int jjmatchedKind

statesForState

protected static final int[][][] statesForState

kindForState

protected static final int[][] kindForState

kindCnt

int kindCnt

Constructor Detail

VeriParserTokenManager

public VeriParserTokenManager(ASCII_CharStream stream)

VeriParserTokenManager

public VeriParserTokenManager(ASCII_CharStream stream,
                              int lexState)

Method Detail

jjStopStringLiteralDfa_2

private final int jjStopStringLiteralDfa_2(int pos,
                                           long active0,
                                           long active1,
                                           long active2)

jjStartNfa_2

private final int jjStartNfa_2(int pos,
                               long active0,
                               long active1,
                               long active2)

jjStopAtPos

private final int jjStopAtPos(int pos,
                              int kind)

jjStartNfaWithStates_2

private final int jjStartNfaWithStates_2(int pos,
                                         int kind,
                                         int state)

jjMoveStringLiteralDfa0_2

private final int jjMoveStringLiteralDfa0_2()

jjMoveStringLiteralDfa1_2

private final int jjMoveStringLiteralDfa1_2(long active0,
                                            long active1,
                                            long active2)

jjMoveStringLiteralDfa2_2

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

jjMoveStringLiteralDfa3_2

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

jjMoveStringLiteralDfa4_2

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

jjMoveStringLiteralDfa5_2

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

jjMoveStringLiteralDfa6_2

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

jjMoveStringLiteralDfa7_2

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

jjMoveStringLiteralDfa8_2

private final int jjMoveStringLiteralDfa8_2(long old0,
                                            long active0,
                                            long old1,
                                            long active1)

jjMoveStringLiteralDfa9_2

private final int jjMoveStringLiteralDfa9_2(long old0,
                                            long active0,
                                            long old1,
                                            long active1)

jjMoveStringLiteralDfa10_2

private final int jjMoveStringLiteralDfa10_2(long old0,
                                             long active0)

jjCheckNAdd

private final void jjCheckNAdd(int state)

jjAddStates

private final void jjAddStates(int start,
                               int end)

jjCheckNAddTwoStates

private final void jjCheckNAddTwoStates(int state1,
                                        int state2)

jjCheckNAddStates

private final void jjCheckNAddStates(int start,
                                     int end)

jjCheckNAddStates

private final void jjCheckNAddStates(int start)

jjMoveNfa_2

private final int jjMoveNfa_2(int startState,
                              int curPos)

jjStopStringLiteralDfa_1

private final int jjStopStringLiteralDfa_1(int pos,
                                           long active0,
                                           long active1,
                                           long active2)

jjStartNfa_1

private final int jjStartNfa_1(int pos,
                               long active0,
                               long active1,
                               long active2)

jjStartNfaWithStates_1

private final int jjStartNfaWithStates_1(int pos,
                                         int kind,
                                         int state)

jjMoveStringLiteralDfa0_1

private final int jjMoveStringLiteralDfa0_1()

jjMoveStringLiteralDfa1_1

private final int jjMoveStringLiteralDfa1_1(long active1,
                                            long active2)

jjMoveStringLiteralDfa2_1

private final int jjMoveStringLiteralDfa2_1(long old1,
                                            long active1,
                                            long old2,
                                            long active2)

jjMoveStringLiteralDfa3_1

private final int jjMoveStringLiteralDfa3_1(long old1,
                                            long active1,
                                            long old2,
                                            long active2)

jjMoveStringLiteralDfa4_1

private final int jjMoveStringLiteralDfa4_1(long old1,
                                            long active1,
                                            long old2,
                                            long active2)

jjMoveStringLiteralDfa5_1

private final int jjMoveStringLiteralDfa5_1(long old1,
                                            long active1,
                                            long old2,
                                            long active2)

jjMoveStringLiteralDfa6_1

private final int jjMoveStringLiteralDfa6_1(long old1,
                                            long active1,
                                            long old2,
                                            long active2)

jjMoveStringLiteralDfa7_1

private final int jjMoveStringLiteralDfa7_1(long old1,
                                            long active1,
                                            long old2,
                                            long active2)

jjMoveStringLiteralDfa8_1

private final int jjMoveStringLiteralDfa8_1(long old1,
                                            long active1)

jjMoveStringLiteralDfa9_1

private final int jjMoveStringLiteralDfa9_1(long old1,
                                            long active1)

jjMoveStringLiteralDfa10_1

private final int jjMoveStringLiteralDfa10_1(long old1,
                                             long active1)

jjMoveStringLiteralDfa11_1

private final int jjMoveStringLiteralDfa11_1(long old1,
                                             long active1)

jjMoveNfa_1

private final int jjMoveNfa_1(int startState,
                              int curPos)

jjStopStringLiteralDfa_0

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

jjStartNfa_0

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

jjStartNfaWithStates_0

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

jjMoveStringLiteralDfa0_0

private final int jjMoveStringLiteralDfa0_0()

jjMoveStringLiteralDfa1_0

private final int jjMoveStringLiteralDfa1_0(long active2)

jjMoveStringLiteralDfa2_0

private final int jjMoveStringLiteralDfa2_0(long old2,
                                            long active2)

jjMoveStringLiteralDfa3_0

private final int jjMoveStringLiteralDfa3_0(long old2,
                                            long active2)

jjMoveStringLiteralDfa4_0

private final int jjMoveStringLiteralDfa4_0(long old2,
                                            long active2)

jjMoveStringLiteralDfa5_0

private final int jjMoveStringLiteralDfa5_0(long old2,
                                            long active2)

jjMoveStringLiteralDfa6_0

private final int jjMoveStringLiteralDfa6_0(long old2,
                                            long active2)

jjMoveStringLiteralDfa7_0

private final int jjMoveStringLiteralDfa7_0(long old2,
                                            long active2)

jjMoveNfa_0

private final int jjMoveNfa_0(int startState,
                              int curPos)

jjStopStringLiteralDfa_3

private final int jjStopStringLiteralDfa_3(int pos,
                                           long active0)

jjStartNfa_3

private final int jjStartNfa_3(int pos,
                               long active0)

jjStartNfaWithStates_3

private final int jjStartNfaWithStates_3(int pos,
                                         int kind,
                                         int state)

jjMoveStringLiteralDfa0_3

private final int jjMoveStringLiteralDfa0_3()

jjMoveStringLiteralDfa1_3

private final int jjMoveStringLiteralDfa1_3(long active0)

jjMoveStringLiteralDfa2_3

private final int jjMoveStringLiteralDfa2_3(long old0,
                                            long active0)

jjMoveStringLiteralDfa3_3

private final int jjMoveStringLiteralDfa3_3(long old0,
                                            long active0)

jjMoveStringLiteralDfa4_3

private final int jjMoveStringLiteralDfa4_3(long old0,
                                            long active0)

jjMoveStringLiteralDfa5_3

private final int jjMoveStringLiteralDfa5_3(long old0,
                                            long active0)

jjMoveStringLiteralDfa6_3

private final int jjMoveStringLiteralDfa6_3(long old0,
                                            long active0)

jjMoveStringLiteralDfa7_3

private final int jjMoveStringLiteralDfa7_3(long old0,
                                            long active0)

jjMoveStringLiteralDfa8_3

private final int jjMoveStringLiteralDfa8_3(long old0,
                                            long active0)

jjMoveStringLiteralDfa9_3

private final int jjMoveStringLiteralDfa9_3(long old0,
                                            long active0)

jjMoveStringLiteralDfa10_3

private final int jjMoveStringLiteralDfa10_3(long old0,
                                             long active0)

jjMoveNfa_3

private final int jjMoveNfa_3(int startState,
                              int curPos)

ReInit

public void ReInit(ASCII_CharStream stream)

ReInitRounds

private final void ReInitRounds()

ReInit

public void ReInit(ASCII_CharStream stream,
                   int lexState)

SwitchTo

public void SwitchTo(int lexState)

jjFillToken

private final Token jjFillToken()

getNextToken

public final Token getNextToken()

jjKindsForBitVector

protected final java.lang.String jjKindsForBitVector(int i,
                                                     long vec)

jjKindsForStateVector

protected final java.lang.String jjKindsForStateVector(int lexState,
                                                       int[] vec,
                                                       int start,
                                                       int end)