public class KeYLexer extends 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 String |
DFA26_acceptS |
(package private) static short[] |
DFA26_eof |
(package private) static String |
DFA26_eofS |
(package private) static short[] |
DFA26_eot |
(package private) static String |
DFA26_eotS |
(package private) static char[] |
DFA26_max |
(package private) static String |
DFA26_maxS |
(package private) static char[] |
DFA26_min |
(package private) static String |
DFA26_minS |
(package private) static short[] |
DFA26_special |
(package private) static String |
DFA26_specialS |
(package private) static short[][] |
DFA26_transition |
(package private) static 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 |
LIMITED |
static int |
LOCSET |
static int |
LPAREN |
static int |
METADISJOINT |
static int |
MINUS |
static int |
ML_COMMENT |
static int |
MODALITY |
private String |
modalityBegin |
private String |
modalityEnd |
static int |
MODALITYEND |
static int |
MODALOPERATOR |
static int |
MODIFIES |
private static HashMap<String,String> |
modNames |
private static HashMap<String,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 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 |
DEFAULT_TOKEN_CHANNEL, HIDDEN, INITIAL_FOLLOW_STACK_SIZE, MEMO_RULE_FAILED, MEMO_RULE_UNKNOWN, NEXT_TOKEN_RULE_NAME, state
Constructor and Description |
---|
KeYLexer() |
KeYLexer(CharStream input) |
KeYLexer(CharStream input,
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 LIMITED
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 Stack<KeYLexer.SaveStruct> selector
private String modalityBegin
private String modalityEnd
protected KeYLexer.DFA26 dfa26
static final String DFA26_eotS
static final String DFA26_eofS
static final String DFA26_minS
static final String DFA26_maxS
static final String DFA26_acceptS
static final String DFA26_specialS
static final 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(CharStream input)
public KeYLexer(CharStream input, RecognizerSharedState state)
public Stack<KeYLexer.SaveStruct> getSelector()
public Token nextToken()
nextToken
in interface TokenSource
nextToken
in class Lexer
public void recover(RecognitionException ex, BitSet tokenSet) throws CharStreamException
CharStreamException
private void matchAndTransformModality(int beginIndex) throws RecognitionException
RecognitionException
public Lexer[] getDelegates()
public String getGrammarFileName()
getGrammarFileName
in class BaseRecognizer
public final void mSORTS() throws RecognitionException
RecognitionException
public final void mGENERIC() throws RecognitionException
RecognitionException
public final void mPROXY() throws RecognitionException
RecognitionException
public final void mEXTENDS() throws RecognitionException
RecognitionException
public final void mONEOF() throws RecognitionException
RecognitionException
public final void mABSTRACT() throws RecognitionException
RecognitionException
public final void mSCHEMAVARIABLES() throws RecognitionException
RecognitionException
public final void mSCHEMAVAR() throws RecognitionException
RecognitionException
public final void mMODALOPERATOR() throws RecognitionException
RecognitionException
public final void mPROGRAM() throws RecognitionException
RecognitionException
public final void mFORMULA() throws RecognitionException
RecognitionException
public final void mTERM() throws RecognitionException
RecognitionException
public final void mUPDATE() throws RecognitionException
RecognitionException
public final void mVARIABLES() throws RecognitionException
RecognitionException
public final void mVARIABLE() throws RecognitionException
RecognitionException
public final void mSKOLEMTERM() throws RecognitionException
RecognitionException
public final void mSKOLEMFORMULA() throws RecognitionException
RecognitionException
public final void mTERMLABEL() throws RecognitionException
RecognitionException
public final void mMODIFIES() throws RecognitionException
RecognitionException
public final void mPROGRAMVARIABLES() throws RecognitionException
RecognitionException
public final void mVARCOND() throws RecognitionException
RecognitionException
public final void mAPPLY_UPDATE_ON_RIGID() throws RecognitionException
RecognitionException
public final void mDEPENDINGON() throws RecognitionException
RecognitionException
public final void mDISJOINTMODULONULL() throws RecognitionException
RecognitionException
public final void mDROP_EFFECTLESS_ELEMENTARIES() throws RecognitionException
RecognitionException
public final void mDROP_EFFECTLESS_STORES() throws RecognitionException
RecognitionException
public final void mSIMPLIFY_IF_THEN_ELSE_UPDATE() throws RecognitionException
RecognitionException
public final void mENUM_CONST() throws RecognitionException
RecognitionException
public final void mFREELABELIN() throws RecognitionException
RecognitionException
public final void mHASSORT() throws RecognitionException
RecognitionException
public final void mFIELDTYPE() throws RecognitionException
RecognitionException
public final void mFINAL() throws RecognitionException
RecognitionException
public final void mELEMSORT() throws RecognitionException
RecognitionException
public final void mHASLABEL() throws RecognitionException
RecognitionException
public final void mHASSUBFORMULAS() throws RecognitionException
RecognitionException
public final void mISARRAY() throws RecognitionException
RecognitionException
public final void mISARRAYLENGTH() throws RecognitionException
RecognitionException
public final void mISCONSTANT() throws RecognitionException
RecognitionException
public final void mISENUMTYPE() throws RecognitionException
RecognitionException
public final void mISINDUCTVAR() throws RecognitionException
RecognitionException
public final void mISLOCALVARIABLE() throws RecognitionException
RecognitionException
public final void mISOBSERVER() throws RecognitionException
RecognitionException
public final void mDIFFERENT() throws RecognitionException
RecognitionException
public final void mMETADISJOINT() throws RecognitionException
RecognitionException
public final void mISTHISREFERENCE() throws RecognitionException
RecognitionException
public final void mDIFFERENTFIELDS() throws RecognitionException
RecognitionException
public final void mISREFERENCE() throws RecognitionException
RecognitionException
public final void mISREFERENCEARRAY() throws RecognitionException
RecognitionException
public final void mISSTATICFIELD() throws RecognitionException
RecognitionException
public final void mISSUBTYPE() throws RecognitionException
RecognitionException
public final void mEQUAL_UNIQUE() throws RecognitionException
RecognitionException
public final void mNEW() throws RecognitionException
RecognitionException
public final void mNEWLABEL() throws RecognitionException
RecognitionException
public final void mCONTAINS_ASSIGNMENT() throws RecognitionException
RecognitionException
public final void mNOT_() throws RecognitionException
RecognitionException
public final void mNOTFREEIN() throws RecognitionException
RecognitionException
public final void mSAME() throws RecognitionException
RecognitionException
public final void mSTATIC() throws RecognitionException
RecognitionException
public final void mSTATICMETHODREFERENCE() throws RecognitionException
RecognitionException
public final void mSTRICT() throws RecognitionException
RecognitionException
public final void mTYPEOF() throws RecognitionException
RecognitionException
public final void mINSTANTIATE_GENERIC() throws RecognitionException
RecognitionException
public final void mFORALL() throws RecognitionException
RecognitionException
public final void mEXISTS() throws RecognitionException
RecognitionException
public final void mSUBST() throws RecognitionException
RecognitionException
public final void mIF() throws RecognitionException
RecognitionException
public final void mIFEX() throws RecognitionException
RecognitionException
public final void mTHEN() throws RecognitionException
RecognitionException
public final void mELSE() throws RecognitionException
RecognitionException
public final void mINCLUDE() throws RecognitionException
RecognitionException
public final void mINCLUDELDTS() throws RecognitionException
RecognitionException
public final void mCLASSPATH() throws RecognitionException
RecognitionException
public final void mBOOTCLASSPATH() throws RecognitionException
RecognitionException
public final void mNODEFAULTCLASSES() throws RecognitionException
RecognitionException
public final void mJAVASOURCE() throws RecognitionException
RecognitionException
public final void mWITHOPTIONS() throws RecognitionException
RecognitionException
public final void mOPTIONSDECL() throws RecognitionException
RecognitionException
public final void mKEYSETTINGS() throws RecognitionException
RecognitionException
public final void mPROFILE() throws RecognitionException
RecognitionException
public final void mTRUE() throws RecognitionException
RecognitionException
public final void mFALSE() throws RecognitionException
RecognitionException
public final void mSAMEUPDATELEVEL() throws RecognitionException
RecognitionException
public final void mINSEQUENTSTATE() throws RecognitionException
RecognitionException
public final void mANTECEDENTPOLARITY() throws RecognitionException
RecognitionException
public final void mSUCCEDENTPOLARITY() throws RecognitionException
RecognitionException
public final void mCLOSEGOAL() throws RecognitionException
RecognitionException
public final void mHEURISTICSDECL() throws RecognitionException
RecognitionException
public final void mNONINTERACTIVE() throws RecognitionException
RecognitionException
public final void mDISPLAYNAME() throws RecognitionException
RecognitionException
public final void mHELPTEXT() throws RecognitionException
RecognitionException
public final void mREPLACEWITH() throws RecognitionException
RecognitionException
public final void mADDRULES() throws RecognitionException
RecognitionException
public final void mADDPROGVARS() throws RecognitionException
RecognitionException
public final void mHEURISTICS() throws RecognitionException
RecognitionException
public final void mFIND() throws RecognitionException
RecognitionException
public final void mADD() throws RecognitionException
RecognitionException
public final void mASSUMES() throws RecognitionException
RecognitionException
public final void mTRIGGER() throws RecognitionException
RecognitionException
public final void mAVOID() throws RecognitionException
RecognitionException
public final void mPREDICATES() throws RecognitionException
RecognitionException
public final void mFUNCTIONS() throws RecognitionException
RecognitionException
public final void mTRANSFORMERS() throws RecognitionException
RecognitionException
public final void mUNIQUE() throws RecognitionException
RecognitionException
public final void mRULES() throws RecognitionException
RecognitionException
public final void mAXIOMS() throws RecognitionException
RecognitionException
public final void mPROBLEM() throws RecognitionException
RecognitionException
public final void mCHOOSECONTRACT() throws RecognitionException
RecognitionException
public final void mPROOFOBLIGATION() throws RecognitionException
RecognitionException
public final void mPROOF() throws RecognitionException
RecognitionException
public final void mPROOFSCRIPT() throws RecognitionException
RecognitionException
public final void mCONTRACTS() throws RecognitionException
RecognitionException
public final void mINVARIANTS() throws RecognitionException
RecognitionException
public final void mLEMMA() throws RecognitionException
RecognitionException
public final void mIN_TYPE() throws RecognitionException
RecognitionException
public final void mIS_ABSTRACT_OR_INTERFACE() throws RecognitionException
RecognitionException
public final void mCONTAINERTYPE() throws RecognitionException
RecognitionException
public final void mLIMITED() throws RecognitionException
RecognitionException
public final void mLOCSET() throws RecognitionException
RecognitionException
public final void mSEQ() throws RecognitionException
RecognitionException
public final void mBIGINT() throws RecognitionException
RecognitionException
public final void mUTF_PRECEDES() throws RecognitionException
RecognitionException
public final void mUTF_IN() throws RecognitionException
RecognitionException
public final void mUTF_EMPTY() throws RecognitionException
RecognitionException
public final void mUTF_UNION() throws RecognitionException
RecognitionException
public final void mUTF_INTERSECT() throws RecognitionException
RecognitionException
public final void mUTF_SUBSET() throws RecognitionException
RecognitionException
public final void mUTF_SETMINUS() throws RecognitionException
RecognitionException
public final void mVOCAB() throws RecognitionException
RecognitionException
public final void mSEMI() throws RecognitionException
RecognitionException
public final void mSLASH() throws RecognitionException
RecognitionException
public final void mBACKSLASH() throws RecognitionException
RecognitionException
public final void mCOLON() throws RecognitionException
RecognitionException
public final void mDOUBLECOLON() throws RecognitionException
RecognitionException
public final void mASSIGN() throws RecognitionException
RecognitionException
public final void mDOT() throws RecognitionException
RecognitionException
public final void mDOTRANGE() throws RecognitionException
RecognitionException
public final void mCOMMA() throws RecognitionException
RecognitionException
public final void mLPAREN() throws RecognitionException
RecognitionException
public final void mRPAREN() throws RecognitionException
RecognitionException
public final void mLBRACE() throws RecognitionException
RecognitionException
public final void mRBRACE() throws RecognitionException
RecognitionException
public final void mLBRACKET() throws RecognitionException
RecognitionException
public final void mRBRACKET() throws RecognitionException
RecognitionException
public final void mEMPTYBRACKETS() throws RecognitionException
RecognitionException
public final void mAT() throws RecognitionException
RecognitionException
public final void mPARALLEL() throws RecognitionException
RecognitionException
public final void mOR() throws RecognitionException
RecognitionException
public final void mAND() throws RecognitionException
RecognitionException
public final void mNOT() throws RecognitionException
RecognitionException
public final void mIMP() throws RecognitionException
RecognitionException
public final void mEQUALS() throws RecognitionException
RecognitionException
public final void mNOT_EQUALS() throws RecognitionException
RecognitionException
public final void mSEQARROW() throws RecognitionException
RecognitionException
public final void mEXP() throws RecognitionException
RecognitionException
public final void mTILDE() throws RecognitionException
RecognitionException
public final void mPERCENT() throws RecognitionException
RecognitionException
public final void mSTAR() throws RecognitionException
RecognitionException
public final void mMINUS() throws RecognitionException
RecognitionException
public final void mPLUS() throws RecognitionException
RecognitionException
public final void mGREATER() throws RecognitionException
RecognitionException
public final void mGREATEREQUAL() throws RecognitionException
RecognitionException
public final void mRGUILLEMETS() throws RecognitionException
RecognitionException
public final void mWS() throws RecognitionException
RecognitionException
public final void mSTRING_LITERAL() throws RecognitionException
RecognitionException
public final void mLESS_DISPATCH() throws RecognitionException
RecognitionException
public final void mLESS() throws RecognitionException
RecognitionException
public final void mLESSEQUAL() throws RecognitionException
RecognitionException
public final void mLGUILLEMETS() throws RecognitionException
RecognitionException
public final void mIMPLICIT_IDENT() throws RecognitionException
RecognitionException
public final void mEQV() throws RecognitionException
RecognitionException
public final void mPRIMES_OR_CHARLITERAL() throws RecognitionException
RecognitionException
public final void mPRIMES() throws RecognitionException
RecognitionException
public final void mCHAR_LITERAL() throws RecognitionException
RecognitionException
public final void mQUOTED_STRING_LITERAL() throws RecognitionException
RecognitionException
public final void mSL_COMMENT() throws RecognitionException
RecognitionException
public final void mML_COMMENT() throws RecognitionException
RecognitionException
public final void mDIGIT_DISPATCH() throws RecognitionException
RecognitionException
public final void mHEX_LITERAL() throws RecognitionException
RecognitionException
public final void mDIGIT() throws RecognitionException
RecognitionException
public final void mHEX() throws RecognitionException
RecognitionException
public final void mLETTER() throws RecognitionException
RecognitionException
public final void mIDCHAR() throws RecognitionException
RecognitionException
public final void mIDENT() throws RecognitionException
RecognitionException
public final void mNUM_LITERAL() throws RecognitionException
RecognitionException
public final void mMODALITY() throws RecognitionException
RecognitionException
public final void mMODALITYEND() throws RecognitionException
RecognitionException
public final void mJAVABLOCK() throws RecognitionException
RecognitionException
public void mTokens() throws RecognitionException
mTokens
in class Lexer
RecognitionException
public final void synpred1_KeYLexer_fragment() throws RecognitionException
RecognitionException
public final void synpred2_KeYLexer_fragment() throws RecognitionException
RecognitionException
public final void synpred3_KeYLexer_fragment() throws RecognitionException
RecognitionException
public final void synpred4_KeYLexer_fragment() throws RecognitionException
RecognitionException
public final void synpred5_KeYLexer_fragment() throws RecognitionException
RecognitionException
public final void synpred6_KeYLexer_fragment() throws RecognitionException
RecognitionException
public final void synpred7_KeYLexer_fragment() throws RecognitionException
RecognitionException
public final void synpred8_KeYLexer_fragment() throws RecognitionException
RecognitionException
public final void synpred9_KeYLexer_fragment() throws RecognitionException
RecognitionException
public final boolean synpred7_KeYLexer()
public final boolean synpred3_KeYLexer()
public final boolean synpred9_KeYLexer()
public final boolean synpred8_KeYLexer()
public final boolean synpred6_KeYLexer()
public final boolean synpred5_KeYLexer()
public final boolean synpred1_KeYLexer()
public final boolean synpred2_KeYLexer()
public final boolean synpred4_KeYLexer()