public class KeYLexer
extends org.antlr.runtime.Lexer
Modifier and Type | Class and Description |
---|---|
protected class |
KeYLexer.DFA26 |
(package private) class |
KeYLexer.SaveStruct |
Modifier and Type | Field and Description |
---|---|
static int |
ABSTRACT |
static int |
ADD |
static int |
ADDPROGVARS |
static int |
ADDRULES |
static int |
AND |
static int |
ANTECEDENTPOLARITY |
static int |
APPLY_UPDATE_ON_RIGID |
static int |
ASSIGN |
static int |
ASSUMES |
static int |
AT |
static int |
AVOID |
static int |
AXIOMS |
static int |
BACKSLASH |
static int |
BIGINT |
static int |
BOOTCLASSPATH |
static int |
CHAR_LITERAL |
static int |
CHOOSECONTRACT |
static int |
CLASSPATH |
static int |
CLOSEGOAL |
static int |
COLON |
static int |
COMMA |
static int |
CONTAINERTYPE |
static int |
CONTAINS_ASSIGNMENT |
static int |
CONTRACTS |
static int |
DEPENDINGON |
protected KeYLexer.DFA26 |
dfa26 |
(package private) static short[] |
DFA26_accept |
(package private) static java.lang.String |
DFA26_acceptS |
(package private) static short[] |
DFA26_eof |
(package private) static java.lang.String |
DFA26_eofS |
(package private) static short[] |
DFA26_eot |
(package private) static java.lang.String |
DFA26_eotS |
(package private) static char[] |
DFA26_max |
(package private) static java.lang.String |
DFA26_maxS |
(package private) static char[] |
DFA26_min |
(package private) static java.lang.String |
DFA26_minS |
(package private) static short[] |
DFA26_special |
(package private) static java.lang.String |
DFA26_specialS |
(package private) static short[][] |
DFA26_transition |
(package private) static java.lang.String[] |
DFA26_transitionS |
static int |
DIFFERENT |
static int |
DIFFERENTFIELDS |
static int |
DIGIT |
static int |
DIGIT_DISPATCH |
static int |
DISJOINTMODULONULL |
static int |
DISPLAYNAME |
static int |
DOT |
static int |
DOTRANGE |
static int |
DOUBLECOLON |
static int |
DROP_EFFECTLESS_ELEMENTARIES |
static int |
DROP_EFFECTLESS_STORES |
static int |
ELEMSORT |
static int |
ELSE |
static int |
EMPTYBRACKETS |
static int |
ENUM_CONST |
static int |
EOF |
static int |
EQUAL_UNIQUE |
static int |
EQUALS |
static int |
EQV |
static int |
EXISTS |
static int |
EXP |
static int |
EXTENDS |
static int |
FALSE |
static int |
FIELDTYPE |
static int |
FINAL |
static int |
FIND |
static int |
FORALL |
static int |
FORMULA |
static int |
FREELABELIN |
static int |
FUNCTIONS |
static int |
GENERIC |
static int |
GREATER |
static int |
GREATEREQUAL |
static int |
HASLABEL |
static int |
HASSORT |
static int |
HASSUBFORMULAS |
static int |
HELPTEXT |
static int |
HEURISTICS |
static int |
HEURISTICSDECL |
static int |
HEX |
static int |
HEX_LITERAL |
static int |
IDCHAR |
static int |
IDENT |
static int |
IF |
static int |
IFEX |
static int |
IMP |
static int |
IMPLICIT_IDENT |
static int |
IN_TYPE |
static int |
INCLUDE |
static int |
INCLUDELDTS |
static int |
INSEQUENTSTATE |
static int |
INSTANTIATE_GENERIC |
static int |
INVARIANTS |
static int |
IS_ABSTRACT_OR_INTERFACE |
static int |
ISARRAY |
static int |
ISARRAYLENGTH |
static int |
ISCONSTANT |
static int |
ISENUMTYPE |
static int |
ISINDUCTVAR |
static int |
ISLOCALVARIABLE |
static int |
ISOBSERVER |
static int |
ISREFERENCE |
static int |
ISREFERENCEARRAY |
static int |
ISSTATICFIELD |
static int |
ISSUBTYPE |
static int |
ISTHISREFERENCE |
static int |
JAVABLOCK |
static int |
JAVASOURCE |
static int |
KEYSETTINGS |
static int |
LBRACE |
static int |
LBRACKET |
static int |
LEMMA |
static int |
LESS |
static int |
LESS_DISPATCH |
static int |
LESSEQUAL |
static int |
LETTER |
static int |
LGUILLEMETS |
static int |
LOCSET |
static int |
LPAREN |
static int |
METADISJOINT |
static int |
MINUS |
static int |
ML_COMMENT |
static int |
MODALITY |
private java.lang.String |
modalityBegin |
private java.lang.String |
modalityEnd |
static int |
MODALITYEND |
static int |
MODALOPERATOR |
static int |
MODIFIES |
private static java.util.HashMap<java.lang.String,java.lang.String> |
modNames |
private static java.util.HashMap<java.lang.String,java.lang.String> |
modPairs |
static int |
NEW |
static int |
NEWLABEL |
static int |
NODEFAULTCLASSES |
static int |
NONINTERACTIVE |
static int |
NOT |
static int |
NOT_ |
static int |
NOT_EQUALS |
static int |
NOTFREEIN |
static int |
NUM_LITERAL |
static int |
ONEOF |
static int |
OPTIONSDECL |
static int |
OR |
static int |
PARALLEL |
static int |
PERCENT |
static int |
PLUS |
static int |
PREDICATES |
static int |
PRIMES |
static int |
PRIMES_OR_CHARLITERAL |
static int |
PROBLEM |
static int |
PROFILE |
static int |
PROGRAM |
static int |
PROGRAMVARIABLES |
static int |
PROOF |
static int |
PROOFOBLIGATION |
static int |
PROOFSCRIPT |
static int |
PROXY |
static int |
QUOTED_STRING_LITERAL |
static int |
RBRACE |
static int |
RBRACKET |
static int |
REPLACEWITH |
static int |
RGUILLEMETS |
static int |
RPAREN |
static int |
RULES |
static int |
SAME |
static int |
SAMEUPDATELEVEL |
static int |
SCHEMAVAR |
static int |
SCHEMAVARIABLES |
protected java.util.Stack<KeYLexer.SaveStruct> |
selector |
static int |
SEMI |
static int |
SEQ |
static int |
SEQARROW |
static int |
SIMPLIFY_IF_THEN_ELSE_UPDATE |
static int |
SKOLEMFORMULA |
static int |
SKOLEMTERM |
static int |
SL_COMMENT |
static int |
SLASH |
static int |
SORTS |
static int |
STAR |
static int |
STATIC |
static int |
STATICMETHODREFERENCE |
static int |
STRICT |
static int |
STRING_LITERAL |
static int |
SUBST |
static int |
SUCCEDENTPOLARITY |
static int |
TERM |
static int |
TERMLABEL |
static int |
THEN |
static int |
TILDE |
static int |
TRANSFORMERS |
static int |
TRIGGER |
static int |
TRUE |
static int |
TYPEOF |
static int |
UNIQUE |
static int |
UPDATE |
static int |
UTF_EMPTY |
static int |
UTF_IN |
static int |
UTF_INTERSECT |
static int |
UTF_PRECEDES |
static int |
UTF_SETMINUS |
static int |
UTF_SUBSET |
static int |
UTF_UNION |
static int |
VARCOND |
static int |
VARIABLE |
static int |
VARIABLES |
static int |
VOCAB |
static int |
WITHOPTIONS |
static int |
WS |
Constructor and Description |
---|
KeYLexer() |
KeYLexer(org.antlr.runtime.CharStream input) |
KeYLexer(org.antlr.runtime.CharStream input,
org.antlr.runtime.RecognizerSharedState state) |
emit, emit, getCharErrorDisplay, getCharIndex, getCharPositionInLine, getCharStream, getEOFToken, getErrorMessage, getLine, getSourceName, getText, match, match, matchAny, matchRange, recover, reportError, reset, setCharStream, setText, skip, traceIn, traceOut
alreadyParsedRule, beginResync, combineFollows, computeContextSensitiveRuleFOLLOW, computeErrorRecoverySet, consumeUntil, consumeUntil, displayRecognitionError, emitErrorMessage, endResync, failed, getBacktrackingLevel, getCurrentInputSymbol, getErrorHeader, getMissingSymbol, getNumberOfSyntaxErrors, getRuleInvocationStack, getRuleInvocationStack, getRuleMemoization, getRuleMemoizationCacheSize, getTokenErrorDisplay, getTokenNames, match, matchAny, memoize, mismatchIsMissingToken, mismatchIsUnwantedToken, pushFollow, recover, recoverFromMismatchedSet, recoverFromMismatchedToken, setBacktrackingLevel, toStrings, traceIn, traceOut
public static final int EOF
public static final int ABSTRACT
public static final int ADD
public static final int ADDPROGVARS
public static final int ADDRULES
public static final int AND
public static final int ANTECEDENTPOLARITY
public static final int APPLY_UPDATE_ON_RIGID
public static final int ASSIGN
public static final int ASSUMES
public static final int AT
public static final int AVOID
public static final int AXIOMS
public static final int BACKSLASH
public static final int BIGINT
public static final int BOOTCLASSPATH
public static final int CHAR_LITERAL
public static final int CHOOSECONTRACT
public static final int CLASSPATH
public static final int CLOSEGOAL
public static final int COLON
public static final int COMMA
public static final int CONTAINERTYPE
public static final int CONTAINS_ASSIGNMENT
public static final int CONTRACTS
public static final int DEPENDINGON
public static final int DIFFERENT
public static final int DIFFERENTFIELDS
public static final int DIGIT
public static final int DIGIT_DISPATCH
public static final int DISJOINTMODULONULL
public static final int DISPLAYNAME
public static final int DOT
public static final int DOTRANGE
public static final int DOUBLECOLON
public static final int DROP_EFFECTLESS_ELEMENTARIES
public static final int DROP_EFFECTLESS_STORES
public static final int ELEMSORT
public static final int ELSE
public static final int EMPTYBRACKETS
public static final int ENUM_CONST
public static final int EQUALS
public static final int EQUAL_UNIQUE
public static final int EQV
public static final int EXISTS
public static final int EXP
public static final int EXTENDS
public static final int FALSE
public static final int FIELDTYPE
public static final int FINAL
public static final int FIND
public static final int FORALL
public static final int FORMULA
public static final int FREELABELIN
public static final int FUNCTIONS
public static final int GENERIC
public static final int GREATER
public static final int GREATEREQUAL
public static final int HASLABEL
public static final int HASSORT
public static final int HASSUBFORMULAS
public static final int HELPTEXT
public static final int HEURISTICS
public static final int HEURISTICSDECL
public static final int HEX
public static final int HEX_LITERAL
public static final int IDCHAR
public static final int IDENT
public static final int IF
public static final int IFEX
public static final int IMP
public static final int IMPLICIT_IDENT
public static final int INCLUDE
public static final int INCLUDELDTS
public static final int INSEQUENTSTATE
public static final int INSTANTIATE_GENERIC
public static final int INVARIANTS
public static final int IN_TYPE
public static final int ISARRAY
public static final int ISARRAYLENGTH
public static final int ISCONSTANT
public static final int ISENUMTYPE
public static final int ISINDUCTVAR
public static final int ISLOCALVARIABLE
public static final int ISOBSERVER
public static final int ISREFERENCE
public static final int ISREFERENCEARRAY
public static final int ISSTATICFIELD
public static final int ISSUBTYPE
public static final int ISTHISREFERENCE
public static final int IS_ABSTRACT_OR_INTERFACE
public static final int JAVABLOCK
public static final int JAVASOURCE
public static final int KEYSETTINGS
public static final int LBRACE
public static final int LBRACKET
public static final int LEMMA
public static final int LESS
public static final int LESSEQUAL
public static final int LESS_DISPATCH
public static final int LETTER
public static final int LGUILLEMETS
public static final int LOCSET
public static final int LPAREN
public static final int METADISJOINT
public static final int MINUS
public static final int ML_COMMENT
public static final int MODALITY
public static final int MODALITYEND
public static final int MODALOPERATOR
public static final int MODIFIES
public static final int NEW
public static final int NEWLABEL
public static final int NODEFAULTCLASSES
public static final int NONINTERACTIVE
public static final int NOT
public static final int NOTFREEIN
public static final int NOT_
public static final int NOT_EQUALS
public static final int NUM_LITERAL
public static final int ONEOF
public static final int OPTIONSDECL
public static final int OR
public static final int PARALLEL
public static final int PERCENT
public static final int PLUS
public static final int PREDICATES
public static final int PRIMES
public static final int PRIMES_OR_CHARLITERAL
public static final int PROBLEM
public static final int PROFILE
public static final int PROGRAM
public static final int PROGRAMVARIABLES
public static final int PROOF
public static final int PROOFOBLIGATION
public static final int PROOFSCRIPT
public static final int PROXY
public static final int QUOTED_STRING_LITERAL
public static final int RBRACE
public static final int RBRACKET
public static final int REPLACEWITH
public static final int RGUILLEMETS
public static final int RPAREN
public static final int RULES
public static final int SAME
public static final int SAMEUPDATELEVEL
public static final int SCHEMAVAR
public static final int SCHEMAVARIABLES
public static final int SEMI
public static final int SEQ
public static final int SEQARROW
public static final int SIMPLIFY_IF_THEN_ELSE_UPDATE
public static final int SKOLEMFORMULA
public static final int SKOLEMTERM
public static final int SLASH
public static final int SL_COMMENT
public static final int SORTS
public static final int STAR
public static final int STATIC
public static final int STATICMETHODREFERENCE
public static final int STRICT
public static final int STRING_LITERAL
public static final int SUBST
public static final int SUCCEDENTPOLARITY
public static final int TERM
public static final int TERMLABEL
public static final int THEN
public static final int TILDE
public static final int TRANSFORMERS
public static final int TRIGGER
public static final int TRUE
public static final int TYPEOF
public static final int UNIQUE
public static final int UPDATE
public static final int UTF_EMPTY
public static final int UTF_IN
public static final int UTF_INTERSECT
public static final int UTF_PRECEDES
public static final int UTF_SETMINUS
public static final int UTF_SUBSET
public static final int UTF_UNION
public static final int VARCOND
public static final int VARIABLE
public static final int VARIABLES
public static final int VOCAB
public static final int WITHOPTIONS
public static final int WS
protected java.util.Stack<KeYLexer.SaveStruct> selector
private java.lang.String modalityBegin
private java.lang.String modalityEnd
private static java.util.HashMap<java.lang.String,java.lang.String> modNames
private static java.util.HashMap<java.lang.String,java.lang.String> modPairs
protected KeYLexer.DFA26 dfa26
static final java.lang.String DFA26_eotS
static final java.lang.String DFA26_eofS
static final java.lang.String DFA26_minS
static final java.lang.String DFA26_maxS
static final java.lang.String DFA26_acceptS
static final java.lang.String DFA26_specialS
static final java.lang.String[] DFA26_transitionS
static final short[] DFA26_eot
static final short[] DFA26_eof
static final char[] DFA26_min
static final char[] DFA26_max
static final short[] DFA26_accept
static final short[] DFA26_special
static final short[][] DFA26_transition
public KeYLexer()
public KeYLexer(org.antlr.runtime.CharStream input)
public KeYLexer(org.antlr.runtime.CharStream input, org.antlr.runtime.RecognizerSharedState state)
public java.util.Stack<KeYLexer.SaveStruct> getSelector()
public org.antlr.runtime.Token nextToken()
nextToken
in interface org.antlr.runtime.TokenSource
nextToken
in class org.antlr.runtime.Lexer
public void recover(org.antlr.runtime.RecognitionException ex, org.antlr.runtime.BitSet tokenSet) throws antlr.CharStreamException
antlr.CharStreamException
private void matchAndTransformModality(int beginIndex) throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public org.antlr.runtime.Lexer[] getDelegates()
public java.lang.String getGrammarFileName()
getGrammarFileName
in class org.antlr.runtime.BaseRecognizer
public final void mSORTS() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mGENERIC() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mPROXY() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mEXTENDS() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mONEOF() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mABSTRACT() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mSCHEMAVARIABLES() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mSCHEMAVAR() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mMODALOPERATOR() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mPROGRAM() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mFORMULA() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mTERM() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mUPDATE() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mVARIABLES() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mVARIABLE() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mSKOLEMTERM() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mSKOLEMFORMULA() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mTERMLABEL() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mMODIFIES() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mPROGRAMVARIABLES() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mVARCOND() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mAPPLY_UPDATE_ON_RIGID() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mDEPENDINGON() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mDISJOINTMODULONULL() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mDROP_EFFECTLESS_ELEMENTARIES() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mDROP_EFFECTLESS_STORES() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mSIMPLIFY_IF_THEN_ELSE_UPDATE() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mENUM_CONST() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mFREELABELIN() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mHASSORT() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mFIELDTYPE() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mFINAL() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mELEMSORT() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mHASLABEL() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mHASSUBFORMULAS() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mISARRAY() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mISARRAYLENGTH() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mISCONSTANT() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mISENUMTYPE() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mISINDUCTVAR() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mISLOCALVARIABLE() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mISOBSERVER() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mDIFFERENT() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mMETADISJOINT() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mISTHISREFERENCE() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mDIFFERENTFIELDS() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mISREFERENCE() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mISREFERENCEARRAY() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mISSTATICFIELD() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mISSUBTYPE() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mEQUAL_UNIQUE() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mNEW() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mNEWLABEL() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mCONTAINS_ASSIGNMENT() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mNOT_() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mNOTFREEIN() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mSAME() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mSTATIC() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mSTATICMETHODREFERENCE() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mSTRICT() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mTYPEOF() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mINSTANTIATE_GENERIC() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mFORALL() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mEXISTS() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mSUBST() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mIF() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mIFEX() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mTHEN() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mELSE() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mINCLUDE() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mINCLUDELDTS() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mCLASSPATH() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mBOOTCLASSPATH() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mNODEFAULTCLASSES() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mJAVASOURCE() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mWITHOPTIONS() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mOPTIONSDECL() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mKEYSETTINGS() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mPROFILE() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mTRUE() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mFALSE() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mSAMEUPDATELEVEL() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mINSEQUENTSTATE() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mANTECEDENTPOLARITY() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mSUCCEDENTPOLARITY() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mCLOSEGOAL() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mHEURISTICSDECL() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mNONINTERACTIVE() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mDISPLAYNAME() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mHELPTEXT() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mREPLACEWITH() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mADDRULES() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mADDPROGVARS() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mHEURISTICS() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mFIND() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mADD() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mASSUMES() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mTRIGGER() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mAVOID() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mPREDICATES() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mFUNCTIONS() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mTRANSFORMERS() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mUNIQUE() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mRULES() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mAXIOMS() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mPROBLEM() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mCHOOSECONTRACT() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mPROOFOBLIGATION() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mPROOF() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mPROOFSCRIPT() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mCONTRACTS() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mINVARIANTS() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mLEMMA() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mIN_TYPE() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mIS_ABSTRACT_OR_INTERFACE() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mCONTAINERTYPE() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mLOCSET() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mSEQ() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mBIGINT() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mUTF_PRECEDES() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mUTF_IN() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mUTF_EMPTY() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mUTF_UNION() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mUTF_INTERSECT() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mUTF_SUBSET() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mUTF_SETMINUS() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mVOCAB() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mSEMI() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mSLASH() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mBACKSLASH() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mCOLON() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mDOUBLECOLON() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mASSIGN() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mDOT() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mDOTRANGE() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mCOMMA() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mLPAREN() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mRPAREN() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mLBRACE() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mRBRACE() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mLBRACKET() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mRBRACKET() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mEMPTYBRACKETS() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mAT() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mPARALLEL() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mOR() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mAND() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mNOT() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mIMP() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mEQUALS() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mNOT_EQUALS() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mSEQARROW() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mEXP() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mTILDE() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mPERCENT() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mSTAR() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mMINUS() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mPLUS() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mGREATER() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mGREATEREQUAL() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mRGUILLEMETS() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mWS() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mSTRING_LITERAL() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mLESS_DISPATCH() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mLESS() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mLESSEQUAL() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mLGUILLEMETS() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mIMPLICIT_IDENT() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mEQV() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mPRIMES_OR_CHARLITERAL() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mPRIMES() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mCHAR_LITERAL() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mQUOTED_STRING_LITERAL() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mSL_COMMENT() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mML_COMMENT() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mDIGIT_DISPATCH() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mHEX_LITERAL() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mDIGIT() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mHEX() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mLETTER() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mIDCHAR() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mIDENT() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mNUM_LITERAL() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mMODALITY() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mMODALITYEND() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void mJAVABLOCK() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public void mTokens() throws org.antlr.runtime.RecognitionException
mTokens
in class org.antlr.runtime.Lexer
org.antlr.runtime.RecognitionException
public final void synpred1_KeYLexer_fragment() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void synpred2_KeYLexer_fragment() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void synpred3_KeYLexer_fragment() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void synpred4_KeYLexer_fragment() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void synpred5_KeYLexer_fragment() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void synpred6_KeYLexer_fragment() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void synpred7_KeYLexer_fragment() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void synpred8_KeYLexer_fragment() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final void synpred9_KeYLexer_fragment() throws org.antlr.runtime.RecognitionException
org.antlr.runtime.RecognitionException
public final boolean synpred1_KeYLexer()
public final boolean synpred4_KeYLexer()
public final boolean synpred7_KeYLexer()
public final boolean synpred3_KeYLexer()
public final boolean synpred5_KeYLexer()
public final boolean synpred6_KeYLexer()
public final boolean synpred8_KeYLexer()
public final boolean synpred9_KeYLexer()
public final boolean synpred2_KeYLexer()