Orbital library

orbital.moon.logic
Class LogicParserTokenManager

java.lang.Object
  extended by 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()

Orbital library
1.3.0: 11 Apr 2009

Copyright © 1996-2009 André Platzer
All Rights Reserved.