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