Class RpclCondensedProbabilityDistributionParserTokenManager
- java.lang.Object
-
- net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParserTokenManager
-
- All Implemented Interfaces:
RpclCondensedProbabilityDistributionParserConstants
public class RpclCondensedProbabilityDistributionParserTokenManager extends java.lang.Object implements RpclCondensedProbabilityDistributionParserConstants
-
-
Field Summary
Fields Modifier and Type Field Description protected static char
curChar
(package private) static int
curLexState
static java.io.PrintStream
debugStream
(package private) static int
defaultLexState
protected static SimpleCharStream
input_stream
(package private) static int
jjmatchedKind
(package private) static int
jjmatchedPos
(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[]
jjtoSkip
(package private) static long[]
jjtoToken
static java.lang.String[]
lexStateNames
-
Fields inherited from interface net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParserConstants
DEFAULT, EOF, MULTIPLICATOR, PROBABILITY, STRUCTURENAME, tokenImage
-
-
Constructor Summary
Constructors Constructor Description RpclCondensedProbabilityDistributionParserTokenManager(SimpleCharStream stream)
RpclCondensedProbabilityDistributionParserTokenManager(SimpleCharStream stream, int lexState)
-
Method Summary
Modifier and Type Method Description static Token
getNextToken()
private static void
jjAddStates(int start, int end)
private static void
jjCheckNAdd(int state)
private static void
jjCheckNAddTwoStates(int state1, int state2)
protected static Token
jjFillToken()
private static int
jjMoveNfa_0(int startState, int curPos)
private static int
jjMoveStringLiteralDfa0_0()
private static int
jjStartNfa_0(int pos, long active0)
private static int
jjStopAtPos(int pos, int kind)
private static int
jjStopStringLiteralDfa_0(int pos, long active0)
static void
ReInit(SimpleCharStream stream)
static void
ReInit(SimpleCharStream stream, int lexState)
private static void
ReInitRounds()
static void
setDebugStream(java.io.PrintStream ds)
static void
SwitchTo(int lexState)
-
-
-
Field Detail
-
debugStream
public static java.io.PrintStream debugStream
-
jjnextStates
static final int[] jjnextStates
-
jjstrLiteralImages
public static final java.lang.String[] jjstrLiteralImages
-
lexStateNames
public static final java.lang.String[] lexStateNames
-
jjtoToken
static final long[] jjtoToken
-
jjtoSkip
static final long[] jjtoSkip
-
input_stream
protected static SimpleCharStream input_stream
-
jjrounds
private static final int[] jjrounds
-
jjstateSet
private static final int[] jjstateSet
-
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
-
RpclCondensedProbabilityDistributionParserTokenManager
public RpclCondensedProbabilityDistributionParserTokenManager(SimpleCharStream stream)
-
RpclCondensedProbabilityDistributionParserTokenManager
public RpclCondensedProbabilityDistributionParserTokenManager(SimpleCharStream 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)
-
jjStartNfa_0
private static final int jjStartNfa_0(int pos, long active0)
-
jjStopAtPos
private static int jjStopAtPos(int pos, int kind)
-
jjMoveStringLiteralDfa0_0
private static int jjMoveStringLiteralDfa0_0()
-
jjMoveNfa_0
private static int jjMoveNfa_0(int startState, int curPos)
-
ReInit
public static void ReInit(SimpleCharStream stream)
-
ReInitRounds
private static void ReInitRounds()
-
ReInit
public static void ReInit(SimpleCharStream stream, int lexState)
-
SwitchTo
public static void SwitchTo(int lexState)
-
jjFillToken
protected static Token jjFillToken()
-
getNextToken
public static Token getNextToken()
-
jjCheckNAdd
private static void jjCheckNAdd(int state)
-
jjAddStates
private static void jjAddStates(int start, int end)
-
jjCheckNAddTwoStates
private static void jjCheckNAddTwoStates(int state1, int state2)
-
-