edu.wis.jtlv.env.core.smv
Class SMVLexer

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

public class SMVLexer
extends org.antlr.runtime.Lexer


Field Summary
static int ARRAY_INDEX_T
           
static int ASSIGN_DECL_T
           
static int ASYNC_PROCESS_T
           
static int BIT_SELECT_T
           
static int BLOCK_T
           
static int CASE_ELEMENT_EXPR_T
           
static int CASE_LIST_EXPR_T
           
static int COMPASSION_DECL_T
           
static int DEFINE_DECL_T
           
static int EOF
           
static int INIT_ASSIGN_DECL_T
           
static int IVAR_DECL_T
           
static int JTOK_LINE_COMMENT
           
static int JTOK_MULTI_COMMENT
           
static int JTOK_WS
           
static int JUSTICE_DECL_T
           
static int MODULE_SIGN_T
           
static int NEXT_ASSIGN_DECL_T
           
static int NOP
           
static int PROGRAM_T
           
static int PURE_CTL_T
           
static int PURE_LTL_T
           
static int REF_LIST_T
           
static int REF_T
           
static int SET_LIST_EXP_T
           
static int SUBRANGE_T
           
static int SYNC_PROCESS_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_ARRAY
           
static int TOK_ASSIGN
           
static int TOK_ATOM
           
static int TOK_AVOIDDEADLOCK
           
static int TOK_AVOIDTARGET
           
static int TOK_AX
           
static int TOK_BOOL
           
static int TOK_BOOLEAN
           
static int TOK_BUCHIGAME
           
static int TOK_BUNTIL
           
static int TOK_CASE
           
static int TOK_COLON
           
static int TOK_COMMA
           
static int TOK_COMPASSION
           
static int TOK_COMPUTE
           
static int TOK_COMPWFF
           
static int TOK_CONCATENATION
           
static int TOK_CONSTANTS
           
static int TOK_CONSTRAINT
           
static int TOK_CTLSPEC
           
static int TOK_CTLWFF
           
static int TOK_DEFINE
           
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_EQDEF
           
static int TOK_EQUAL
           
static int TOK_ESAC
           
static int TOK_EX
           
static int TOK_FAIRNESS
           
static int TOK_FALSEEXP
           
static int TOK_GAME
           
static int TOK_GE
           
static int TOK_GENREACTIVITY
           
static int TOK_GOTO
           
static int TOK_GT
           
static int TOK_IFF
           
static int TOK_IMPLIES
           
static int TOK_INCONTEXT
           
static int TOK_INIT
           
static int TOK_INTEGER
           
static int TOK_INVAR
           
static int TOK_INVARSPEC
           
static int TOK_ISA
           
static int TOK_IVAR
           
static int TOK_JUSTICE
           
static int TOK_LB
           
static int TOK_LCB
           
static int TOK_LE
           
static int TOK_LP
           
static int TOK_LROTATE
           
static int TOK_LSHIFT
           
static int TOK_LT
           
static int TOK_LTLSPEC
           
static int TOK_LTLWFF
           
static int TOK_MINUS
           
static int TOK_MIRROR
           
static int TOK_MMAX
           
static int TOK_MMIN
           
static int TOK_MOD
           
static int TOK_MODULE
           
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_OF
           
static int TOK_OP_FUTURE
           
static int TOK_OP_GLOBAL
           
static int TOK_OP_HISTORICAL
           
static int TOK_OP_NEXT
           
static int TOK_OP_NOTPRECNOT
           
static int TOK_OP_ONCE
           
static int TOK_OP_PREC
           
static int TOK_OR
           
static int TOK_PLAYER_1
           
static int TOK_PLAYER_2
           
static int TOK_PLUS
           
static int TOK_PRED
           
static int TOK_PREDSLIST
           
static int TOK_PROCESS
           
static int TOK_PSLSPEC
           
static int TOK_RB
           
static int TOK_RCB
           
static int TOK_REACHDEADLOCK
           
static int TOK_REACHTARGET
           
static int TOK_REAL
           
static int TOK_RELEASES
           
static int TOK_RP
           
static int TOK_RROTATE
           
static int TOK_RSHIFT
           
static int TOK_SELF
           
static int TOK_SEMI
           
static int TOK_SETIN
           
static int TOK_SIMPWFF
           
static int TOK_SINCE
           
static int TOK_SMALLINIT
           
static int TOK_SPEC
           
static int TOK_TIMES
           
static int TOK_TRANS
           
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_VAR
           
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 TYPE_VALUE_LIST_T
           
static int VALUE_LIST_T
           
static int VALUE_T
           
static int VAR_DECL_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
SMVLexer()
           
SMVLexer(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_ARRAY()
           
 void mTOK_ASSIGN()
           
 void mTOK_ATOM()
           
 void mTOK_AVOIDDEADLOCK()
           
 void mTOK_AVOIDTARGET()
           
 void mTOK_AX()
           
 void mTOK_BOOL()
           
 void mTOK_BOOLEAN()
           
 void mTOK_BUCHIGAME()
           
 void mTOK_BUNTIL()
           
 void mTOK_CASE()
           
 void mTOK_COLON()
           
 void mTOK_COMMA()
           
 void mTOK_COMPASSION()
           
 void mTOK_COMPUTE()
           
 void mTOK_COMPWFF()
           
 void mTOK_CONCATENATION()
           
 void mTOK_CONSTANTS()
           
 void mTOK_CONSTRAINT()
           
 void mTOK_CTLSPEC()
           
 void mTOK_CTLWFF()
           
 void mTOK_DEFINE()
           
 void mTOK_DIVIDE()
           
 void mTOK_DOT()
           
 void mTOK_EBF()
           
 void mTOK_EBG()
           
 void mTOK_EE()
           
 void mTOK_EF()
           
 void mTOK_EG()
           
 void mTOK_EQDEF()
           
 void mTOK_EQUAL()
           
 void mTOK_ESAC()
           
 void mTOK_EX()
           
 void mTOK_FAIRNESS()
           
 void mTOK_FALSEEXP()
           
 void mTOK_GAME()
           
 void mTOK_GE()
           
 void mTOK_GENREACTIVITY()
           
 void mTOK_GOTO()
           
 void mTOK_GT()
           
 void mTOK_IFF()
           
 void mTOK_IMPLIES()
           
 void mTOK_INCONTEXT()
           
 void mTOK_INIT()
           
 void mTOK_INTEGER()
           
 void mTOK_INVAR()
           
 void mTOK_INVARSPEC()
           
 void mTOK_ISA()
           
 void mTOK_IVAR()
           
 void mTOK_JUSTICE()
           
 void mTOK_LB()
           
 void mTOK_LCB()
           
 void mTOK_LE()
           
 void mTOK_LP()
           
 void mTOK_LROTATE()
           
 void mTOK_LSHIFT()
           
 void mTOK_LT()
           
 void mTOK_LTLSPEC()
           
 void mTOK_LTLWFF()
           
 void mTOK_MINUS()
           
 void mTOK_MIRROR()
           
 void mTOK_MMAX()
           
 void mTOK_MMIN()
           
 void mTOK_MOD()
           
 void mTOK_MODULE()
           
 void mTOK_NEXT()
           
 void mTOK_NOT()
           
 void mTOK_NOTEQUAL()
           
 void mTOK_NUMBER_FRAC()
           
 void mTOK_NUMBER_WORD()
           
 void mTOK_NUMBER()
           
 void mTOK_OF()
           
 void mTOK_OP_FUTURE()
           
 void mTOK_OP_GLOBAL()
           
 void mTOK_OP_HISTORICAL()
           
 void mTOK_OP_NEXT()
           
 void mTOK_OP_NOTPRECNOT()
           
 void mTOK_OP_ONCE()
           
 void mTOK_OP_PREC()
           
 void mTOK_OR()
           
 void mTOK_PLAYER_1()
           
 void mTOK_PLAYER_2()
           
 void mTOK_PLUS()
           
 void mTOK_PRED()
           
 void mTOK_PREDSLIST()
           
 void mTOK_PROCESS()
           
 void mTOK_PSLSPEC()
           
 void mTOK_RB()
           
 void mTOK_RCB()
           
 void mTOK_REACHDEADLOCK()
           
 void mTOK_REACHTARGET()
           
 void mTOK_REAL()
           
 void mTOK_RELEASES()
           
 void mTOK_RP()
           
 void mTOK_RROTATE()
           
 void mTOK_RSHIFT()
           
 void mTOK_SELF()
           
 void mTOK_SEMI()
           
 void mTOK_SETIN()
           
 void mTOK_SIMPWFF()
           
 void mTOK_SINCE()
           
 void mTOK_SMALLINIT()
           
 void mTOK_SPEC()
           
 void mTOK_TIMES()
           
 void mTOK_TRANS()
           
 void mTOK_TRIGGERED()
           
 void mTOK_TRUEEXP()
           
 void mTOK_TWODOTS()
           
 void mTOK_UNION()
           
 void mTOK_UNTIL()
           
 void mTOK_VAR()
           
 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

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
Constructor Detail

SMVLexer

public SMVLexer()

SMVLexer

public SMVLexer(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_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