uk.ac.ucl.cs.emofocl.jmigen.extended
Class RenamesParserTokenManager

java.lang.Object
  extended by uk.ac.ucl.cs.emofocl.jmigen.extended.RenamesParserTokenManager
All Implemented Interfaces:
RenamesParserConstants

public class RenamesParserTokenManager
extends Object
implements RenamesParserConstants


Field Summary
protected  char curChar
           
 PrintStream debugStream
           
static int[] jjnewLexState
           
static String[] jjstrLiteralImages
           
static String[] lexStateNames
           
 
Fields inherited from interface uk.ac.ucl.cs.emofocl.jmigen.extended.RenamesParserConstants
DEFAULT, EOF, LINE_COMMENT, NAME, PARA_COMMENT, tokenImage, WS
 
Constructor Summary
RenamesParserTokenManager(SimpleCharStream stream)
           
RenamesParserTokenManager(SimpleCharStream stream, int lexState)
           
 
Method Summary
 Token getNextToken()
           
 void ReInit(SimpleCharStream stream)
           
 void ReInit(SimpleCharStream stream, int lexState)
           
 void setDebugStream(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 PrintStream debugStream

jjstrLiteralImages

public static final String[] jjstrLiteralImages

lexStateNames

public static final String[] lexStateNames

jjnewLexState

public static final int[] jjnewLexState

curChar

protected char curChar
Constructor Detail

RenamesParserTokenManager

public RenamesParserTokenManager(SimpleCharStream stream)

RenamesParserTokenManager

public RenamesParserTokenManager(SimpleCharStream stream,
                                 int lexState)
Method Detail

setDebugStream

public void setDebugStream(PrintStream ds)

ReInit

public void ReInit(SimpleCharStream stream)

ReInit

public void ReInit(SimpleCharStream stream,
                   int lexState)

SwitchTo

public void SwitchTo(int lexState)

getNextToken

public final Token getNextToken()