orbital.moon.logic
Class LogicParserTokenManager

java.lang.Object
  orbital.moon.logic.LogicParserTokenManager

All Implemented Interfaces:

LogicParserConstants

public class LogicParserTokenManager
extends java.lang.Object
implements LogicParserConstants

Field Summary

protected char	curChar
java.io.PrintStream	debugStream
protected SimpleCharStream	input_stream
static java.lang.String[]	jjstrLiteralImages
static java.lang.String[]	lexStateNames

Fields inherited from interface orbital.moon.logic.LogicParserConstants

AND, BOX, DECIMAL_LITERAL, DECLARE_FREE, DEFAULT, DIAMOND, DIGIT, DIGIT_OR_ALIKE, DIVIDE, EOF, EOL, EQUAL, EQUIV, EXISTS, EXPONENT, FLOATING_POINT_LITERAL, FORALL, FORMAL_COMMENT, GREATER, GREATER_EQUAL, IDENTIFIER, IMPLY, INTEGER_LITERAL, LAMBDA, LESS, LESS_EQUAL, LETTER, MINUS, MULTI_LINE_COMMENT, NOT, OR, PI, PLUS, PRODUCT, SINGLE_LINE_COMMENT, STRING_LITERAL, TIMES, tokenImage, UNEQUAL, XOR

Constructor Summary

LogicParserTokenManager(SimpleCharStream stream)

LogicParserTokenManager(SimpleCharStream stream, int lexState)

Method Summary

Token	getNextToken()
protected Token	jjFillToken()
void	ReInit(SimpleCharStream stream)
void	ReInit(SimpleCharStream stream, int lexState)
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

jjstrLiteralImages

public static final java.lang.String[] jjstrLiteralImages

lexStateNames

public static final java.lang.String[] lexStateNames

input_stream

protected SimpleCharStream input_stream

curChar

protected char curChar

Constructor Detail

LogicParserTokenManager

public LogicParserTokenManager(SimpleCharStream stream)

LogicParserTokenManager

public LogicParserTokenManager(SimpleCharStream stream,
                               int lexState)

Method Detail

setDebugStream

public void setDebugStream(java.io.PrintStream ds)

ReInit

public void ReInit(SimpleCharStream stream)

ReInit

public void ReInit(SimpleCharStream stream,
                   int lexState)

SwitchTo

public void SwitchTo(int lexState)

jjFillToken

protected Token jjFillToken()

getNextToken

public Token getNextToken()