com.veromodo.tempo.parser
Class TIOALexer

java.lang.Object
  extended by antlr.CharScanner
      extended by com.veromodo.tempo.parser.TIOALexer
All Implemented Interfaces:
antlr.TokenStream, TIOAParserTokenTypes

public class TIOALexer
extends antlr.CharScanner
implements TIOAParserTokenTypes, 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
           
static antlr.collections.impl.BitSet _tokenSet_3
           
static antlr.collections.impl.BitSet _tokenSet_4
           
static antlr.collections.impl.BitSet _tokenSet_5
           
 
Fields inherited from class antlr.CharScanner
EOF_CHAR
 
Fields inherited from interface com.veromodo.tempo.parser.TIOAParserTokenTypes
ADD, ALL, AND, ARROW, BANG, CMT, COLON, COLONEQ, COMMA, DIGITS, DIGITS0, DIV, DOT, DSUB, EOF, EQUAL, EQUIV, EXISTS, FLOATLIT, FUNNY_OP, GEQ, GT, ID, IMPLY, INTLIT, LBRACKET, LCURLY, LEQ, LITERAL, LITERAL_automaton, LITERAL_backward, LITERAL_case, LITERAL_choose, LITERAL_components, LITERAL_const, LITERAL_defines, LITERAL_det, LITERAL_do, LITERAL_duration, LITERAL_eff, LITERAL_else, LITERAL_elseif, LITERAL_end, LITERAL_ensuring, LITERAL_enumeration, LITERAL_evolve, LITERAL_fi, LITERAL_fire, LITERAL_follow, LITERAL_for, LITERAL_forward, LITERAL_from, LITERAL_hidden, LITERAL_if, LITERAL_ignore, LITERAL_imports, LITERAL_in, LITERAL_initially, LITERAL_input, LITERAL_internal, LITERAL_invariant, LITERAL_let, LITERAL_local, LITERAL_od, LITERAL_of, LITERAL_operators, LITERAL_output, LITERAL_pre, LITERAL_proof, LITERAL_schedule, LITERAL_signature, LITERAL_simulation, LITERAL_start, LITERAL_states, LITERAL_stop, LITERAL_tasks, LITERAL_then, LITERAL_to, LITERAL_trajdef, LITERAL_trajectories, LITERAL_trajectory, LITERAL_transitions, LITERAL_tuple, LITERAL_type, LITERAL_types, LITERAL_union, LITERAL_urgent, LITERAL_using, LITERAL_vocabulary, LITERAL_when, LITERAL_where, LITERAL_while, LITERAL_with, LITERAL_yield, LPAREN, LT, MUL, NEQUAL, NOT, NULL_TREE_LOOKAHEAD, OPCHAR, OPCHAR1, OPERATOR, OR, POW, RBRACKET, RCURLY, RPAREN, SCOLON, SUB, WS
 
Constructor Summary
TIOALexer(antlr.InputBuffer ib)
           
TIOALexer(java.io.InputStream in)
           
TIOALexer(antlr.LexerSharedInputState state)
           
TIOALexer(java.io.Reader in)
           
 
Method Summary
 int getOffset()
           
 void mADD(boolean _createToken)
           
 void mALL(boolean _createToken)
           
 void mAND(boolean _createToken)
           
 void mBANG(boolean _createToken)
           
 void mCMT(boolean _createToken)
           
 void mCOLON(boolean _createToken)
           
 void mCOLONEQ(boolean _createToken)
           
 void mCOMMA(boolean _createToken)
           
 void mDIV(boolean _createToken)
           
 void mDOT(boolean _createToken)
           
 void mDSUB(boolean _createToken)
           
 void mEQUAL(boolean _createToken)
           
 void mEQUIV(boolean _createToken)
           
 void mEXISTS(boolean _createToken)
           
 void mFUNNY_OP(boolean _createToken)
           
 void mGEQ(boolean _createToken)
           
 void mGT(boolean _createToken)
           
 void mID(boolean _createToken)
           
 void mIMPLY(boolean _createToken)
           
 void mLBRACKET(boolean _createToken)
           
 void mLCURLY(boolean _createToken)
           
 void mLEQ(boolean _createToken)
           
 void mLITERAL(boolean _createToken)
           
 void mLPAREN(boolean _createToken)
           
 void mLT(boolean _createToken)
           
 void mMUL(boolean _createToken)
           
 void mNEQUAL(boolean _createToken)
           
 void mNOT(boolean _createToken)
           
 void mOR(boolean _createToken)
           
 void mPOW(boolean _createToken)
           
 void mRBRACKET(boolean _createToken)
           
 void mRCURLY(boolean _createToken)
           
 void mRPAREN(boolean _createToken)
           
 void mSCOLON(boolean _createToken)
           
 void mWS(boolean _createToken)
           
 void newline()
           
 antlr.Token nextToken()
           
 void setFilename(java.lang.String fn)
           
 
Methods inherited from class antlr.CharScanner
append, append, commit, consume, consumeUntil, consumeUntil, getCaseSensitive, getCaseSensitiveLiterals, getColumn, getCommitToPath, getFilename, getInputBuffer, getInputState, getLine, getTabSize, getText, getTokenObject, LA, mark, match, match, match, matchNot, matchRange, panic, panic, reportError, reportError, reportWarning, resetText, rewind, setCaseSensitive, setColumn, setCommitToPath, setInputState, setLine, setTabSize, setText, setTokenObjectClass, tab, testLiteralsTable, testLiteralsTable, toLower, traceIn, traceIndent, traceOut, uponEOF
 
Methods inherited from class java.lang.Object
equals, 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

_tokenSet_3

public static final antlr.collections.impl.BitSet _tokenSet_3

_tokenSet_4

public static final antlr.collections.impl.BitSet _tokenSet_4

_tokenSet_5

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

TIOALexer

public TIOALexer(java.io.InputStream in)

TIOALexer

public TIOALexer(java.io.Reader in)

TIOALexer

public TIOALexer(antlr.InputBuffer ib)

TIOALexer

public TIOALexer(antlr.LexerSharedInputState state)
Method Detail

setFilename

public void setFilename(java.lang.String fn)
Overrides:
setFilename in class antlr.CharScanner

getOffset

public int getOffset()

newline

public void newline()
Overrides:
newline in class antlr.CharScanner

nextToken

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

mLPAREN

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

mRPAREN

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

mLBRACKET

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

mRBRACKET

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

mLCURLY

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

mRCURLY

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

mCOMMA

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

mSCOLON

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

mCOLON

public final void mCOLON(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

mNOT

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

mLT

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

mGT

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

mLEQ

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

mGEQ

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

mIMPLY

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

mEQUIV

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

mAND

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

mOR

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

mDSUB

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

mADD

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

mMUL

public final void mMUL(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

mPOW

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

mNEQUAL

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

mALL

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

mEXISTS

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

mCOLONEQ

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

mBANG

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

mFUNNY_OP

public final void mFUNNY_OP(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

mLITERAL

public final void mLITERAL(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

mCMT

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