edu.wis.jtlv.env.core.spec
Class SPCLexer

java.lang.Object
  extended by org.antlr.runtime.BaseRecognizer
      extended by org.antlr.runtime.Lexer
          extended by edu.wis.jtlv.env.core.spec.SPCLexer
All Implemented Interfaces:
org.antlr.runtime.TokenSource

public class SPCLexer
extends org.antlr.runtime.Lexer


Field Summary
static int ARRAY_INDEX_T
           
static int BIT_SELECT_T
           
static int BLOCK_T
           
static int CASE_ELEMENT_EXPR_T
           
static int CASE_LIST_EXPR_T
           
static int EOF
           
static int JTOK_LINE_COMMENT
           
static int JTOK_MULTI_COMMENT
           
static int JTOK_WS
           
static int NOP
           
static int PURE_CTL_T
           
static int PURE_LTL_T
           
static int SET_LIST_EXP_T
           
static int SPEC_LIST_T
           
static int SUBRANGE_T
           
static int TOK_AA
           
static int TOK_ABF
           
static int TOK_ABG
           
static int TOK_AF
           
static int TOK_AG
           
static int TOK_AND
           
static int TOK_ATOM
           
static int TOK_AX
           
static int TOK_BOOL
           
static int TOK_BUNTIL
           
static int TOK_CASE
           
static int TOK_COLON
           
static int TOK_COMMA
           
static int TOK_CONCATENATION
           
static int TOK_CTL_SPEC
           
static int TOK_CTL_STAR_SPEC
           
static int TOK_DIVIDE
           
static int TOK_DOT
           
static int TOK_EBF
           
static int TOK_EBG
           
static int TOK_EE
           
static int TOK_EF
           
static int TOK_EG
           
static int TOK_EQUAL
           
static int TOK_ESAC
           
static int TOK_EX
           
static int TOK_FALSEEXP
           
static int TOK_GE
           
static int TOK_GT
           
static int TOK_IFF
           
static int TOK_IMPLIES
           
static int TOK_INVAR_SPEC
           
static int TOK_LB
           
static int TOK_LCB
           
static int TOK_LE
           
static int TOK_LP
           
static int TOK_LSHIFT
           
static int TOK_LT
           
static int TOK_LTL_SPEC
           
static int TOK_MINUS
           
static int TOK_MOD
           
static int TOK_NEXT
           
static int TOK_NOT
           
static int TOK_NOTEQUAL
           
static int TOK_NUMBER
           
static int TOK_NUMBER_FRAC
           
static int TOK_NUMBER_WORD
           
static int TOK_OP_FINALLY
           
static int TOK_OP_GLOBALLY
           
static int TOK_OP_HISTORICALLY
           
static int TOK_OP_NEXT
           
static int TOK_OP_NOTPREVNOT
           
static int TOK_OP_ONCE
           
static int TOK_OP_PREV
           
static int TOK_OR
           
static int TOK_PLUS
           
static int TOK_RB
           
static int TOK_RCB
           
static int TOK_RELEASES
           
static int TOK_RP
           
static int TOK_RSHIFT
           
static int TOK_SEMI
           
static int TOK_SETIN
           
static int TOK_SINCE
           
static int TOK_TIMES
           
static int TOK_TRIGGERED
           
static int TOK_TRUEEXP
           
static int TOK_TWODOTS
           
static int TOK_UNARY_MINUS_T
           
static int TOK_UNION
           
static int TOK_UNTIL
           
static int TOK_WAREAD
           
static int TOK_WAWRITE
           
static int TOK_WORD
           
static int TOK_WORD1
           
static int TOK_XNOR
           
static int TOK_XOR
           
static int Tokens
           
static int VALUE_T
           
 
Fields inherited from class org.antlr.runtime.BaseRecognizer
DEFAULT_TOKEN_CHANNEL, HIDDEN, INITIAL_FOLLOW_STACK_SIZE, MEMO_RULE_FAILED, MEMO_RULE_FAILED_I, MEMO_RULE_UNKNOWN, NEXT_TOKEN_RULE_NAME
 
Constructor Summary
SPCLexer()
           
SPCLexer(org.antlr.runtime.CharStream input)
           
 
Method Summary
 void emitErrorMessage(java.lang.String msg)
           
 java.lang.String getErrorMessage(org.antlr.runtime.RecognitionException e, java.lang.String[] tokenNames)
           
 java.lang.String getGrammarFileName()
           
 void mJTOK_LINE_COMMENT()
           
 void mJTOK_MULTI_COMMENT()
           
 void mJTOK_WS()
           
 void mTOK_AA()
           
 void mTOK_ABF()
           
 void mTOK_ABG()
           
 void mTOK_AF()
           
 void mTOK_AG()
           
 void mTOK_AND()
           
 void mTOK_ATOM()
           
 void mTOK_AX()
           
 void mTOK_BOOL()
           
 void mTOK_BUNTIL()
           
 void mTOK_CASE()
           
 void mTOK_COLON()
           
 void mTOK_COMMA()
           
 void mTOK_CONCATENATION()
           
 void mTOK_CTL_SPEC()
           
 void mTOK_CTL_STAR_SPEC()
           
 void mTOK_DIVIDE()
           
 void mTOK_DOT()
           
 void mTOK_EBF()
           
 void mTOK_EBG()
           
 void mTOK_EE()
           
 void mTOK_EF()
           
 void mTOK_EG()
           
 void mTOK_EQUAL()
           
 void mTOK_ESAC()
           
 void mTOK_EX()
           
 void mTOK_FALSEEXP()
           
 void mTOK_GE()
           
 void mTOK_GT()
           
 void mTOK_IFF()
           
 void mTOK_IMPLIES()
           
 void mTOK_INVAR_SPEC()
           
 void mTOK_LB()
           
 void mTOK_LCB()
           
 void mTOK_LE()
           
 void mTOK_LP()
           
 void mTOK_LSHIFT()
           
 void mTOK_LT()
           
 void mTOK_LTL_SPEC()
           
 void mTOK_MINUS()
           
 void mTOK_MOD()
           
 void mTOK_NEXT()
           
 void mTOK_NOT()
           
 void mTOK_NOTEQUAL()
           
 void mTOK_NUMBER_FRAC()
           
 void mTOK_NUMBER_WORD()
           
 void mTOK_NUMBER()
           
 void mTOK_OP_FINALLY()
           
 void mTOK_OP_GLOBALLY()
           
 void mTOK_OP_HISTORICALLY()
           
 void mTOK_OP_NEXT()
           
 void mTOK_OP_NOTPREVNOT()
           
 void mTOK_OP_ONCE()
           
 void mTOK_OP_PREV()
           
 void mTOK_OR()
           
 void mTOK_PLUS()
           
 void mTOK_RB()
           
 void mTOK_RCB()
           
 void mTOK_RELEASES()
           
 void mTOK_RP()
           
 void mTOK_RSHIFT()
           
 void mTOK_SEMI()
           
 void mTOK_SETIN()
           
 void mTOK_SINCE()
           
 void mTOK_TIMES()
           
 void mTOK_TRIGGERED()
           
 void mTOK_TRUEEXP()
           
 void mTOK_TWODOTS()
           
 void mTOK_UNION()
           
 void mTOK_UNTIL()
           
 void mTOK_WAREAD()
           
 void mTOK_WAWRITE()
           
 void mTOK_WORD()
           
 void mTOK_WORD1()
           
 void mTOK_XNOR()
           
 void mTOK_XOR()
           
 void mTokens()
           
 
Methods inherited from class org.antlr.runtime.Lexer
emit, emit, getCharErrorDisplay, getCharIndex, getCharPositionInLine, getLine, getText, match, match, matchAny, matchRange, nextToken, recover, reportError, reset, setCharStream, setText, skip, traceIn, traceOut
 
Methods inherited from class org.antlr.runtime.BaseRecognizer
alreadyParsedRule, beginResync, consumeUntil, consumeUntil, displayRecognitionError, endResync, getBacktrackingLevel, getErrorHeader, getRuleInvocationStack, getRuleInvocationStack, getRuleMemoization, getRuleMemoizationCacheSize, getTokenErrorDisplay, getTokenNames, match, matchAny, memoize, recover, recoverFromMismatchedSet, recoverFromMismatchedToken, toStrings, traceIn, traceOut
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

SPEC_LIST_T

public static final int SPEC_LIST_T
See Also:
Constant Field Values

TOK_OP_HISTORICALLY

public static final int TOK_OP_HISTORICALLY
See Also:
Constant Field Values

TOK_CASE

public static final int TOK_CASE
See Also:
Constant Field Values

NOP

public static final int NOP
See Also:
Constant Field Values

EOF

public static final int EOF
See Also:
Constant Field Values

TOK_ABF

public static final int TOK_ABF
See Also:
Constant Field Values

TOK_NOT

public static final int TOK_NOT
See Also:
Constant Field Values

TOK_ABG

public static final int TOK_ABG
See Also:
Constant Field Values

TOK_EX

public static final int TOK_EX
See Also:
Constant Field Values

TOK_WORD

public static final int TOK_WORD
See Also:
Constant Field Values

VALUE_T

public static final int VALUE_T
See Also:
Constant Field Values

SET_LIST_EXP_T

public static final int SET_LIST_EXP_T
See Also:
Constant Field Values

TOK_LTL_SPEC

public static final int TOK_LTL_SPEC
See Also:
Constant Field Values

TOK_TIMES

public static final int TOK_TIMES
See Also:
Constant Field Values

TOK_TRIGGERED

public static final int TOK_TRIGGERED
See Also:
Constant Field Values

TOK_RSHIFT

public static final int TOK_RSHIFT
See Also:
Constant Field Values

ARRAY_INDEX_T

public static final int ARRAY_INDEX_T
See Also:
Constant Field Values

TOK_EG

public static final int TOK_EG
See Also:
Constant Field Values

TOK_EF

public static final int TOK_EF
See Also:
Constant Field Values

TOK_SINCE

public static final int TOK_SINCE
See Also:
Constant Field Values

TOK_EE

public static final int TOK_EE
See Also:
Constant Field Values

TOK_IFF

public static final int TOK_IFF
See Also:
Constant Field Values

TOK_RELEASES

public static final int TOK_RELEASES
See Also:
Constant Field Values

TOK_UNARY_MINUS_T

public static final int TOK_UNARY_MINUS_T
See Also:
Constant Field Values

TOK_OP_NEXT

public static final int TOK_OP_NEXT
See Also:
Constant Field Values

TOK_IMPLIES

public static final int TOK_IMPLIES
See Also:
Constant Field Values

TOK_CTL_STAR_SPEC

public static final int TOK_CTL_STAR_SPEC
See Also:
Constant Field Values

TOK_FALSEEXP

public static final int TOK_FALSEEXP
See Also:
Constant Field Values

TOK_ESAC

public static final int TOK_ESAC
See Also:
Constant Field Values

TOK_NOTEQUAL

public static final int TOK_NOTEQUAL
See Also:
Constant Field Values

JTOK_MULTI_COMMENT

public static final int JTOK_MULTI_COMMENT
See Also:
Constant Field Values

TOK_SEMI

public static final int TOK_SEMI
See Also:
Constant Field Values

TOK_WAWRITE

public static final int TOK_WAWRITE
See Also:
Constant Field Values

JTOK_LINE_COMMENT

public static final int JTOK_LINE_COMMENT
See Also:
Constant Field Values

TOK_XOR

public static final int TOK_XOR
See Also:
Constant Field Values

TOK_GT

public static final int TOK_GT
See Also:
Constant Field Values

TOK_PLUS

public static final int TOK_PLUS
See Also:
Constant Field Values

TOK_NUMBER

public static final int TOK_NUMBER
See Also:
Constant Field Values

BIT_SELECT_T

public static final int BIT_SELECT_T
See Also:
Constant Field Values

TOK_COMMA

public static final int TOK_COMMA
See Also:
Constant Field Values

TOK_UNION

public static final int TOK_UNION
See Also:
Constant Field Values

PURE_LTL_T

public static final int PURE_LTL_T
See Also:
Constant Field Values

TOK_GE

public static final int TOK_GE
See Also:
Constant Field Values

TOK_DIVIDE

public static final int TOK_DIVIDE
See Also:
Constant Field Values

TOK_OR

public static final int TOK_OR
See Also:
Constant Field Values

TOK_OP_FINALLY

public static final int TOK_OP_FINALLY
See Also:
Constant Field Values

TOK_RCB

public static final int TOK_RCB
See Also:
Constant Field Values

TOK_RP

public static final int TOK_RP
See Also:
Constant Field Values

CASE_ELEMENT_EXPR_T

public static final int CASE_ELEMENT_EXPR_T
See Also:
Constant Field Values

TOK_AA

public static final int TOK_AA
See Also:
Constant Field Values

TOK_NEXT

public static final int TOK_NEXT
See Also:
Constant Field Values

TOK_CONCATENATION

public static final int TOK_CONCATENATION
See Also:
Constant Field Values

TOK_NUMBER_WORD

public static final int TOK_NUMBER_WORD
See Also:
Constant Field Values

TOK_WAREAD

public static final int TOK_WAREAD
See Also:
Constant Field Values

TOK_AF

public static final int TOK_AF
See Also:
Constant Field Values

TOK_AG

public static final int TOK_AG
See Also:
Constant Field Values

TOK_EBG

public static final int TOK_EBG
See Also:
Constant Field Values

TOK_EBF

public static final int TOK_EBF
See Also:
Constant Field Values

TOK_DOT

public static final int TOK_DOT
See Also:
Constant Field Values

TOK_NUMBER_FRAC

public static final int TOK_NUMBER_FRAC
See Also:
Constant Field Values

TOK_LCB

public static final int TOK_LCB
See Also:
Constant Field Values

PURE_CTL_T

public static final int PURE_CTL_T
See Also:
Constant Field Values

TOK_AX

public static final int TOK_AX
See Also:
Constant Field Values

TOK_AND

public static final int TOK_AND
See Also:
Constant Field Values

TOK_COLON

public static final int TOK_COLON
See Also:
Constant Field Values

TOK_INVAR_SPEC

public static final int TOK_INVAR_SPEC
See Also:
Constant Field Values

TOK_XNOR

public static final int TOK_XNOR
See Also:
Constant Field Values

SUBRANGE_T

public static final int SUBRANGE_T
See Also:
Constant Field Values

TOK_MOD

public static final int TOK_MOD
See Also:
Constant Field Values

TOK_BUNTIL

public static final int TOK_BUNTIL
See Also:
Constant Field Values

BLOCK_T

public static final int BLOCK_T
See Also:
Constant Field Values

TOK_RB

public static final int TOK_RB
See Also:
Constant Field Values

TOK_OP_NOTPREVNOT

public static final int TOK_OP_NOTPREVNOT
See Also:
Constant Field Values

TOK_UNTIL

public static final int TOK_UNTIL
See Also:
Constant Field Values

JTOK_WS

public static final int JTOK_WS
See Also:
Constant Field Values

TOK_LP

public static final int TOK_LP
See Also:
Constant Field Values

TOK_BOOL

public static final int TOK_BOOL
See Also:
Constant Field Values

TOK_LT

public static final int TOK_LT
See Also:
Constant Field Values

CASE_LIST_EXPR_T

public static final int CASE_LIST_EXPR_T
See Also:
Constant Field Values

TOK_SETIN

public static final int TOK_SETIN
See Also:
Constant Field Values

TOK_CTL_SPEC

public static final int TOK_CTL_SPEC
See Also:
Constant Field Values

TOK_LB

public static final int TOK_LB
See Also:
Constant Field Values

TOK_TWODOTS

public static final int TOK_TWODOTS
See Also:
Constant Field Values

TOK_WORD1

public static final int TOK_WORD1
See Also:
Constant Field Values

TOK_OP_PREV

public static final int TOK_OP_PREV
See Also:
Constant Field Values

Tokens

public static final int Tokens
See Also:
Constant Field Values

TOK_LE

public static final int TOK_LE
See Also:
Constant Field Values

TOK_TRUEEXP

public static final int TOK_TRUEEXP
See Also:
Constant Field Values

TOK_OP_GLOBALLY

public static final int TOK_OP_GLOBALLY
See Also:
Constant Field Values

TOK_ATOM

public static final int TOK_ATOM
See Also:
Constant Field Values

TOK_OP_ONCE

public static final int TOK_OP_ONCE
See Also:
Constant Field Values

TOK_LSHIFT

public static final int TOK_LSHIFT
See Also:
Constant Field Values

TOK_MINUS

public static final int TOK_MINUS
See Also:
Constant Field Values

TOK_EQUAL

public static final int TOK_EQUAL
See Also:
Constant Field Values
Constructor Detail

SPCLexer

public SPCLexer()

SPCLexer

public SPCLexer(org.antlr.runtime.CharStream input)
Method Detail

getErrorMessage

public java.lang.String getErrorMessage(org.antlr.runtime.RecognitionException e,
                                        java.lang.String[] tokenNames)
Overrides:
getErrorMessage in class org.antlr.runtime.Lexer

emitErrorMessage

public void emitErrorMessage(java.lang.String msg)
Overrides:
emitErrorMessage in class org.antlr.runtime.BaseRecognizer

getGrammarFileName

public java.lang.String getGrammarFileName()
Overrides:
getGrammarFileName in class org.antlr.runtime.BaseRecognizer

mTOK_CTL_SPEC

public final void mTOK_CTL_SPEC()
                         throws org.antlr.runtime.RecognitionException
Throws:
org.antlr.runtime.RecognitionException

mTOK_CTL_STAR_SPEC

public final void mTOK_CTL_STAR_SPEC()
                              throws org.antlr.runtime.RecognitionException
Throws:
org.antlr.runtime.RecognitionException

mTOK_LTL_SPEC

public final void mTOK_LTL_SPEC()
                         throws org.antlr.runtime.RecognitionException
Throws:
org.antlr.runtime.RecognitionException

mTOK_INVAR_SPEC

public final void mTOK_INVAR_SPEC()
                           throws org.antlr.runtime.RecognitionException
Throws:
org.antlr.runtime.RecognitionException

mTOK_EX

public final void mTOK_EX()
                   throws org.antlr.runtime.RecognitionException
Throws:
org.antlr.runtime.RecognitionException

mTOK_AX

public final void mTOK_AX()
                   throws org.antlr.runtime.RecognitionException
Throws:
org.antlr.runtime.RecognitionException

mTOK_EF

public final void mTOK_EF()
                   throws org.antlr.runtime.RecognitionException
Throws:
org.antlr.runtime.RecognitionException

mTOK_AF

public final void mTOK_AF()
                   throws org.antlr.runtime.RecognitionException
Throws:
org.antlr.runtime.RecognitionException

mTOK_EG

public final void mTOK_EG()
                   throws org.antlr.runtime.RecognitionException
Throws:
org.antlr.runtime.RecognitionException

mTOK_AG

public final void mTOK_AG()
                   throws org.antlr.runtime.RecognitionException
Throws:
org.antlr.runtime.RecognitionException

mTOK_EE

public final void mTOK_EE()
                   throws org.antlr.runtime.RecognitionException
Throws:
org.antlr.runtime.RecognitionException

mTOK_AA

public final void mTOK_AA()
                   throws org.antlr.runtime.RecognitionException
Throws:
org.antlr.runtime.RecognitionException

mTOK_BUNTIL

public final void mTOK_BUNTIL()
                       throws org.antlr.runtime.RecognitionException
Throws:
org.antlr.runtime.RecognitionException

mTOK_EBF

public final void mTOK_EBF()
                    throws org.antlr.runtime.RecognitionException
Throws:
org.antlr.runtime.RecognitionException

mTOK_ABF

public final void mTOK_ABF()
                    throws org.antlr.runtime.RecognitionException
Throws:
org.antlr.runtime.RecognitionException

mTOK_EBG

public final void mTOK_EBG()
                    throws org.antlr.runtime.RecognitionException
Throws:
org.antlr.runtime.RecognitionException

mTOK_ABG

public final void mTOK_ABG()
                    throws org.antlr.runtime.RecognitionException
Throws:
org.antlr.runtime.RecognitionException

mTOK_OP_FINALLY

public final void mTOK_OP_FINALLY()
                           throws org.antlr.runtime.RecognitionException
Throws:
org.antlr.runtime.RecognitionException

mTOK_OP_ONCE

public final void mTOK_OP_ONCE()
                        throws org.antlr.runtime.RecognitionException
Throws:
org.antlr.runtime.RecognitionException

mTOK_OP_GLOBALLY

public final void mTOK_OP_GLOBALLY()
                            throws org.antlr.runtime.RecognitionException
Throws:
org.antlr.runtime.RecognitionException

mTOK_OP_HISTORICALLY

public final void mTOK_OP_HISTORICALLY()
                                throws org.antlr.runtime.RecognitionException
Throws:
org.antlr.runtime.RecognitionException

mTOK_OP_NEXT

public final void mTOK_OP_NEXT()
                        throws org.antlr.runtime.RecognitionException
Throws:
org.antlr.runtime.RecognitionException

mTOK_OP_PREV

public final void mTOK_OP_PREV()
                        throws org.antlr.runtime.RecognitionException
Throws:
org.antlr.runtime.RecognitionException

mTOK_UNTIL

public final void mTOK_UNTIL()
                      throws org.antlr.runtime.RecognitionException
Throws:
org.antlr.runtime.RecognitionException

mTOK_SINCE

public final void mTOK_SINCE()
                      throws org.antlr.runtime.RecognitionException
Throws:
org.antlr.runtime.RecognitionException

mTOK_RELEASES

public final void mTOK_RELEASES()
                         throws org.antlr.runtime.RecognitionException
Throws:
org.antlr.runtime.RecognitionException

mTOK_TRIGGERED

public final void mTOK_TRIGGERED()
                          throws org.antlr.runtime.RecognitionException
Throws:
org.antlr.runtime.RecognitionException

mTOK_OP_NOTPREVNOT

public final void mTOK_OP_NOTPREVNOT()
                              throws org.antlr.runtime.RecognitionException
Throws:
org.antlr.runtime.RecognitionException

mTOK_LP

public final void mTOK_LP()
                   throws org.antlr.runtime.RecognitionException
Throws:
org.antlr.runtime.RecognitionException

mTOK_RP

public final void mTOK_RP()
                   throws org.antlr.runtime.RecognitionException
Throws:
org.antlr.runtime.RecognitionException

mTOK_LB

public final void mTOK_LB()
                   throws org.antlr.runtime.RecognitionException
Throws:
org.antlr.runtime.RecognitionException

mTOK_RB

public final void mTOK_RB()
                   throws org.antlr.runtime.RecognitionException
Throws:
org.antlr.runtime.RecognitionException

mTOK_LCB

public final void mTOK_LCB()
                    throws org.antlr.runtime.RecognitionException
Throws:
org.antlr.runtime.RecognitionException

mTOK_RCB

public final void mTOK_RCB()
                    throws org.antlr.runtime.RecognitionException
Throws:
org.antlr.runtime.RecognitionException

mTOK_FALSEEXP

public final void mTOK_FALSEEXP()
                         throws org.antlr.runtime.RecognitionException
Throws:
org.antlr.runtime.RecognitionException

mTOK_TRUEEXP

public final void mTOK_TRUEEXP()
                        throws org.antlr.runtime.RecognitionException
Throws:
org.antlr.runtime.RecognitionException

mTOK_WORD1

public final void mTOK_WORD1()
                      throws org.antlr.runtime.RecognitionException
Throws:
org.antlr.runtime.RecognitionException

mTOK_WORD

public final void mTOK_WORD()
                     throws org.antlr.runtime.RecognitionException
Throws:
org.antlr.runtime.RecognitionException

mTOK_BOOL

public final void mTOK_BOOL()
                     throws org.antlr.runtime.RecognitionException
Throws:
org.antlr.runtime.RecognitionException

mTOK_WAREAD

public final void mTOK_WAREAD()
                       throws org.antlr.runtime.RecognitionException
Throws:
org.antlr.runtime.RecognitionException

mTOK_WAWRITE

public final void mTOK_WAWRITE()
                        throws org.antlr.runtime.RecognitionException
Throws:
org.antlr.runtime.RecognitionException

mTOK_CASE

public final void mTOK_CASE()
                     throws org.antlr.runtime.RecognitionException
Throws:
org.antlr.runtime.RecognitionException

mTOK_ESAC

public final void mTOK_ESAC()
                     throws org.antlr.runtime.RecognitionException
Throws:
org.antlr.runtime.RecognitionException

mTOK_PLUS

public final void mTOK_PLUS()
                     throws org.antlr.runtime.RecognitionException
Throws:
org.antlr.runtime.RecognitionException

mTOK_MINUS

public final void mTOK_MINUS()
                      throws org.antlr.runtime.RecognitionException
Throws:
org.antlr.runtime.RecognitionException

mTOK_TIMES

public final void mTOK_TIMES()
                      throws org.antlr.runtime.RecognitionException
Throws:
org.antlr.runtime.RecognitionException

mTOK_DIVIDE

public final void mTOK_DIVIDE()
                       throws org.antlr.runtime.RecognitionException
Throws:
org.antlr.runtime.RecognitionException

mTOK_MOD

public final void mTOK_MOD()
                    throws org.antlr.runtime.RecognitionException
Throws:
org.antlr.runtime.RecognitionException

mTOK_LSHIFT

public final void mTOK_LSHIFT()
                       throws org.antlr.runtime.RecognitionException
Throws:
org.antlr.runtime.RecognitionException

mTOK_RSHIFT

public final void mTOK_RSHIFT()
                       throws org.antlr.runtime.RecognitionException
Throws:
org.antlr.runtime.RecognitionException

mTOK_EQUAL

public final void mTOK_EQUAL()
                      throws org.antlr.runtime.RecognitionException
Throws:
org.antlr.runtime.RecognitionException

mTOK_NOTEQUAL

public final void mTOK_NOTEQUAL()
                         throws org.antlr.runtime.RecognitionException
Throws:
org.antlr.runtime.RecognitionException

mTOK_LE

public final void mTOK_LE()
                   throws org.antlr.runtime.RecognitionException
Throws:
org.antlr.runtime.RecognitionException

mTOK_GE

public final void mTOK_GE()
                   throws org.antlr.runtime.RecognitionException
Throws:
org.antlr.runtime.RecognitionException

mTOK_LT

public final void mTOK_LT()
                   throws org.antlr.runtime.RecognitionException
Throws:
org.antlr.runtime.RecognitionException

mTOK_GT

public final void mTOK_GT()
                   throws org.antlr.runtime.RecognitionException
Throws:
org.antlr.runtime.RecognitionException

mTOK_NEXT

public final void mTOK_NEXT()
                     throws org.antlr.runtime.RecognitionException
Throws:
org.antlr.runtime.RecognitionException

mTOK_UNION

public final void mTOK_UNION()
                      throws org.antlr.runtime.RecognitionException
Throws:
org.antlr.runtime.RecognitionException

mTOK_SETIN

public final void mTOK_SETIN()
                      throws org.antlr.runtime.RecognitionException
Throws:
org.antlr.runtime.RecognitionException

mTOK_TWODOTS

public final void mTOK_TWODOTS()
                        throws org.antlr.runtime.RecognitionException
Throws:
org.antlr.runtime.RecognitionException

mTOK_DOT

public final void mTOK_DOT()
                    throws org.antlr.runtime.RecognitionException
Throws:
org.antlr.runtime.RecognitionException

mTOK_IMPLIES

public final void mTOK_IMPLIES()
                        throws org.antlr.runtime.RecognitionException
Throws:
org.antlr.runtime.RecognitionException

mTOK_IFF

public final void mTOK_IFF()
                    throws org.antlr.runtime.RecognitionException
Throws:
org.antlr.runtime.RecognitionException

mTOK_OR

public final void mTOK_OR()
                   throws org.antlr.runtime.RecognitionException
Throws:
org.antlr.runtime.RecognitionException

mTOK_AND

public final void mTOK_AND()
                    throws org.antlr.runtime.RecognitionException
Throws:
org.antlr.runtime.RecognitionException

mTOK_XOR

public final void mTOK_XOR()
                    throws org.antlr.runtime.RecognitionException
Throws:
org.antlr.runtime.RecognitionException

mTOK_XNOR

public final void mTOK_XNOR()
                     throws org.antlr.runtime.RecognitionException
Throws:
org.antlr.runtime.RecognitionException

mTOK_NOT

public final void mTOK_NOT()
                    throws org.antlr.runtime.RecognitionException
Throws:
org.antlr.runtime.RecognitionException

mTOK_COMMA

public final void mTOK_COMMA()
                      throws org.antlr.runtime.RecognitionException
Throws:
org.antlr.runtime.RecognitionException

mTOK_COLON

public final void mTOK_COLON()
                      throws org.antlr.runtime.RecognitionException
Throws:
org.antlr.runtime.RecognitionException

mTOK_SEMI

public final void mTOK_SEMI()
                     throws org.antlr.runtime.RecognitionException
Throws:
org.antlr.runtime.RecognitionException

mTOK_CONCATENATION

public final void mTOK_CONCATENATION()
                              throws org.antlr.runtime.RecognitionException
Throws:
org.antlr.runtime.RecognitionException

mTOK_NUMBER_WORD

public final void mTOK_NUMBER_WORD()
                            throws org.antlr.runtime.RecognitionException
Throws:
org.antlr.runtime.RecognitionException

mTOK_NUMBER_FRAC

public final void mTOK_NUMBER_FRAC()
                            throws org.antlr.runtime.RecognitionException
Throws:
org.antlr.runtime.RecognitionException

mTOK_NUMBER

public final void mTOK_NUMBER()
                       throws org.antlr.runtime.RecognitionException
Throws:
org.antlr.runtime.RecognitionException

mTOK_ATOM

public final void mTOK_ATOM()
                     throws org.antlr.runtime.RecognitionException
Throws:
org.antlr.runtime.RecognitionException

mJTOK_WS

public final void mJTOK_WS()
                    throws org.antlr.runtime.RecognitionException
Throws:
org.antlr.runtime.RecognitionException

mJTOK_MULTI_COMMENT

public final void mJTOK_MULTI_COMMENT()
                               throws org.antlr.runtime.RecognitionException
Throws:
org.antlr.runtime.RecognitionException

mJTOK_LINE_COMMENT

public final void mJTOK_LINE_COMMENT()
                              throws org.antlr.runtime.RecognitionException
Throws:
org.antlr.runtime.RecognitionException

mTokens

public void mTokens()
             throws org.antlr.runtime.RecognitionException
Specified by:
mTokens in class org.antlr.runtime.Lexer
Throws:
org.antlr.runtime.RecognitionException