net.sf.tweety.logics.fol.parser

Class FolParserBTokenManager

java.lang.Object

net.sf.tweety.logics.fol.parser.FolParserBTokenManager

All Implemented Interfaces:

FolParserBConstants

public class FolParserBTokenManager
extends java.lang.Object
implements FolParserBConstants

Field Summary

Fields

Modifier and Type	Field and 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.logics.fol.parser.FolParserBConstants

AND, COMMA, CONSTANT, CONTRADICTION, CURLBRA, CURRBRA, DDOT, DEFAULT, DIGIT, EOF, EQUAL, EXISTS, FORALL, LBRA, LCHAR, NOT, NUMBER, OR, RBRA, SQLBRA, SQRBRA, SYMBOL, TAUTOLOGY, tokenImage, TYPE, UCHAR, VARIABLE

Constructor Summary

Constructors

Constructor and Description
FolParserBTokenManager(SimpleCharStream stream) Constructor.
FolParserBTokenManager(SimpleCharStream stream, int lexState) Constructor.

Method Summary

Modifier and Type	Method and Description
Token	getNextToken() Get the next Token.
private void	jjAddStates(int start, int end)
private void	jjCheckNAdd(int state)
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	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	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) Reinitialise parser.
void	ReInit(SimpleCharStream stream, int lexState) Reinitialise parser.
private void	ReInitRounds()
void	setDebugStream(java.io.PrintStream ds) Set debug output.
void	SwitchTo(int lexState) Switch to specified lex state.

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

FolParserBTokenManager

public FolParserBTokenManager(SimpleCharStream stream)

Constructor.

FolParserBTokenManager

public FolParserBTokenManager(SimpleCharStream stream,
                              int lexState)

Constructor.

Method Detail

setDebugStream

public void setDebugStream(java.io.PrintStream ds)

Set debug output.

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)

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)

Reinitialise parser.

ReInitRounds

private void ReInitRounds()

ReInit

public void ReInit(SimpleCharStream stream,
                   int lexState)

Reinitialise parser.

SwitchTo

public void SwitchTo(int lexState)

Switch to specified lex state.

jjFillToken

protected Token jjFillToken()

getNextToken

public Token getNextToken()

Get the next Token.

jjCheckNAdd

private void jjCheckNAdd(int state)

jjAddStates

private void jjAddStates(int start,
                         int end)

jjCheckNAddTwoStates

private void jjCheckNAddTwoStates(int state1,
                                  int state2)