public class KeYJMLLexer extends Lexer
Modifier and Type | Class and Description |
---|---|
protected class |
KeYJMLLexer.DFA18 |
Modifier and Type | Field and Description |
---|---|
static int |
ACCESSIBLE |
static int |
ALLFIELDS |
static int |
ALLOBJECTS |
static int |
AND |
static int |
ASSIGNABLE |
static int |
BACKSLASH_PREFIXED |
static int |
BACKUP |
static int |
BIGINT |
static int |
BITWISENOT |
static int |
BOOLEAN |
static int |
BREAKS |
static int |
BSUM |
static int |
BY |
static int |
BYTE |
static int |
CHAR_LITERAL |
static int |
COLON |
static int |
COMMA |
static int |
CONTINUES |
static int |
DECLASSIFIES |
static int |
DECREASES |
static int |
DEPENDS |
static int |
DETERMINES |
protected KeYJMLLexer.DFA18 |
dfa18 |
(package private) static short[] |
DFA18_accept |
(package private) static String |
DFA18_acceptS |
(package private) static short[] |
DFA18_eof |
(package private) static String |
DFA18_eofS |
(package private) static short[] |
DFA18_eot |
(package private) static String |
DFA18_eotS |
(package private) static char[] |
DFA18_max |
(package private) static String |
DFA18_maxS |
(package private) static char[] |
DFA18_min |
(package private) static String |
DFA18_minS |
(package private) static short[] |
DFA18_special |
(package private) static String |
DFA18_specialS |
(package private) static short[][] |
DFA18_transition |
(package private) static String[] |
DFA18_transitionS |
static int |
DIGIT |
static int |
DIGITS |
static int |
DISJOINT |
static int |
DIV |
static int |
DL_ESCAPE |
static int |
DOC_COMMENT |
static int |
DOMAIN_IMPLIES_CREATED |
static int |
DOT |
static int |
DOTDOT |
static int |
DURATION |
static int |
ELEMTYPE |
static int |
EMPTYSET |
static int |
ENSURES |
static int |
ENSURES_FREE |
static int |
EOF |
static int |
EQ_NEQ |
static int |
EQUAL_SINGLE |
static int |
EQV_ANTIV |
static int |
ERASES |
static int |
ESC |
static int |
EVERYTHING |
static int |
EXCEPTION |
static int |
EXISTS |
static int |
FALSE |
static int |
FORALL |
static int |
FREE |
static int |
FRESH |
static int |
GEQ |
static int |
GT |
static int |
HEXDIGIT |
static int |
HEXNUMERAL |
static int |
IDENT |
static int |
IMPLIES |
static int |
IMPLIESBACKWARD |
static int |
IN_DOMAIN |
static int |
INCLUSIVEOR |
static int |
INDEX |
static int |
INDEXOF |
static int |
INFORMAL_DESCRIPTION |
static int |
INSTANCEOF |
static int |
INT |
static int |
INTERSECT |
static int |
INTO |
static int |
INV |
static int |
INVARIANT_FOR |
static int |
IS_FINITE |
static int |
IS_INITIALIZED |
static int |
ITSELF |
static int |
JML_IDENT |
static int |
JOIN_PROC |
static int |
LARROW |
static int |
LBLNEG |
static int |
LBLPOS |
static int |
LBRACE |
static int |
LBRACKET |
static int |
LEQ |
static int |
LETTER |
static int |
LETTERORDIGIT |
static int |
LOCKSET |
static int |
LOCKSET_LEQ |
static int |
LOCKSET_LT |
static int |
LOCSET |
static int |
LOGICALAND |
static int |
LOGICALOR |
static int |
LONG |
static int |
LOOP_DETERMINES |
static int |
LOOP_SEPARATES |
static int |
LPAREN |
static int |
LT |
static int |
LT_IMPLICIT_GT_DISPATCH |
static int |
MAP |
static int |
MAP_GET |
static int |
MAP_OVERRIDE |
static int |
MAP_REMOVE |
static int |
MAP_SINGLETON |
static int |
MAP_SIZE |
static int |
MAP_UPDATE |
static int |
MAPEMPTY |
static int |
MAX |
static int |
MEASURED_BY |
static int |
MIN |
static int |
MINUS |
static int |
MOD |
static int |
MODEL_METHOD_AXIOM |
static int |
MULT |
static int |
NEW |
static int |
NEW_OBJECTS |
static int |
NEWELEMSFRESH |
static int |
NON_NULL |
static int |
NONNULLELEMENTS |
static int |
NOT |
static int |
NOT_ASSIGNED |
static int |
NOT_MODIFIED |
static int |
NOT_SPECIFIED |
static int |
NOTHING |
static int |
NULL |
static int |
NULLABLE |
static int |
NUM_OF |
static int |
OLD |
static int |
PERMISSION |
static int |
PLUS |
static int |
PRAGMA |
static int |
PRE |
static int |
PRODUCT |
static int |
QUESTIONMARK |
static int |
RBRACE |
static int |
RBRACKET |
static int |
REACH |
static int |
REACHLOCS |
static int |
REAL |
static int |
REPRESENTS |
static int |
REQUIRES |
static int |
REQUIRES_FREE |
static int |
RESULT |
static int |
RETURNS |
static int |
RPAREN |
static int |
SAME |
static int |
SEMI |
static int |
SEPARATES |
static int |
SEQ |
static int |
SEQ2MAP |
static int |
SEQCONCAT |
static int |
SEQDEF |
static int |
SEQEMPTY |
static int |
SEQGET |
static int |
SEQREPLACE |
static int |
SEQREVERSE |
static int |
SEQSINGLETON |
static int |
SEQSUB |
static int |
SETMINUS |
static int |
SHIFTLEFT |
static int |
SHIFTRIGHT |
static int |
SHORT |
static int |
SIGNALS |
static int |
SIGNALS_ONLY |
static int |
SINGLETON |
static int |
SL_COMMENT |
static int |
SPACE |
static int |
ST |
static int |
STATIC_INVARIANT_FOR |
static int |
STRICTLY_NOTHING |
static int |
STRING_EQUAL |
static int |
STRING_LITERAL |
static int |
SUBSET |
static int |
SUCH_THAT |
static int |
SUM |
static int |
SUPER |
static int |
THIS |
static int |
TRANSACTIONUPDATED |
static int |
TRANSIENT |
static int |
TRUE |
static int |
TYPE |
static int |
TYPE_SMALL |
static int |
TYPEOF |
static int |
UNION |
static int |
UNIONINF |
static int |
UNSIGNEDSHIFTRIGHT |
static int |
VALUES |
static int |
VOID |
static int |
WORKINGSPACE |
static int |
WS |
static int |
XOR |
DEFAULT_TOKEN_CHANNEL, HIDDEN, INITIAL_FOLLOW_STACK_SIZE, MEMO_RULE_FAILED, MEMO_RULE_UNKNOWN, NEXT_TOKEN_RULE_NAME, state
Constructor and Description |
---|
KeYJMLLexer() |
KeYJMLLexer(CharStream input) |
KeYJMLLexer(CharStream input,
RecognizerSharedState state) |
emit, emit, getCharErrorDisplay, getCharIndex, getCharPositionInLine, getCharStream, getEOFToken, getErrorMessage, getLine, getSourceName, getText, match, match, matchAny, matchRange, nextToken, recover, 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 ACCESSIBLE
public static final int ALLFIELDS
public static final int ALLOBJECTS
public static final int AND
public static final int ASSIGNABLE
public static final int BACKSLASH_PREFIXED
public static final int BACKUP
public static final int BIGINT
public static final int BITWISENOT
public static final int BOOLEAN
public static final int BREAKS
public static final int BSUM
public static final int BY
public static final int BYTE
public static final int CHAR_LITERAL
public static final int COLON
public static final int COMMA
public static final int CONTINUES
public static final int DECLASSIFIES
public static final int DECREASES
public static final int DEPENDS
public static final int DETERMINES
public static final int DIGIT
public static final int DIGITS
public static final int DISJOINT
public static final int DIV
public static final int DL_ESCAPE
public static final int DOC_COMMENT
public static final int DOMAIN_IMPLIES_CREATED
public static final int DOT
public static final int DOTDOT
public static final int DURATION
public static final int ELEMTYPE
public static final int EMPTYSET
public static final int ENSURES
public static final int ENSURES_FREE
public static final int EQUAL_SINGLE
public static final int EQV_ANTIV
public static final int EQ_NEQ
public static final int ERASES
public static final int ESC
public static final int EVERYTHING
public static final int EXCEPTION
public static final int EXISTS
public static final int FALSE
public static final int FORALL
public static final int FREE
public static final int FRESH
public static final int GEQ
public static final int GT
public static final int HEXDIGIT
public static final int HEXNUMERAL
public static final int IDENT
public static final int IMPLIES
public static final int IMPLIESBACKWARD
public static final int INCLUSIVEOR
public static final int INDEX
public static final int INDEXOF
public static final int INFORMAL_DESCRIPTION
public static final int INSTANCEOF
public static final int INT
public static final int INTERSECT
public static final int INTO
public static final int INV
public static final int INVARIANT_FOR
public static final int IN_DOMAIN
public static final int IS_FINITE
public static final int IS_INITIALIZED
public static final int ITSELF
public static final int JML_IDENT
public static final int JOIN_PROC
public static final int LARROW
public static final int LBLNEG
public static final int LBLPOS
public static final int LBRACE
public static final int LBRACKET
public static final int LEQ
public static final int LETTER
public static final int LETTERORDIGIT
public static final int LOCKSET
public static final int LOCKSET_LEQ
public static final int LOCKSET_LT
public static final int LOCSET
public static final int LOGICALAND
public static final int LOGICALOR
public static final int LONG
public static final int LOOP_DETERMINES
public static final int LOOP_SEPARATES
public static final int LPAREN
public static final int LT
public static final int LT_IMPLICIT_GT_DISPATCH
public static final int MAP
public static final int MAPEMPTY
public static final int MAP_GET
public static final int MAP_OVERRIDE
public static final int MAP_REMOVE
public static final int MAP_SINGLETON
public static final int MAP_SIZE
public static final int MAP_UPDATE
public static final int MAX
public static final int MEASURED_BY
public static final int MIN
public static final int MINUS
public static final int MOD
public static final int MODEL_METHOD_AXIOM
public static final int MULT
public static final int NEW
public static final int NEWELEMSFRESH
public static final int NEW_OBJECTS
public static final int NONNULLELEMENTS
public static final int NON_NULL
public static final int NOT
public static final int NOTHING
public static final int NOT_ASSIGNED
public static final int NOT_MODIFIED
public static final int NOT_SPECIFIED
public static final int NULL
public static final int NULLABLE
public static final int NUM_OF
public static final int OLD
public static final int PERMISSION
public static final int PLUS
public static final int PRAGMA
public static final int PRE
public static final int PRODUCT
public static final int QUESTIONMARK
public static final int RBRACE
public static final int RBRACKET
public static final int REACH
public static final int REACHLOCS
public static final int REAL
public static final int REPRESENTS
public static final int REQUIRES
public static final int REQUIRES_FREE
public static final int RESULT
public static final int RETURNS
public static final int RPAREN
public static final int SAME
public static final int SEMI
public static final int SEPARATES
public static final int SEQ
public static final int SEQ2MAP
public static final int SEQCONCAT
public static final int SEQDEF
public static final int SEQEMPTY
public static final int SEQGET
public static final int SEQREPLACE
public static final int SEQREVERSE
public static final int SEQSINGLETON
public static final int SEQSUB
public static final int SETMINUS
public static final int SHIFTLEFT
public static final int SHIFTRIGHT
public static final int SHORT
public static final int SIGNALS
public static final int SIGNALS_ONLY
public static final int SINGLETON
public static final int SL_COMMENT
public static final int SPACE
public static final int ST
public static final int STATIC_INVARIANT_FOR
public static final int STRICTLY_NOTHING
public static final int STRING_EQUAL
public static final int STRING_LITERAL
public static final int SUBSET
public static final int SUCH_THAT
public static final int SUM
public static final int SUPER
public static final int THIS
public static final int TRANSACTIONUPDATED
public static final int TRANSIENT
public static final int TRUE
public static final int TYPE
public static final int TYPEOF
public static final int TYPE_SMALL
public static final int UNION
public static final int UNIONINF
public static final int UNSIGNEDSHIFTRIGHT
public static final int VALUES
public static final int VOID
public static final int WORKINGSPACE
public static final int WS
public static final int XOR
protected KeYJMLLexer.DFA18 dfa18
static final String DFA18_eotS
static final String DFA18_eofS
static final String DFA18_minS
static final String DFA18_maxS
static final String DFA18_acceptS
static final String DFA18_specialS
static final String[] DFA18_transitionS
static final short[] DFA18_eot
static final short[] DFA18_eof
static final char[] DFA18_min
static final char[] DFA18_max
static final short[] DFA18_accept
static final short[] DFA18_special
static final short[][] DFA18_transition
public KeYJMLLexer()
public KeYJMLLexer(CharStream input)
public KeYJMLLexer(CharStream input, RecognizerSharedState state)
public void reportError(RecognitionException e)
reportError
in class Lexer
public Lexer[] getDelegates()
public String getGrammarFileName()
getGrammarFileName
in class BaseRecognizer
public final void mBOOLEAN() throws RecognitionException
RecognitionException
public final void mBYTE() throws RecognitionException
RecognitionException
public final void mFALSE() throws RecognitionException
RecognitionException
public final void mINSTANCEOF() throws RecognitionException
RecognitionException
public final void mINT() throws RecognitionException
RecognitionException
public final void mLONG() throws RecognitionException
RecognitionException
public final void mNEW() throws RecognitionException
RecognitionException
public final void mNULL() throws RecognitionException
RecognitionException
public final void mSHORT() throws RecognitionException
RecognitionException
public final void mSUPER() throws RecognitionException
RecognitionException
public final void mTHIS() throws RecognitionException
RecognitionException
public final void mTRUE() throws RecognitionException
RecognitionException
public final void mVOID() throws RecognitionException
RecognitionException
public final void mACCESSIBLE() throws RecognitionException
RecognitionException
public final void mASSIGNABLE() throws RecognitionException
RecognitionException
public final void mBREAKS() throws RecognitionException
RecognitionException
public final void mCONTINUES() throws RecognitionException
RecognitionException
public final void mDECREASES() throws RecognitionException
RecognitionException
public final void mDEPENDS() throws RecognitionException
RecognitionException
public final void mDETERMINES() throws RecognitionException
RecognitionException
public final void mENSURES() throws RecognitionException
RecognitionException
public final void mENSURES_FREE() throws RecognitionException
RecognitionException
public final void mLOOP_DETERMINES() throws RecognitionException
RecognitionException
public final void mLOOP_SEPARATES() throws RecognitionException
RecognitionException
public final void mMODEL_METHOD_AXIOM() throws RecognitionException
RecognitionException
public final void mNON_NULL() throws RecognitionException
RecognitionException
public final void mNULLABLE() throws RecognitionException
RecognitionException
public final void mREPRESENTS() throws RecognitionException
RecognitionException
public final void mREQUIRES() throws RecognitionException
RecognitionException
public final void mREQUIRES_FREE() throws RecognitionException
RecognitionException
public final void mRETURNS() throws RecognitionException
RecognitionException
public final void mJOIN_PROC() throws RecognitionException
RecognitionException
public final void mSEPARATES() throws RecognitionException
RecognitionException
public final void mSIGNALS() throws RecognitionException
RecognitionException
public final void mSIGNALS_ONLY() throws RecognitionException
RecognitionException
public final void mALLFIELDS() throws RecognitionException
RecognitionException
public final void mALLOBJECTS() throws RecognitionException
RecognitionException
public final void mBACKUP() throws RecognitionException
RecognitionException
public final void mBIGINT() throws RecognitionException
RecognitionException
public final void mBSUM() throws RecognitionException
RecognitionException
public final void mBY() throws RecognitionException
RecognitionException
public final void mDECLASSIFIES() throws RecognitionException
RecognitionException
public final void mDISJOINT() throws RecognitionException
RecognitionException
public final void mDOMAIN_IMPLIES_CREATED() throws RecognitionException
RecognitionException
public final void mDURATION() throws RecognitionException
RecognitionException
public final void mELEMTYPE() throws RecognitionException
RecognitionException
public final void mEMPTYSET() throws RecognitionException
RecognitionException
public final void mERASES() throws RecognitionException
RecognitionException
public final void mEVERYTHING() throws RecognitionException
RecognitionException
public final void mEXCEPTION() throws RecognitionException
RecognitionException
public final void mEXISTS() throws RecognitionException
RecognitionException
public final void mFORALL() throws RecognitionException
RecognitionException
public final void mFREE() throws RecognitionException
RecognitionException
public final void mFRESH() throws RecognitionException
RecognitionException
public final void mINDEX() throws RecognitionException
RecognitionException
public final void mINDEXOF() throws RecognitionException
RecognitionException
public final void mINTERSECT() throws RecognitionException
RecognitionException
public final void mINTO() throws RecognitionException
RecognitionException
public final void mINV() throws RecognitionException
RecognitionException
public final void mINVARIANT_FOR() throws RecognitionException
RecognitionException
public final void mIN_DOMAIN() throws RecognitionException
RecognitionException
public final void mIS_FINITE() throws RecognitionException
RecognitionException
public final void mIS_INITIALIZED() throws RecognitionException
RecognitionException
public final void mITSELF() throws RecognitionException
RecognitionException
public final void mLBLNEG() throws RecognitionException
RecognitionException
public final void mLBLPOS() throws RecognitionException
RecognitionException
public final void mLOCKSET() throws RecognitionException
RecognitionException
public final void mLOCSET() throws RecognitionException
RecognitionException
public final void mMAP() throws RecognitionException
RecognitionException
public final void mMAPEMPTY() throws RecognitionException
RecognitionException
public final void mMAP_GET() throws RecognitionException
RecognitionException
public final void mMAP_OVERRIDE() throws RecognitionException
RecognitionException
public final void mMAP_REMOVE() throws RecognitionException
RecognitionException
public final void mMAP_SINGLETON() throws RecognitionException
RecognitionException
public final void mMAP_SIZE() throws RecognitionException
RecognitionException
public final void mMAP_UPDATE() throws RecognitionException
RecognitionException
public final void mMAX() throws RecognitionException
RecognitionException
public final void mMEASURED_BY() throws RecognitionException
RecognitionException
public final void mMIN() throws RecognitionException
RecognitionException
public final void mNEWELEMSFRESH() throws RecognitionException
RecognitionException
public final void mNEW_OBJECTS() throws RecognitionException
RecognitionException
public final void mNONNULLELEMENTS() throws RecognitionException
RecognitionException
public final void mNOTHING() throws RecognitionException
RecognitionException
public final void mNOT_ASSIGNED() throws RecognitionException
RecognitionException
public final void mNOT_MODIFIED() throws RecognitionException
RecognitionException
public final void mNOT_SPECIFIED() throws RecognitionException
RecognitionException
public final void mNUM_OF() throws RecognitionException
RecognitionException
public final void mOLD() throws RecognitionException
RecognitionException
public final void mPERMISSION() throws RecognitionException
RecognitionException
public final void mPRE() throws RecognitionException
RecognitionException
public final void mPRODUCT() throws RecognitionException
RecognitionException
public final void mREACH() throws RecognitionException
RecognitionException
public final void mREACHLOCS() throws RecognitionException
RecognitionException
public final void mREAL() throws RecognitionException
RecognitionException
public final void mRESULT() throws RecognitionException
RecognitionException
public final void mSAME() throws RecognitionException
RecognitionException
public final void mSEQ() throws RecognitionException
RecognitionException
public final void mSEQ2MAP() throws RecognitionException
RecognitionException
public final void mSEQCONCAT() throws RecognitionException
RecognitionException
public final void mSEQDEF() throws RecognitionException
RecognitionException
public final void mSEQEMPTY() throws RecognitionException
RecognitionException
public final void mSEQGET() throws RecognitionException
RecognitionException
public final void mSEQREPLACE() throws RecognitionException
RecognitionException
public final void mSEQREVERSE() throws RecognitionException
RecognitionException
public final void mSEQSINGLETON() throws RecognitionException
RecognitionException
public final void mSEQSUB() throws RecognitionException
RecognitionException
public final void mSETMINUS() throws RecognitionException
RecognitionException
public final void mSINGLETON() throws RecognitionException
RecognitionException
public final void mSPACE() throws RecognitionException
RecognitionException
public final void mSTATIC_INVARIANT_FOR() throws RecognitionException
RecognitionException
public final void mSTRICTLY_NOTHING() throws RecognitionException
RecognitionException
public final void mSTRING_EQUAL() throws RecognitionException
RecognitionException
public final void mSUBSET() throws RecognitionException
RecognitionException
public final void mSUCH_THAT() throws RecognitionException
RecognitionException
public final void mSUM() throws RecognitionException
RecognitionException
public final void mTRANSACTIONUPDATED() throws RecognitionException
RecognitionException
public final void mTRANSIENT() throws RecognitionException
RecognitionException
public final void mTYPE() throws RecognitionException
RecognitionException
public final void mTYPEOF() throws RecognitionException
RecognitionException
public final void mTYPE_SMALL() throws RecognitionException
RecognitionException
public final void mUNION() throws RecognitionException
RecognitionException
public final void mUNIONINF() throws RecognitionException
RecognitionException
public final void mVALUES() throws RecognitionException
RecognitionException
public final void mWORKINGSPACE() throws RecognitionException
RecognitionException
public final void mAND() throws RecognitionException
RecognitionException
public final void mBITWISENOT() throws RecognitionException
RecognitionException
public final void mCOLON() throws RecognitionException
RecognitionException
public final void mCOMMA() throws RecognitionException
RecognitionException
public final void mDIV() throws RecognitionException
RecognitionException
public final void mDOT() throws RecognitionException
RecognitionException
public final void mDOTDOT() throws RecognitionException
RecognitionException
public final void mEQUAL_SINGLE() throws RecognitionException
RecognitionException
public final void mEQV_ANTIV() throws RecognitionException
RecognitionException
public final void mEQ_NEQ() throws RecognitionException
RecognitionException
public final void mGEQ() throws RecognitionException
RecognitionException
public final void mIMPLIES() throws RecognitionException
RecognitionException
public final void mIMPLIESBACKWARD() throws RecognitionException
RecognitionException
public final void mINCLUSIVEOR() throws RecognitionException
RecognitionException
public final void mLARROW() throws RecognitionException
RecognitionException
public final void mLBRACE() throws RecognitionException
RecognitionException
public final void mLEQ() throws RecognitionException
RecognitionException
public final void mLOCKSET_LEQ() throws RecognitionException
RecognitionException
public final void mLOCKSET_LT() throws RecognitionException
RecognitionException
public final void mLOGICALAND() throws RecognitionException
RecognitionException
public final void mLOGICALOR() throws RecognitionException
RecognitionException
public final void mMINUS() throws RecognitionException
RecognitionException
public final void mMOD() throws RecognitionException
RecognitionException
public final void mMULT() throws RecognitionException
RecognitionException
public final void mNOT() throws RecognitionException
RecognitionException
public final void mPLUS() throws RecognitionException
RecognitionException
public final void mQUESTIONMARK() throws RecognitionException
RecognitionException
public final void mRBRACE() throws RecognitionException
RecognitionException
public final void mSEMI() throws RecognitionException
RecognitionException
public final void mSHIFTLEFT() throws RecognitionException
RecognitionException
public final void mSHIFTRIGHT() throws RecognitionException
RecognitionException
public final void mST() throws RecognitionException
RecognitionException
public final void mUNSIGNEDSHIFTRIGHT() throws RecognitionException
RecognitionException
public final void mXOR() throws RecognitionException
RecognitionException
public final void mGT() throws RecognitionException
RecognitionException
public final void mLT() throws RecognitionException
RecognitionException
public final void mLT_IMPLICIT_GT_DISPATCH() throws RecognitionException
RecognitionException
public final void mLPAREN() throws RecognitionException
RecognitionException
public final void mRPAREN() throws RecognitionException
RecognitionException
public final void mLBRACKET() throws RecognitionException
RecognitionException
public final void mRBRACKET() throws RecognitionException
RecognitionException
public final void mLETTER() throws RecognitionException
RecognitionException
public final void mDIGIT() throws RecognitionException
RecognitionException
public final void mHEXDIGIT() throws RecognitionException
RecognitionException
public final void mLETTERORDIGIT() throws RecognitionException
RecognitionException
public final void mIDENT() throws RecognitionException
RecognitionException
public final void mJML_IDENT() throws RecognitionException
RecognitionException
public final void mDL_ESCAPE() throws RecognitionException
RecognitionException
public final void mBACKSLASH_PREFIXED() throws RecognitionException
RecognitionException
public final void mHEXNUMERAL() throws RecognitionException
RecognitionException
public final void mDIGITS() throws RecognitionException
RecognitionException
public final void mCHAR_LITERAL() throws RecognitionException
RecognitionException
public final void mSTRING_LITERAL() throws RecognitionException
RecognitionException
public final void mESC() throws RecognitionException
RecognitionException
public final void mWS() throws RecognitionException
RecognitionException
public final void mINFORMAL_DESCRIPTION() throws RecognitionException
RecognitionException
public final void mSL_COMMENT() throws RecognitionException
RecognitionException
public final void mDOC_COMMENT() throws RecognitionException
RecognitionException
public final void mPRAGMA() throws RecognitionException
RecognitionException
public void mTokens() throws RecognitionException
mTokens
in class Lexer
RecognitionException
public final void synpred1_KeYJMLLexer_fragment() throws RecognitionException
RecognitionException
public final void synpred2_KeYJMLLexer_fragment() throws RecognitionException
RecognitionException
public final void synpred3_KeYJMLLexer_fragment() throws RecognitionException
RecognitionException
public final boolean synpred1_KeYJMLLexer()
public final boolean synpred3_KeYJMLLexer()
public final boolean synpred2_KeYJMLLexer()