edu.wis.jtlv.env.core.smv
Class SMVLexer
java.lang.Object
org.antlr.runtime.BaseRecognizer
org.antlr.runtime.Lexer
edu.wis.jtlv.env.core.smv.SMVLexer
- All Implemented Interfaces:
- org.antlr.runtime.TokenSource
public class SMVLexer
- extends org.antlr.runtime.Lexer
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 |
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 |
TOK_MIRROR
public static final int TOK_MIRROR
- See Also:
- Constant Field Values
TOK_AVOIDTARGET
public static final int TOK_AVOIDTARGET
- See Also:
- Constant Field Values
TOK_GOTO
public static final int TOK_GOTO
- See Also:
- Constant Field Values
TOK_OP_NOTPRECNOT
public static final int TOK_OP_NOTPRECNOT
- See Also:
- Constant Field Values
TOK_GENREACTIVITY
public static final int TOK_GENREACTIVITY
- See Also:
- Constant Field Values
TOK_MMIN
public static final int TOK_MMIN
- 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
TOK_CONSTRAINT
public static final int TOK_CONSTRAINT
- See Also:
- Constant Field Values
VALUE_LIST_T
public static final int VALUE_LIST_T
- See Also:
- Constant Field Values
EOF
public static final int EOF
- See Also:
- Constant Field Values
TOK_LTLSPEC
public static final int TOK_LTLSPEC
- 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
TOK_CTLWFF
public static final int TOK_CTLWFF
- See Also:
- Constant Field Values
TOK_ISA
public static final int TOK_ISA
- 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
INIT_ASSIGN_DECL_T
public static final int INIT_ASSIGN_DECL_T
- See Also:
- Constant Field Values
SYNC_PROCESS_T
public static final int SYNC_PROCESS_T
- See Also:
- Constant Field Values
TOK_TIMES
public static final int TOK_TIMES
- See Also:
- Constant Field Values
TOK_EG
public static final int TOK_EG
- 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_TRIGGERED
public static final int TOK_TRIGGERED
- 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_ASSIGN
public static final int TOK_ASSIGN
- See Also:
- Constant Field Values
TOK_SIMPWFF
public static final int TOK_SIMPWFF
- See Also:
- Constant Field Values
TOK_IFF
public static final int TOK_IFF
- See Also:
- Constant Field Values
TOK_EE
public static final int TOK_EE
- See Also:
- Constant Field Values
TOK_SMALLINIT
public static final int TOK_SMALLINIT
- See Also:
- Constant Field Values
TOK_RELEASES
public static final int TOK_RELEASES
- See Also:
- Constant Field Values
JUSTICE_DECL_T
public static final int JUSTICE_DECL_T
- See Also:
- Constant Field Values
TOK_UNARY_MINUS_T
public static final int TOK_UNARY_MINUS_T
- See Also:
- Constant Field Values
TOK_OP_GLOBAL
public static final int TOK_OP_GLOBAL
- See Also:
- Constant Field Values
TOK_COMPWFF
public static final int TOK_COMPWFF
- See Also:
- Constant Field Values
DEFINE_DECL_T
public static final int DEFINE_DECL_T
- See Also:
- Constant Field Values
TOK_LTLWFF
public static final int TOK_LTLWFF
- 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
IVAR_DECL_T
public static final int IVAR_DECL_T
- See Also:
- Constant Field Values
TOK_CTLSPEC
public static final int TOK_CTLSPEC
- 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_INVAR
public static final int TOK_INVAR
- See Also:
- Constant Field Values
TOK_AVOIDDEADLOCK
public static final int TOK_AVOIDDEADLOCK
- See Also:
- Constant Field Values
TOK_REAL
public static final int TOK_REAL
- See Also:
- Constant Field Values
TOK_PSLSPEC
public static final int TOK_PSLSPEC
- 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
REF_T
public static final int REF_T
- See Also:
- Constant Field Values
PROGRAM_T
public static final int PROGRAM_T
- 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_LROTATE
public static final int TOK_LROTATE
- See Also:
- Constant Field Values
TOK_REACHTARGET
public static final int TOK_REACHTARGET
- See Also:
- Constant Field Values
TOK_CONSTANTS
public static final int TOK_CONSTANTS
- See Also:
- Constant Field Values
TOK_GT
public static final int TOK_GT
- See Also:
- Constant Field Values
TOK_DEFINE
public static final int TOK_DEFINE
- See Also:
- Constant Field Values
TOK_OF
public static final int TOK_OF
- See Also:
- Constant Field Values
TOK_PLUS
public static final int TOK_PLUS
- See Also:
- Constant Field Values
TOK_REACHDEADLOCK
public static final int TOK_REACHDEADLOCK
- 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_SPEC
public static final int TOK_SPEC
- 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
TOK_BUCHIGAME
public static final int TOK_BUCHIGAME
- 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
COMPASSION_DECL_T
public static final int COMPASSION_DECL_T
- See Also:
- Constant Field Values
TOK_OR
public static final int TOK_OR
- See Also:
- Constant Field Values
MODULE_SIGN_T
public static final int MODULE_SIGN_T
- See Also:
- Constant Field Values
NEXT_ASSIGN_DECL_T
public static final int NEXT_ASSIGN_DECL_T
- See Also:
- Constant Field Values
TOK_RCB
public static final int TOK_RCB
- See Also:
- Constant Field Values
TOK_INCONTEXT
public static final int TOK_INCONTEXT
- See Also:
- Constant Field Values
TOK_RP
public static final int TOK_RP
- See Also:
- Constant Field Values
TOK_MMAX
public static final int TOK_MMAX
- 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_MODULE
public static final int TOK_MODULE
- 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_AF
public static final int TOK_AF
- See Also:
- Constant Field Values
TOK_WAREAD
public static final int TOK_WAREAD
- See Also:
- Constant Field Values
TOK_PREDSLIST
public static final int TOK_PREDSLIST
- 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_TRANS
public static final int TOK_TRANS
- 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_INTEGER
public static final int TOK_INTEGER
- 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_INIT
public static final int TOK_INIT
- See Also:
- Constant Field Values
TOK_COLON
public static final int TOK_COLON
- 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_SELF
public static final int TOK_SELF
- See Also:
- Constant Field Values
TOK_OP_FUTURE
public static final int TOK_OP_FUTURE
- See Also:
- Constant Field Values
TOK_BUNTIL
public static final int TOK_BUNTIL
- See Also:
- Constant Field Values
TOK_MOD
public static final int TOK_MOD
- See Also:
- Constant Field Values
TOK_OP_PREC
public static final int TOK_OP_PREC
- 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_PLAYER_2
public static final int TOK_PLAYER_2
- See Also:
- Constant Field Values
TOK_UNTIL
public static final int TOK_UNTIL
- See Also:
- Constant Field Values
REF_LIST_T
public static final int REF_LIST_T
- See Also:
- Constant Field Values
TOK_PLAYER_1
public static final int TOK_PLAYER_1
- See Also:
- Constant Field Values
TOK_COMPUTE
public static final int TOK_COMPUTE
- 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_PRED
public static final int TOK_PRED
- See Also:
- Constant Field Values
TOK_BOOL
public static final int TOK_BOOL
- See Also:
- Constant Field Values
TOK_IVAR
public static final int TOK_IVAR
- See Also:
- Constant Field Values
TOK_LT
public static final int TOK_LT
- See Also:
- Constant Field Values
ASYNC_PROCESS_T
public static final int ASYNC_PROCESS_T
- See Also:
- Constant Field Values
TOK_RROTATE
public static final int TOK_RROTATE
- See Also:
- Constant Field Values
CASE_LIST_EXPR_T
public static final int CASE_LIST_EXPR_T
- See Also:
- Constant Field Values
TOK_INVARSPEC
public static final int TOK_INVARSPEC
- See Also:
- Constant Field Values
VAR_DECL_T
public static final int VAR_DECL_T
- See Also:
- Constant Field Values
TOK_SETIN
public static final int TOK_SETIN
- 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_VAR
public static final int TOK_VAR
- See Also:
- Constant Field Values
Tokens
public static final int Tokens
- See Also:
- Constant Field Values
TOK_BOOLEAN
public static final int TOK_BOOLEAN
- See Also:
- Constant Field Values
TOK_ARRAY
public static final int TOK_ARRAY
- See Also:
- Constant Field Values
ASSIGN_DECL_T
public static final int ASSIGN_DECL_T
- 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_EQDEF
public static final int TOK_EQDEF
- See Also:
- Constant Field Values
TYPE_VALUE_LIST_T
public static final int TYPE_VALUE_LIST_T
- See Also:
- Constant Field Values
TOK_JUSTICE
public static final int TOK_JUSTICE
- See Also:
- Constant Field Values
TOK_ATOM
public static final int TOK_ATOM
- See Also:
- Constant Field Values
TOK_GAME
public static final int TOK_GAME
- See Also:
- Constant Field Values
TOK_PROCESS
public static final int TOK_PROCESS
- See Also:
- Constant Field Values
TOK_LSHIFT
public static final int TOK_LSHIFT
- See Also:
- Constant Field Values
TOK_OP_ONCE
public static final int TOK_OP_ONCE
- See Also:
- Constant Field Values
TOK_FAIRNESS
public static final int TOK_FAIRNESS
- See Also:
- Constant Field Values
TOK_MINUS
public static final int TOK_MINUS
- See Also:
- Constant Field Values
TOK_COMPASSION
public static final int TOK_COMPASSION
- See Also:
- Constant Field Values
TOK_OP_HISTORICAL
public static final int TOK_OP_HISTORICAL
- See Also:
- Constant Field Values
TOK_EQUAL
public static final int TOK_EQUAL
- See Also:
- Constant Field Values
SMVLexer
public SMVLexer()
SMVLexer
public SMVLexer(org.antlr.runtime.CharStream input)
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_MODULE
public final void mTOK_MODULE()
throws org.antlr.runtime.RecognitionException
- Throws:
org.antlr.runtime.RecognitionException
mTOK_PROCESS
public final void mTOK_PROCESS()
throws org.antlr.runtime.RecognitionException
- Throws:
org.antlr.runtime.RecognitionException
mTOK_DEFINE
public final void mTOK_DEFINE()
throws org.antlr.runtime.RecognitionException
- Throws:
org.antlr.runtime.RecognitionException
mTOK_VAR
public final void mTOK_VAR()
throws org.antlr.runtime.RecognitionException
- Throws:
org.antlr.runtime.RecognitionException
mTOK_IVAR
public final void mTOK_IVAR()
throws org.antlr.runtime.RecognitionException
- Throws:
org.antlr.runtime.RecognitionException
mTOK_INIT
public final void mTOK_INIT()
throws org.antlr.runtime.RecognitionException
- Throws:
org.antlr.runtime.RecognitionException
mTOK_TRANS
public final void mTOK_TRANS()
throws org.antlr.runtime.RecognitionException
- Throws:
org.antlr.runtime.RecognitionException
mTOK_INVAR
public final void mTOK_INVAR()
throws org.antlr.runtime.RecognitionException
- Throws:
org.antlr.runtime.RecognitionException
mTOK_SPEC
public final void mTOK_SPEC()
throws org.antlr.runtime.RecognitionException
- Throws:
org.antlr.runtime.RecognitionException
mTOK_CTLSPEC
public final void mTOK_CTLSPEC()
throws org.antlr.runtime.RecognitionException
- Throws:
org.antlr.runtime.RecognitionException
mTOK_LTLSPEC
public final void mTOK_LTLSPEC()
throws org.antlr.runtime.RecognitionException
- Throws:
org.antlr.runtime.RecognitionException
mTOK_PSLSPEC
public final void mTOK_PSLSPEC()
throws org.antlr.runtime.RecognitionException
- Throws:
org.antlr.runtime.RecognitionException
mTOK_COMPUTE
public final void mTOK_COMPUTE()
throws org.antlr.runtime.RecognitionException
- Throws:
org.antlr.runtime.RecognitionException
mTOK_INVARSPEC
public final void mTOK_INVARSPEC()
throws org.antlr.runtime.RecognitionException
- Throws:
org.antlr.runtime.RecognitionException
mTOK_CONSTRAINT
public final void mTOK_CONSTRAINT()
throws org.antlr.runtime.RecognitionException
- Throws:
org.antlr.runtime.RecognitionException
mTOK_CONSTANTS
public final void mTOK_CONSTANTS()
throws org.antlr.runtime.RecognitionException
- Throws:
org.antlr.runtime.RecognitionException
mTOK_SIMPWFF
public final void mTOK_SIMPWFF()
throws org.antlr.runtime.RecognitionException
- Throws:
org.antlr.runtime.RecognitionException
mTOK_CTLWFF
public final void mTOK_CTLWFF()
throws org.antlr.runtime.RecognitionException
- Throws:
org.antlr.runtime.RecognitionException
mTOK_LTLWFF
public final void mTOK_LTLWFF()
throws org.antlr.runtime.RecognitionException
- Throws:
org.antlr.runtime.RecognitionException
mTOK_COMPWFF
public final void mTOK_COMPWFF()
throws org.antlr.runtime.RecognitionException
- Throws:
org.antlr.runtime.RecognitionException
mTOK_INCONTEXT
public final void mTOK_INCONTEXT()
throws org.antlr.runtime.RecognitionException
- Throws:
org.antlr.runtime.RecognitionException
mTOK_FAIRNESS
public final void mTOK_FAIRNESS()
throws org.antlr.runtime.RecognitionException
- Throws:
org.antlr.runtime.RecognitionException
mTOK_JUSTICE
public final void mTOK_JUSTICE()
throws org.antlr.runtime.RecognitionException
- Throws:
org.antlr.runtime.RecognitionException
mTOK_COMPASSION
public final void mTOK_COMPASSION()
throws org.antlr.runtime.RecognitionException
- Throws:
org.antlr.runtime.RecognitionException
mTOK_ISA
public final void mTOK_ISA()
throws org.antlr.runtime.RecognitionException
- Throws:
org.antlr.runtime.RecognitionException
mTOK_ASSIGN
public final void mTOK_ASSIGN()
throws org.antlr.runtime.RecognitionException
- Throws:
org.antlr.runtime.RecognitionException
mTOK_GOTO
public final void mTOK_GOTO()
throws org.antlr.runtime.RecognitionException
- Throws:
org.antlr.runtime.RecognitionException
mTOK_GAME
public final void mTOK_GAME()
throws org.antlr.runtime.RecognitionException
- Throws:
org.antlr.runtime.RecognitionException
mTOK_PLAYER_1
public final void mTOK_PLAYER_1()
throws org.antlr.runtime.RecognitionException
- Throws:
org.antlr.runtime.RecognitionException
mTOK_PLAYER_2
public final void mTOK_PLAYER_2()
throws org.antlr.runtime.RecognitionException
- Throws:
org.antlr.runtime.RecognitionException
mTOK_REACHTARGET
public final void mTOK_REACHTARGET()
throws org.antlr.runtime.RecognitionException
- Throws:
org.antlr.runtime.RecognitionException
mTOK_AVOIDTARGET
public final void mTOK_AVOIDTARGET()
throws org.antlr.runtime.RecognitionException
- Throws:
org.antlr.runtime.RecognitionException
mTOK_REACHDEADLOCK
public final void mTOK_REACHDEADLOCK()
throws org.antlr.runtime.RecognitionException
- Throws:
org.antlr.runtime.RecognitionException
mTOK_AVOIDDEADLOCK
public final void mTOK_AVOIDDEADLOCK()
throws org.antlr.runtime.RecognitionException
- Throws:
org.antlr.runtime.RecognitionException
mTOK_BUCHIGAME
public final void mTOK_BUCHIGAME()
throws org.antlr.runtime.RecognitionException
- Throws:
org.antlr.runtime.RecognitionException
mTOK_GENREACTIVITY
public final void mTOK_GENREACTIVITY()
throws org.antlr.runtime.RecognitionException
- Throws:
org.antlr.runtime.RecognitionException
mTOK_ARRAY
public final void mTOK_ARRAY()
throws org.antlr.runtime.RecognitionException
- Throws:
org.antlr.runtime.RecognitionException
mTOK_OF
public final void mTOK_OF()
throws org.antlr.runtime.RecognitionException
- Throws:
org.antlr.runtime.RecognitionException
mTOK_BOOLEAN
public final void mTOK_BOOLEAN()
throws org.antlr.runtime.RecognitionException
- Throws:
org.antlr.runtime.RecognitionException
mTOK_INTEGER
public final void mTOK_INTEGER()
throws org.antlr.runtime.RecognitionException
- Throws:
org.antlr.runtime.RecognitionException
mTOK_REAL
public final void mTOK_REAL()
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_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_OP_FUTURE
public final void mTOK_OP_FUTURE()
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_GLOBAL
public final void mTOK_OP_GLOBAL()
throws org.antlr.runtime.RecognitionException
- Throws:
org.antlr.runtime.RecognitionException
mTOK_OP_HISTORICAL
public final void mTOK_OP_HISTORICAL()
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_PREC
public final void mTOK_OP_PREC()
throws org.antlr.runtime.RecognitionException
- Throws:
org.antlr.runtime.RecognitionException
mTOK_OP_NOTPRECNOT
public final void mTOK_OP_NOTPRECNOT()
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_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_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_MMIN
public final void mTOK_MMIN()
throws org.antlr.runtime.RecognitionException
- Throws:
org.antlr.runtime.RecognitionException
mTOK_MMAX
public final void mTOK_MMAX()
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_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_EQDEF
public final void mTOK_EQDEF()
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_LROTATE
public final void mTOK_LROTATE()
throws org.antlr.runtime.RecognitionException
- Throws:
org.antlr.runtime.RecognitionException
mTOK_RROTATE
public final void mTOK_RROTATE()
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_SMALLINIT
public final void mTOK_SMALLINIT()
throws org.antlr.runtime.RecognitionException
- Throws:
org.antlr.runtime.RecognitionException
mTOK_SELF
public final void mTOK_SELF()
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_PRED
public final void mTOK_PRED()
throws org.antlr.runtime.RecognitionException
- Throws:
org.antlr.runtime.RecognitionException
mTOK_PREDSLIST
public final void mTOK_PREDSLIST()
throws org.antlr.runtime.RecognitionException
- Throws:
org.antlr.runtime.RecognitionException
mTOK_MIRROR
public final void mTOK_MIRROR()
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