edu.wis.jtlv.env.core.spec
Class SPCLexer
java.lang.Object
org.antlr.runtime.BaseRecognizer
org.antlr.runtime.Lexer
edu.wis.jtlv.env.core.spec.SPCLexer
- All Implemented Interfaces:
- org.antlr.runtime.TokenSource
public class SPCLexer
- 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 |
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
SPCLexer
public SPCLexer()
SPCLexer
public SPCLexer(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_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