Class RpclCondensedProbabilityDistributionParserTokenManager
- java.lang.Object
-
- net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParserTokenManager
-
- All Implemented Interfaces:
RpclCondensedProbabilityDistributionParserConstants
public class RpclCondensedProbabilityDistributionParserTokenManager extends Object implements RpclCondensedProbabilityDistributionParserConstants
-
-
Field Summary
Fields Modifier and Type Field Description protected static charcurCharstatic PrintStreamdebugStreamprotected static SimpleCharStreaminput_streamstatic String[]jjstrLiteralImagesstatic 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 TokengetNextToken()protected static TokenjjFillToken()static voidReInit(SimpleCharStream stream)static voidReInit(SimpleCharStream stream, int lexState)static voidsetDebugStream(PrintStream ds)static voidSwitchTo(int lexState)
-
-
-
Field Detail
-
debugStream
public static PrintStream debugStream
-
jjstrLiteralImages
public static final String[] jjstrLiteralImages
-
lexStateNames
public static final String[] lexStateNames
-
input_stream
protected static SimpleCharStream input_stream
-
curChar
protected static char curChar
-
-
Constructor Detail
-
RpclCondensedProbabilityDistributionParserTokenManager
public RpclCondensedProbabilityDistributionParserTokenManager(SimpleCharStream stream)
-
RpclCondensedProbabilityDistributionParserTokenManager
public RpclCondensedProbabilityDistributionParserTokenManager(SimpleCharStream stream, int lexState)
-
-
Method Detail
-
setDebugStream
public static void setDebugStream(PrintStream ds)
-
ReInit
public static void ReInit(SimpleCharStream stream)
-
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()
-
-