Package net.sf.tweety.lp.asp.parser

Class ASPCore2ParserTokenManager

java.lang.Object

net.sf.tweety.lp.asp.parser.ASPCore2ParserTokenManager

All Implemented Interfaces:

ASPCore2ParserConstants

public class ASPCore2ParserTokenManager
extends java.lang.Object
implements ASPCore2ParserConstants

Token Manager.

Field Summary

Fields

Modifier and Type	Field	Description
protected char	curChar
(package private) int	curLexState
java.io.PrintStream	debugStream	Debug output.
(package private) int	defaultLexState
protected SimpleCharStream	input_stream
(package private) static long[]	jjbitVec0
(package private) int	jjmatchedKind
(package private) int	jjmatchedPos
(package private) int	jjnewStateCnt
(package private) static int[]	jjnextStates
(package private) int	jjround
private int[]	jjrounds
private int[]	jjstateSet
static java.lang.String[]	jjstrLiteralImages	Token literal values.
(package private) static long[]	jjtoSkip
(package private) static long[]	jjtoToken
static java.lang.String[]	lexStateNames	Lexer state names.

Fields inherited from interface net.sf.tweety.lp.asp.parser.ASPCore2ParserConstants

AGGREGATE_COUNT, AGGREGATE_MAX, AGGREGATE_MIN, AGGREGATE_SUM, ANONYMOUS_VARIABLE, AT, CLINGO_SHOW, COLON, COMMA, COMMENT, CONS, CURLY_CLOSE, CURLY_OPEN, DEFAULT, DIV, DOT, EOF, EQUAL, GREATER, GREATER_OR_EQ, ID, LESS, LESS_OR_EQ, MAXIMIZE, MINIMIZE, MINUS, MULTI_LINE_COMMENT, NAF, NUMBER, OR, PAREN_CLOSE, PAREN_OPEN, PLUS, QUERY_MARK, SEMICOLON, SQUARE_CLOSE, SQUARE_OPEN, STRING, TIMES, tokenImage, UNEQUAL, VARIABLE, WCONS

Constructor Summary

Constructors

Constructor	Description
ASPCore2ParserTokenManager(SimpleCharStream stream)
ASPCore2ParserTokenManager(SimpleCharStream stream, int lexState)

Method Summary

Modifier and Type	Method	Description
Token	getNextToken()
private void	jjAddStates(int start, int end)
private void	jjCheckNAdd(int state)
private void	jjCheckNAddStates(int start, int end)
private void	jjCheckNAddTwoStates(int state1, int state2)
protected Token	jjFillToken()
private int	jjMoveNfa_0(int startState, int curPos)
private int	jjMoveStringLiteralDfa0_0()
private int	jjMoveStringLiteralDfa1_0(long active0)
private int	jjMoveStringLiteralDfa10_0(long old0, long active0)
private int	jjMoveStringLiteralDfa11_0(long old0, long active0)
private int	jjMoveStringLiteralDfa2_0(long old0, long active0)
private int	jjMoveStringLiteralDfa3_0(long old0, long active0)
private int	jjMoveStringLiteralDfa4_0(long old0, long active0)
private int	jjMoveStringLiteralDfa5_0(long old0, long active0)
private int	jjMoveStringLiteralDfa6_0(long old0, long active0)
private int	jjMoveStringLiteralDfa7_0(long old0, long active0)
private int	jjMoveStringLiteralDfa8_0(long old0, long active0)
private int	jjMoveStringLiteralDfa9_0(long old0, long active0)
private int	jjStartNfa_0(int pos, long active0)
private int	jjStartNfaWithStates_0(int pos, int kind, int state)
private int	jjStopAtPos(int pos, int kind)
private int	jjStopStringLiteralDfa_0(int pos, long active0)
void	ReInit(SimpleCharStream stream)
void	ReInit(SimpleCharStream stream, int lexState)
private void	ReInitRounds()
void	setDebugStream(java.io.PrintStream ds)
void	SwitchTo(int lexState)

Methods inherited from class java.lang.Object

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

Field Detail

debugStream

public java.io.PrintStream debugStream

Debug output.

jjbitVec0

static final long[] jjbitVec0

jjnextStates

static final int[] jjnextStates

jjstrLiteralImages

public static final java.lang.String[] jjstrLiteralImages

Token literal values.

lexStateNames

public static final java.lang.String[] lexStateNames

Lexer state names.

jjtoToken

static final long[] jjtoToken

jjtoSkip

static final long[] jjtoSkip

input_stream

protected SimpleCharStream 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

Constructor Detail

ASPCore2ParserTokenManager

public ASPCore2ParserTokenManager(SimpleCharStream stream)

ASPCore2ParserTokenManager

public ASPCore2ParserTokenManager(SimpleCharStream stream,
                                  int lexState)

Method Detail

setDebugStream

public void setDebugStream(java.io.PrintStream ds)

jjStopStringLiteralDfa_0

private final int jjStopStringLiteralDfa_0(int pos,
                                           long active0)

jjStartNfa_0

private final int jjStartNfa_0(int pos,
                               long active0)

jjStopAtPos

private int jjStopAtPos(int pos,
                        int kind)

jjMoveStringLiteralDfa0_0

private int jjMoveStringLiteralDfa0_0()

jjMoveStringLiteralDfa1_0

private int jjMoveStringLiteralDfa1_0(long active0)

jjMoveStringLiteralDfa2_0

private int jjMoveStringLiteralDfa2_0(long old0,
                                      long active0)

jjMoveStringLiteralDfa3_0

private int jjMoveStringLiteralDfa3_0(long old0,
                                      long active0)

jjMoveStringLiteralDfa4_0

private int jjMoveStringLiteralDfa4_0(long old0,
                                      long active0)

jjMoveStringLiteralDfa5_0

private int jjMoveStringLiteralDfa5_0(long old0,
                                      long active0)

jjMoveStringLiteralDfa6_0

private int jjMoveStringLiteralDfa6_0(long old0,
                                      long active0)

jjMoveStringLiteralDfa7_0

private int jjMoveStringLiteralDfa7_0(long old0,
                                      long active0)

jjMoveStringLiteralDfa8_0

private int jjMoveStringLiteralDfa8_0(long old0,
                                      long active0)

jjMoveStringLiteralDfa9_0

private int jjMoveStringLiteralDfa9_0(long old0,
                                      long active0)

jjMoveStringLiteralDfa10_0

private int jjMoveStringLiteralDfa10_0(long old0,
                                       long active0)

jjMoveStringLiteralDfa11_0

private int jjMoveStringLiteralDfa11_0(long old0,
                                       long active0)

jjStartNfaWithStates_0

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

jjMoveNfa_0

private int jjMoveNfa_0(int startState,
                        int curPos)

ReInit

public void ReInit(SimpleCharStream stream)

ReInitRounds

private void ReInitRounds()

ReInit

public void ReInit(SimpleCharStream stream,
                   int lexState)

SwitchTo

public void SwitchTo(int lexState)

jjFillToken

protected Token jjFillToken()

getNextToken

public Token getNextToken()

jjCheckNAdd

private void jjCheckNAdd(int state)

jjAddStates

private void jjAddStates(int start,
                         int end)

jjCheckNAddTwoStates

private void jjCheckNAddTwoStates(int state1,
                                  int state2)

jjCheckNAddStates

private void jjCheckNAddStates(int start,
                               int end)