JSHOP2
Class JSHOP2Lexer

java.lang.Object
  extended by antlr.CharScanner
      extended by JSHOP2.JSHOP2Lexer
All Implemented Interfaces:
antlr.TokenStream, JSHOP2TokenTypes

public class JSHOP2Lexer
extends antlr.CharScanner
implements JSHOP2TokenTypes, antlr.TokenStream


Field Summary
static antlr.collections.impl.BitSet _tokenSet_0
           
static antlr.collections.impl.BitSet _tokenSet_1
           
static antlr.collections.impl.BitSet _tokenSet_2
           
 
Fields inherited from class antlr.CharScanner
_returnToken, caseSensitive, caseSensitiveLiterals, commitToPath, EOF_CHAR, hashString, inputState, literals, saveConsumedInput, tabsize, text, tokenObjectClass, traceDepth
 
Fields inherited from interface JSHOP2.JSHOP2TokenTypes
AND, ASSIGN, AXIOM, CALL, COMMENT, DEFDOMAIN, DEFPROBLEM, DEFPROBLEMSET, DIV, DOT, EOF, EQUAL, FIRST, FORALL, ID, IMMEDIATE, IMPLY, LESS, LESSEQ, LP, MEMBER, METHOD, MINUS, MORE, MOREEQ, MULT, NIL, NOT, NOTEQ, NULL_TREE_LOOKAHEAD, NUM, OPERATOR, OPID, OR, PLUS, POWER, PROTECTION, RP, SORT, STDLIB, UNORDERED, VARID, WS
 
Constructor Summary
JSHOP2Lexer(antlr.InputBuffer ib)
           
JSHOP2Lexer(java.io.InputStream in)
           
JSHOP2Lexer(antlr.LexerSharedInputState state)
           
JSHOP2Lexer(java.io.Reader in)
           
 
Method Summary
 void mAXIOM(boolean _createToken)
           
 void mCOMMENT(boolean _createToken)
           
 void mDIV(boolean _createToken)
           
 void mDOT(boolean _createToken)
           
 void mEQUAL(boolean _createToken)
           
 void mFIRST(boolean _createToken)
           
 void mID(boolean _createToken)
           
 void mIMMEDIATE(boolean _createToken)
           
private static long[] mk_tokenSet_0()
           
private static long[] mk_tokenSet_1()
           
private static long[] mk_tokenSet_2()
           
 void mLESS(boolean _createToken)
           
 void mLESSEQ(boolean _createToken)
           
 void mLP(boolean _createToken)
           
 void mMETHOD(boolean _createToken)
           
 void mMINUS(boolean _createToken)
           
 void mMORE(boolean _createToken)
           
 void mMOREEQ(boolean _createToken)
           
 void mMULT(boolean _createToken)
           
 void mNOTEQ(boolean _createToken)
           
 void mNUM(boolean _createToken)
           
 void mOPERATOR(boolean _createToken)
           
 void mOPID(boolean _createToken)
           
 void mPLUS(boolean _createToken)
           
 void mPOWER(boolean _createToken)
           
 void mPROTECTION(boolean _createToken)
           
 void mRP(boolean _createToken)
           
 void mSORT(boolean _createToken)
           
 void mUNORDERED(boolean _createToken)
           
 void mVARID(boolean _createToken)
           
 void mWS(boolean _createToken)
           
 antlr.Token nextToken()
           
 
Methods inherited from class antlr.CharScanner
append, append, commit, consume, consumeUntil, consumeUntil, getCaseSensitive, getCaseSensitiveLiterals, getColumn, getCommitToPath, getFilename, getInputBuffer, getInputState, getLine, getTabSize, getText, getTokenObject, LA, makeToken, mark, match, match, match, matchNot, matchRange, newline, panic, panic, reportError, reportError, reportWarning, resetText, rewind, setCaseSensitive, setColumn, setCommitToPath, setFilename, setInputState, setLine, setTabSize, setText, setTokenObjectClass, tab, testLiteralsTable, testLiteralsTable, toLower, traceIn, traceIndent, traceOut, uponEOF
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

_tokenSet_0

public static final antlr.collections.impl.BitSet _tokenSet_0

_tokenSet_1

public static final antlr.collections.impl.BitSet _tokenSet_1

_tokenSet_2

public static final antlr.collections.impl.BitSet _tokenSet_2
Constructor Detail

JSHOP2Lexer

public JSHOP2Lexer(java.io.InputStream in)

JSHOP2Lexer

public JSHOP2Lexer(java.io.Reader in)

JSHOP2Lexer

public JSHOP2Lexer(antlr.InputBuffer ib)

JSHOP2Lexer

public JSHOP2Lexer(antlr.LexerSharedInputState state)
Method Detail

nextToken

public antlr.Token nextToken()
                      throws antlr.TokenStreamException
Specified by:
nextToken in interface antlr.TokenStream
Specified by:
nextToken in class antlr.CharScanner
Throws:
antlr.TokenStreamException

mAXIOM

public final void mAXIOM(boolean _createToken)
                  throws antlr.RecognitionException,
                         antlr.CharStreamException,
                         antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException

mDIV

public final void mDIV(boolean _createToken)
                throws antlr.RecognitionException,
                       antlr.CharStreamException,
                       antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException

mDOT

public final void mDOT(boolean _createToken)
                throws antlr.RecognitionException,
                       antlr.CharStreamException,
                       antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException

mEQUAL

public final void mEQUAL(boolean _createToken)
                  throws antlr.RecognitionException,
                         antlr.CharStreamException,
                         antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException

mLESS

public final void mLESS(boolean _createToken)
                 throws antlr.RecognitionException,
                        antlr.CharStreamException,
                        antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException

mLESSEQ

public final void mLESSEQ(boolean _createToken)
                   throws antlr.RecognitionException,
                          antlr.CharStreamException,
                          antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException

mLP

public final void mLP(boolean _createToken)
               throws antlr.RecognitionException,
                      antlr.CharStreamException,
                      antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException

mMINUS

public final void mMINUS(boolean _createToken)
                  throws antlr.RecognitionException,
                         antlr.CharStreamException,
                         antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException

mWS

public final void mWS(boolean _createToken)
               throws antlr.RecognitionException,
                      antlr.CharStreamException,
                      antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException

mMORE

public final void mMORE(boolean _createToken)
                 throws antlr.RecognitionException,
                        antlr.CharStreamException,
                        antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException

mMOREEQ

public final void mMOREEQ(boolean _createToken)
                   throws antlr.RecognitionException,
                          antlr.CharStreamException,
                          antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException

mMULT

public final void mMULT(boolean _createToken)
                 throws antlr.RecognitionException,
                        antlr.CharStreamException,
                        antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException

mNOTEQ

public final void mNOTEQ(boolean _createToken)
                  throws antlr.RecognitionException,
                         antlr.CharStreamException,
                         antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException

mPLUS

public final void mPLUS(boolean _createToken)
                 throws antlr.RecognitionException,
                        antlr.CharStreamException,
                        antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException

mPOWER

public final void mPOWER(boolean _createToken)
                  throws antlr.RecognitionException,
                         antlr.CharStreamException,
                         antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException

mRP

public final void mRP(boolean _createToken)
               throws antlr.RecognitionException,
                      antlr.CharStreamException,
                      antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException

mFIRST

public final void mFIRST(boolean _createToken)
                  throws antlr.RecognitionException,
                         antlr.CharStreamException,
                         antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException

mIMMEDIATE

public final void mIMMEDIATE(boolean _createToken)
                      throws antlr.RecognitionException,
                             antlr.CharStreamException,
                             antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException

mMETHOD

public final void mMETHOD(boolean _createToken)
                   throws antlr.RecognitionException,
                          antlr.CharStreamException,
                          antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException

mOPERATOR

public final void mOPERATOR(boolean _createToken)
                     throws antlr.RecognitionException,
                            antlr.CharStreamException,
                            antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException

mPROTECTION

public final void mPROTECTION(boolean _createToken)
                       throws antlr.RecognitionException,
                              antlr.CharStreamException,
                              antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException

mSORT

public final void mSORT(boolean _createToken)
                 throws antlr.RecognitionException,
                        antlr.CharStreamException,
                        antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException

mUNORDERED

public final void mUNORDERED(boolean _createToken)
                      throws antlr.RecognitionException,
                             antlr.CharStreamException,
                             antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException

mCOMMENT

public final void mCOMMENT(boolean _createToken)
                    throws antlr.RecognitionException,
                           antlr.CharStreamException,
                           antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException

mID

public final void mID(boolean _createToken)
               throws antlr.RecognitionException,
                      antlr.CharStreamException,
                      antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException

mOPID

public final void mOPID(boolean _createToken)
                 throws antlr.RecognitionException,
                        antlr.CharStreamException,
                        antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException

mVARID

public final void mVARID(boolean _createToken)
                  throws antlr.RecognitionException,
                         antlr.CharStreamException,
                         antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException

mNUM

public final void mNUM(boolean _createToken)
                throws antlr.RecognitionException,
                       antlr.CharStreamException,
                       antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException

mk_tokenSet_0

private static final long[] mk_tokenSet_0()

mk_tokenSet_1

private static final long[] mk_tokenSet_1()

mk_tokenSet_2

private static final long[] mk_tokenSet_2()