public class KeYJMLPreLexer extends Lexer
Modifier and Type | Class and Description |
---|---|
protected class |
KeYJMLPreLexer.DFA23 |
Modifier and Type | Field and Description |
---|---|
static int |
ABSTRACT |
static int |
ACCESSIBLE |
static int |
ACCESSIBLE_REDUNDANTLY |
static int |
ALSO |
static int |
ASSERT |
static int |
ASSERT_REDUNDANTLY |
static int |
ASSIGNABLE |
static int |
ASSIGNABLE_RED |
static int |
ASSUME |
static int |
ASSUME_REDUNDANTLY |
static int |
AXIOM |
static int |
AXIOM_NAME_BEGIN |
static int |
AXIOM_NAME_END |
static int |
BEHAVIOR |
static int |
BEHAVIOUR |
static int |
BODY |
static int |
BRACE_DISPATCH |
static int |
BREAK_BEHAVIOR |
static int |
BREAK_BEHAVIOUR |
static int |
BREAKS |
static int |
CAPTURES |
static int |
CAPTURES_RED |
static int |
CODE |
static int |
CODE_BIGINT_MATH |
static int |
CODE_JAVA_MATH |
static int |
CODE_SAFE_MATH |
static int |
COMMA |
static int |
CONST |
static int |
CONSTRAINT |
static int |
CONSTRAINT_RED |
static int |
CONTINUE_BEHAVIOR |
static int |
CONTINUE_BEHAVIOUR |
static int |
CONTINUES |
static int |
DEBUG |
static int |
DECIMALINTEGERLITERAL |
static int |
DECREASES |
static int |
DECREASES_REDUNDANTLY |
static int |
DECREASING |
static int |
DECREASING_REDUNDANTLY |
static int |
DETERMINES |
protected KeYJMLPreLexer.DFA23 |
dfa23 |
(package private) static short[] |
DFA23_accept |
(package private) static String |
DFA23_acceptS |
(package private) static short[] |
DFA23_eof |
(package private) static String |
DFA23_eofS |
(package private) static short[] |
DFA23_eot |
(package private) static String |
DFA23_eotS |
(package private) static char[] |
DFA23_max |
(package private) static String |
DFA23_maxS |
(package private) static char[] |
DFA23_min |
(package private) static String |
DFA23_minS |
(package private) static short[] |
DFA23_special |
(package private) static String |
DFA23_specialS |
(package private) static short[][] |
DFA23_transition |
(package private) static String[] |
DFA23_transitionS |
static int |
DIGIT |
static int |
DIGITS |
static int |
DIVERGES |
static int |
DIVERGES_RED |
static int |
DOT |
static int |
DURATION |
static int |
DURATION_RED |
static int |
EMPTYBRACKETS |
static int |
ENSURES |
static int |
ENSURES_FREE |
static int |
ENSURES_RED |
static int |
EOF |
static int |
EQUALITY |
static int |
ESC |
static int |
EXCEPTIONAL_BEHAVIOR |
static int |
EXCEPTIONAL_BEHAVIOUR |
static int |
EXSURES |
static int |
EXSURES_RED |
static int |
FINAL |
static int |
FOR_EXAMPLE |
static int |
FORALL |
static int |
GHOST |
static int |
HELPER |
static int |
HEXDIGIT |
static int |
HEXINTEGERLITERAL |
static int |
HEXNUMERAL |
static int |
IDENT |
static int |
IMPLIES_THAT |
static int |
IN |
static int |
IN_RED |
static int |
INITIALLY |
static int |
INSTANCE |
static int |
INTEGERLITERAL |
static int |
INTEGERTYPESUFFIX |
static int |
INVARIANT |
static int |
INVARIANT_RED |
static int |
JAVAOPERATOR |
static int |
JMLSPECIALSYMBOL |
static int |
JOIN_PROC |
static int |
LETTER |
static int |
LOOP_INVARIANT |
static int |
LOOP_INVARIANT_RED |
static int |
LPAREN |
static int |
MAINTAINING |
static int |
MAINTAINING_REDUNDANTLY |
static int |
MAPS |
static int |
MAPS_RED |
static int |
MEASURED_BY |
static int |
MEASURED_BY_REDUNDANTLY |
static int |
ML_COMMENT |
static int |
MODEL |
static int |
MODEL_BEHAVIOR |
static int |
MODEL_BEHAVIOUR |
static int |
MODIFIABLE |
static int |
MODIFIABLE_RED |
static int |
MODIFIES |
static int |
MODIFIES_RED |
static int |
MONITORED |
static int |
MONITORS_FOR |
static int |
NATIVE |
static int |
NEST_END |
static int |
NEST_START |
static int |
NO_STATE |
static int |
NON_NULL |
static int |
NONZERODIGIT |
static int |
NORMAL_BEHAVIOR |
static int |
NORMAL_BEHAVIOUR |
static int |
NOWARN |
static int |
NULLABLE |
static int |
NULLABLE_BY_DEFAULT |
static int |
OCTALDIGIT |
static int |
OCTALINTEGERLITERAL |
static int |
OCTALNUMERAL |
static int |
OLD |
static int |
POST |
static int |
POST_RED |
static int |
PRE |
static int |
PRE_RED |
static int |
PRIVATE |
static int |
PROTECTED |
static int |
PUBLIC |
static int |
PURE |
static int |
READABLE |
static int |
REPRESENTS |
static int |
REPRESENTS_RED |
static int |
REQUIRES |
static int |
REQUIRES_FREE |
static int |
REQUIRES_RED |
static int |
RESPECTS |
static int |
RETURN_BEHAVIOR |
static int |
RETURN_BEHAVIOUR |
static int |
RETURNS |
static int |
RPAREN |
static int |
SEMICOLON |
static int |
SEPARATES |
static int |
SET |
static int |
SIGNALS |
static int |
SIGNALS_ONLY |
static int |
SIGNALS_ONLY_RED |
static int |
SIGNALS_RED |
static int |
SL_COMMENT |
static int |
SPEC_BIGINT_MATH |
static int |
SPEC_JAVA_MATH |
static int |
SPEC_NAME |
static int |
SPEC_PROTECTED |
static int |
SPEC_PUBLIC |
static int |
SPEC_SAFE_MATH |
static int |
STATIC |
static int |
STRICTFP |
static int |
STRICTLY_PURE |
static int |
STRING_LITERAL |
static int |
SYNCHRONIZED |
static int |
TRANSIENT |
static int |
TWO_STATE |
static int |
UNINITIALIZED |
static int |
UNREACHABLE |
static int |
VOLATILE |
static int |
WHEN |
static int |
WHEN_RED |
static int |
WORKING_SPACE |
static int |
WORKING_SPACE_RED |
static int |
WRITABLE |
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 |
---|
KeYJMLPreLexer() |
KeYJMLPreLexer(CharStream input) |
KeYJMLPreLexer(CharStream input,
RecognizerSharedState state) |
emit, emit, getCharErrorDisplay, getCharIndex, getCharPositionInLine, getCharStream, getEOFToken, getErrorMessage, getLine, getSourceName, getText, match, match, matchAny, matchRange, nextToken, 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 ACCESSIBLE
public static final int ACCESSIBLE_REDUNDANTLY
public static final int ALSO
public static final int ASSERT
public static final int ASSERT_REDUNDANTLY
public static final int ASSIGNABLE
public static final int ASSIGNABLE_RED
public static final int ASSUME
public static final int ASSUME_REDUNDANTLY
public static final int AXIOM
public static final int AXIOM_NAME_BEGIN
public static final int AXIOM_NAME_END
public static final int BEHAVIOR
public static final int BEHAVIOUR
public static final int BODY
public static final int BRACE_DISPATCH
public static final int BREAKS
public static final int BREAK_BEHAVIOR
public static final int BREAK_BEHAVIOUR
public static final int CAPTURES
public static final int CAPTURES_RED
public static final int CODE
public static final int CODE_BIGINT_MATH
public static final int CODE_JAVA_MATH
public static final int CODE_SAFE_MATH
public static final int COMMA
public static final int CONST
public static final int CONSTRAINT
public static final int CONSTRAINT_RED
public static final int CONTINUES
public static final int CONTINUE_BEHAVIOR
public static final int CONTINUE_BEHAVIOUR
public static final int DEBUG
public static final int DECIMALINTEGERLITERAL
public static final int DECREASES
public static final int DECREASES_REDUNDANTLY
public static final int DECREASING
public static final int DECREASING_REDUNDANTLY
public static final int DETERMINES
public static final int DIGIT
public static final int DIGITS
public static final int DIVERGES
public static final int DIVERGES_RED
public static final int DOT
public static final int DURATION
public static final int DURATION_RED
public static final int EMPTYBRACKETS
public static final int ENSURES
public static final int ENSURES_FREE
public static final int ENSURES_RED
public static final int EQUALITY
public static final int ESC
public static final int EXCEPTIONAL_BEHAVIOR
public static final int EXCEPTIONAL_BEHAVIOUR
public static final int EXSURES
public static final int EXSURES_RED
public static final int FINAL
public static final int FORALL
public static final int FOR_EXAMPLE
public static final int GHOST
public static final int HELPER
public static final int HEXDIGIT
public static final int HEXINTEGERLITERAL
public static final int HEXNUMERAL
public static final int IDENT
public static final int IMPLIES_THAT
public static final int IN
public static final int INITIALLY
public static final int INSTANCE
public static final int INTEGERLITERAL
public static final int INTEGERTYPESUFFIX
public static final int INVARIANT
public static final int INVARIANT_RED
public static final int IN_RED
public static final int JAVAOPERATOR
public static final int JMLSPECIALSYMBOL
public static final int JOIN_PROC
public static final int LETTER
public static final int LOOP_INVARIANT
public static final int LOOP_INVARIANT_RED
public static final int LPAREN
public static final int MAINTAINING
public static final int MAINTAINING_REDUNDANTLY
public static final int MAPS
public static final int MAPS_RED
public static final int MEASURED_BY
public static final int MEASURED_BY_REDUNDANTLY
public static final int ML_COMMENT
public static final int MODEL
public static final int MODEL_BEHAVIOR
public static final int MODEL_BEHAVIOUR
public static final int MODIFIABLE
public static final int MODIFIABLE_RED
public static final int MODIFIES
public static final int MODIFIES_RED
public static final int MONITORED
public static final int MONITORS_FOR
public static final int NATIVE
public static final int NEST_END
public static final int NEST_START
public static final int NONZERODIGIT
public static final int NON_NULL
public static final int NORMAL_BEHAVIOR
public static final int NORMAL_BEHAVIOUR
public static final int NOWARN
public static final int NO_STATE
public static final int NULLABLE
public static final int NULLABLE_BY_DEFAULT
public static final int OCTALDIGIT
public static final int OCTALINTEGERLITERAL
public static final int OCTALNUMERAL
public static final int OLD
public static final int POST
public static final int POST_RED
public static final int PRE
public static final int PRE_RED
public static final int PRIVATE
public static final int PROTECTED
public static final int PUBLIC
public static final int PURE
public static final int READABLE
public static final int REPRESENTS
public static final int REPRESENTS_RED
public static final int REQUIRES
public static final int REQUIRES_FREE
public static final int REQUIRES_RED
public static final int RESPECTS
public static final int RETURNS
public static final int RETURN_BEHAVIOR
public static final int RETURN_BEHAVIOUR
public static final int RPAREN
public static final int SEMICOLON
public static final int SEPARATES
public static final int SET
public static final int SIGNALS
public static final int SIGNALS_ONLY
public static final int SIGNALS_ONLY_RED
public static final int SIGNALS_RED
public static final int SL_COMMENT
public static final int SPEC_BIGINT_MATH
public static final int SPEC_JAVA_MATH
public static final int SPEC_NAME
public static final int SPEC_PROTECTED
public static final int SPEC_PUBLIC
public static final int SPEC_SAFE_MATH
public static final int STATIC
public static final int STRICTFP
public static final int STRICTLY_PURE
public static final int STRING_LITERAL
public static final int SYNCHRONIZED
public static final int TRANSIENT
public static final int TWO_STATE
public static final int UNINITIALIZED
public static final int UNREACHABLE
public static final int VOLATILE
public static final int WHEN
public static final int WHEN_RED
public static final int WORKING_SPACE
public static final int WORKING_SPACE_RED
public static final int WRITABLE
public static final int WS
protected KeYJMLPreLexer.DFA23 dfa23
static final String DFA23_eotS
static final String DFA23_eofS
static final String DFA23_minS
static final String DFA23_maxS
static final String DFA23_acceptS
static final String DFA23_specialS
static final String[] DFA23_transitionS
static final short[] DFA23_eot
static final short[] DFA23_eof
static final char[] DFA23_min
static final char[] DFA23_max
static final short[] DFA23_accept
static final short[] DFA23_special
static final short[][] DFA23_transition
public KeYJMLPreLexer()
public KeYJMLPreLexer(CharStream input)
public KeYJMLPreLexer(CharStream input, RecognizerSharedState state)
public Lexer[] getDelegates()
public String getGrammarFileName()
getGrammarFileName
in class BaseRecognizer
public final void mABSTRACT() throws RecognitionException
RecognitionException
public final void mACCESSIBLE() throws RecognitionException
RecognitionException
public final void mACCESSIBLE_REDUNDANTLY() throws RecognitionException
RecognitionException
public final void mALSO() throws RecognitionException
RecognitionException
public final void mASSERT() throws RecognitionException
RecognitionException
public final void mASSERT_REDUNDANTLY() throws RecognitionException
RecognitionException
public final void mASSUME() throws RecognitionException
RecognitionException
public final void mASSUME_REDUNDANTLY() throws RecognitionException
RecognitionException
public final void mASSIGNABLE() throws RecognitionException
RecognitionException
public final void mASSIGNABLE_RED() throws RecognitionException
RecognitionException
public final void mAXIOM() throws RecognitionException
RecognitionException
public final void mBEHAVIOR() throws RecognitionException
RecognitionException
public final void mBEHAVIOUR() throws RecognitionException
RecognitionException
public final void mBREAKS() throws RecognitionException
RecognitionException
public final void mBREAK_BEHAVIOR() throws RecognitionException
RecognitionException
public final void mBREAK_BEHAVIOUR() throws RecognitionException
RecognitionException
public final void mCAPTURES() throws RecognitionException
RecognitionException
public final void mCAPTURES_RED() throws RecognitionException
RecognitionException
public final void mCODE() throws RecognitionException
RecognitionException
public final void mCODE_BIGINT_MATH() throws RecognitionException
RecognitionException
public final void mCODE_JAVA_MATH() throws RecognitionException
RecognitionException
public final void mCODE_SAFE_MATH() throws RecognitionException
RecognitionException
public final void mCONST() throws RecognitionException
RecognitionException
public final void mCONSTRAINT() throws RecognitionException
RecognitionException
public final void mCONSTRAINT_RED() throws RecognitionException
RecognitionException
public final void mCONTINUES() throws RecognitionException
RecognitionException
public final void mCONTINUE_BEHAVIOR() throws RecognitionException
RecognitionException
public final void mCONTINUE_BEHAVIOUR() throws RecognitionException
RecognitionException
public final void mDEBUG() throws RecognitionException
RecognitionException
public final void mDECREASES() throws RecognitionException
RecognitionException
public final void mDECREASES_REDUNDANTLY() throws RecognitionException
RecognitionException
public final void mDECREASING() throws RecognitionException
RecognitionException
public final void mDECREASING_REDUNDANTLY() throws RecognitionException
RecognitionException
public final void mDETERMINES() throws RecognitionException
RecognitionException
public final void mDIVERGES() throws RecognitionException
RecognitionException
public final void mDIVERGES_RED() throws RecognitionException
RecognitionException
public final void mDURATION() throws RecognitionException
RecognitionException
public final void mDURATION_RED() throws RecognitionException
RecognitionException
public final void mENSURES() throws RecognitionException
RecognitionException
public final void mENSURES_FREE() throws RecognitionException
RecognitionException
public final void mENSURES_RED() throws RecognitionException
RecognitionException
public final void mEXCEPTIONAL_BEHAVIOR() throws RecognitionException
RecognitionException
public final void mEXCEPTIONAL_BEHAVIOUR() throws RecognitionException
RecognitionException
public final void mEXSURES() throws RecognitionException
RecognitionException
public final void mEXSURES_RED() throws RecognitionException
RecognitionException
public final void mFINAL() throws RecognitionException
RecognitionException
public final void mFOR_EXAMPLE() throws RecognitionException
RecognitionException
public final void mFORALL() throws RecognitionException
RecognitionException
public final void mGHOST() throws RecognitionException
RecognitionException
public final void mHELPER() throws RecognitionException
RecognitionException
public final void mIMPLIES_THAT() throws RecognitionException
RecognitionException
public final void mIN() throws RecognitionException
RecognitionException
public final void mIN_RED() throws RecognitionException
RecognitionException
public final void mINITIALLY() throws RecognitionException
RecognitionException
public final void mINSTANCE() throws RecognitionException
RecognitionException
public final void mINVARIANT() throws RecognitionException
RecognitionException
public final void mINVARIANT_RED() throws RecognitionException
RecognitionException
public final void mJOIN_PROC() throws RecognitionException
RecognitionException
public final void mLOOP_INVARIANT() throws RecognitionException
RecognitionException
public final void mLOOP_INVARIANT_RED() throws RecognitionException
RecognitionException
public final void mMAINTAINING() throws RecognitionException
RecognitionException
public final void mMAINTAINING_REDUNDANTLY() throws RecognitionException
RecognitionException
public final void mMAPS() throws RecognitionException
RecognitionException
public final void mMAPS_RED() throws RecognitionException
RecognitionException
public final void mMEASURED_BY() throws RecognitionException
RecognitionException
public final void mMEASURED_BY_REDUNDANTLY() throws RecognitionException
RecognitionException
public final void mMODEL() throws RecognitionException
RecognitionException
public final void mMODEL_BEHAVIOR() throws RecognitionException
RecognitionException
public final void mMODEL_BEHAVIOUR() throws RecognitionException
RecognitionException
public final void mMODIFIABLE() throws RecognitionException
RecognitionException
public final void mMODIFIABLE_RED() throws RecognitionException
RecognitionException
public final void mMODIFIES() throws RecognitionException
RecognitionException
public final void mMODIFIES_RED() throws RecognitionException
RecognitionException
public final void mMONITORED() throws RecognitionException
RecognitionException
public final void mMONITORS_FOR() throws RecognitionException
RecognitionException
public final void mNATIVE() throws RecognitionException
RecognitionException
public final void mNON_NULL() throws RecognitionException
RecognitionException
public final void mNORMAL_BEHAVIOR() throws RecognitionException
RecognitionException
public final void mNORMAL_BEHAVIOUR() throws RecognitionException
RecognitionException
public final void mNO_STATE() throws RecognitionException
RecognitionException
public final void mNOWARN() throws RecognitionException
RecognitionException
public final void mNULLABLE() throws RecognitionException
RecognitionException
public final void mNULLABLE_BY_DEFAULT() throws RecognitionException
RecognitionException
public final void mOLD() throws RecognitionException
RecognitionException
public final void mPOST() throws RecognitionException
RecognitionException
public final void mPOST_RED() throws RecognitionException
RecognitionException
public final void mPRE() throws RecognitionException
RecognitionException
public final void mPRE_RED() throws RecognitionException
RecognitionException
public final void mPRIVATE() throws RecognitionException
RecognitionException
public final void mPROTECTED() throws RecognitionException
RecognitionException
public final void mPUBLIC() throws RecognitionException
RecognitionException
public final void mPURE() throws RecognitionException
RecognitionException
public final void mREADABLE() throws RecognitionException
RecognitionException
public final void mREPRESENTS() throws RecognitionException
RecognitionException
public final void mREPRESENTS_RED() throws RecognitionException
RecognitionException
public final void mREQUIRES() throws RecognitionException
RecognitionException
public final void mREQUIRES_FREE() throws RecognitionException
RecognitionException
public final void mREQUIRES_RED() throws RecognitionException
RecognitionException
public final void mRETURNS() throws RecognitionException
RecognitionException
public final void mRETURN_BEHAVIOR() throws RecognitionException
RecognitionException
public final void mRETURN_BEHAVIOUR() throws RecognitionException
RecognitionException
public final void mRESPECTS() throws RecognitionException
RecognitionException
public final void mSEPARATES() throws RecognitionException
RecognitionException
public final void mSET() throws RecognitionException
RecognitionException
public final void mSIGNALS() throws RecognitionException
RecognitionException
public final void mSIGNALS_ONLY() throws RecognitionException
RecognitionException
public final void mSIGNALS_ONLY_RED() throws RecognitionException
RecognitionException
public final void mSIGNALS_RED() throws RecognitionException
RecognitionException
public final void mSPEC_BIGINT_MATH() throws RecognitionException
RecognitionException
public final void mSPEC_JAVA_MATH() throws RecognitionException
RecognitionException
public final void mSPEC_PROTECTED() throws RecognitionException
RecognitionException
public final void mSPEC_PUBLIC() throws RecognitionException
RecognitionException
public final void mSPEC_NAME() throws RecognitionException
RecognitionException
public final void mSPEC_SAFE_MATH() throws RecognitionException
RecognitionException
public final void mSTATIC() throws RecognitionException
RecognitionException
public final void mSTRICTFP() throws RecognitionException
RecognitionException
public final void mSTRICTLY_PURE() throws RecognitionException
RecognitionException
public final void mSYNCHRONIZED() throws RecognitionException
RecognitionException
public final void mTRANSIENT() throws RecognitionException
RecognitionException
public final void mTWO_STATE() throws RecognitionException
RecognitionException
public final void mUNINITIALIZED() throws RecognitionException
RecognitionException
public final void mUNREACHABLE() throws RecognitionException
RecognitionException
public final void mVOLATILE() throws RecognitionException
RecognitionException
public final void mWHEN() throws RecognitionException
RecognitionException
public final void mWHEN_RED() throws RecognitionException
RecognitionException
public final void mWORKING_SPACE() throws RecognitionException
RecognitionException
public final void mWORKING_SPACE_RED() throws RecognitionException
RecognitionException
public final void mWRITABLE() throws RecognitionException
RecognitionException
public final void mSL_COMMENT() throws RecognitionException
RecognitionException
public final void mML_COMMENT() throws RecognitionException
RecognitionException
public final void mLETTER() throws RecognitionException
RecognitionException
public final void mDIGIT() throws RecognitionException
RecognitionException
public final void mWS() throws RecognitionException
RecognitionException
public final void mIDENT() throws RecognitionException
RecognitionException
public final void mNEST_START() throws RecognitionException
RecognitionException
public final void mNEST_END() throws RecognitionException
RecognitionException
public final void mBODY() throws RecognitionException
RecognitionException
public final void mBRACE_DISPATCH() throws RecognitionException
RecognitionException
public final void mSEMICOLON() throws RecognitionException
RecognitionException
public final void mSTRING_LITERAL() throws RecognitionException
RecognitionException
public final void mESC() throws RecognitionException
RecognitionException
public final void mAXIOM_NAME_BEGIN() throws RecognitionException
RecognitionException
public final void mAXIOM_NAME_END() throws RecognitionException
RecognitionException
public final void mLPAREN() throws RecognitionException
RecognitionException
public final void mRPAREN() throws RecognitionException
RecognitionException
public final void mEQUALITY() throws RecognitionException
RecognitionException
public final void mEMPTYBRACKETS() throws RecognitionException
RecognitionException
public final void mCOMMA() throws RecognitionException
RecognitionException
public final void mDOT() throws RecognitionException
RecognitionException
public final void mJAVAOPERATOR() throws RecognitionException
RecognitionException
public final void mJMLSPECIALSYMBOL() throws RecognitionException
RecognitionException
public final void mINTEGERLITERAL() throws RecognitionException
RecognitionException
public final void mDECIMALINTEGERLITERAL() throws RecognitionException
RecognitionException
public final void mHEXINTEGERLITERAL() throws RecognitionException
RecognitionException
public final void mHEXNUMERAL() throws RecognitionException
RecognitionException
public final void mHEXDIGIT() throws RecognitionException
RecognitionException
public final void mOCTALINTEGERLITERAL() throws RecognitionException
RecognitionException
public final void mOCTALNUMERAL() throws RecognitionException
RecognitionException
public final void mOCTALDIGIT() throws RecognitionException
RecognitionException
public final void mDIGITS() throws RecognitionException
RecognitionException
public final void mNONZERODIGIT() throws RecognitionException
RecognitionException
public final void mINTEGERTYPESUFFIX() throws RecognitionException
RecognitionException
public void mTokens() throws RecognitionException
mTokens
in class Lexer
RecognitionException
public final void synpred1_KeYJMLPreLexer_fragment() throws RecognitionException
RecognitionException
public final void synpred2_KeYJMLPreLexer_fragment() throws RecognitionException
RecognitionException
public final void synpred3_KeYJMLPreLexer_fragment() throws RecognitionException
RecognitionException
public final void synpred4_KeYJMLPreLexer_fragment() throws RecognitionException
RecognitionException
public final void synpred5_KeYJMLPreLexer_fragment() throws RecognitionException
RecognitionException
public final void synpred6_KeYJMLPreLexer_fragment() throws RecognitionException
RecognitionException
public final void synpred7_KeYJMLPreLexer_fragment() throws RecognitionException
RecognitionException
public final boolean synpred1_KeYJMLPreLexer()
public final boolean synpred6_KeYJMLPreLexer()
public final boolean synpred7_KeYJMLPreLexer()
public final boolean synpred5_KeYJMLPreLexer()
public final boolean synpred2_KeYJMLPreLexer()
public final boolean synpred3_KeYJMLPreLexer()
public final boolean synpred4_KeYJMLPreLexer()