public class KeYLexer
extends org.antlr.v4.runtime.Lexer
Modifier and Type | Field and Description |
---|---|
static org.antlr.v4.runtime.atn.ATN |
_ATN |
protected static org.antlr.v4.runtime.dfa.DFA[] |
_decisionToDFA |
static java.lang.String |
_serializedATN |
protected static org.antlr.v4.runtime.atn.PredictionContextCache |
_sharedContextCache |
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 |
BIN_LITERAL |
static int |
BOOTCLASSPATH |
static java.lang.String[] |
channelNames |
static int |
CHAR_LITERAL |
static int |
CHOOSECONTRACT |
static int |
CLASSPATH |
static int |
CLOSEGOAL |
static int |
COLON |
static int |
COMMA |
static int |
COMMENT |
static int |
COMMENT_END |
static int |
CONTAINERTYPE |
static int |
CONTAINS_ASSIGNMENT |
static int |
CONTRACTS |
static int |
DEPENDINGON |
static int |
DIFFERENT |
static int |
DIFFERENTFIELDS |
static int |
DISJOINTMODULONULL |
static int |
DISPLAYNAME |
static int |
DOC_COMMENT |
static int |
docComment |
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 |
EQUAL_UNIQUE |
static int |
EQUALS |
static int |
EQV |
static int |
ERROR_CHAR |
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 |
GET_FREE_INVARIANT |
static int |
GET_INVARIANT |
static int |
GET_VARIANT |
static int |
GREATER |
static int |
GREATEREQUAL |
static int |
HAS_ELEMENTARY_SORT |
static int |
HAS_INVARIANT |
static int |
HASLABEL |
static int |
HASSORT |
static int |
HASSUBFORMULAS |
static int |
HELPTEXT |
static int |
HEURISTICS |
static int |
HEURISTICSDECL |
static int |
HEX_LITERAL |
static int |
IDENT |
static int |
IF |
static int |
IFEX |
static int |
IMP |
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 |
IS_LABELED |
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 |
JAVASOURCE |
static int |
KEYSETTINGS |
static int |
LBRACE |
static int |
LBRACKET |
static int |
LEMMA |
static int |
LESS |
static int |
LESSEQUAL |
static int |
LGUILLEMETS |
static int |
LPAREN |
static int |
MAXEXPANDMETHOD |
static int |
METADISJOINT |
static int |
MINUS |
static int |
ML_COMMENT |
static int |
MODAILITYGENERIC1 |
static int |
MODAILITYGENERIC2 |
static int |
MODAILITYGENERIC3 |
static int |
MODAILITYGENERIC4 |
static int |
MODAILITYGENERIC5 |
static int |
MODAILITYGENERIC6 |
static int |
MODAILITYGENERIC7 |
static int |
MODALITY |
static int |
MODALITYB |
static int |
MODALITYB_END |
static int |
MODALITYBB |
static int |
MODALITYBB_END |
static int |
MODALITYD |
static int |
MODALITYD_CHAR |
static int |
MODALITYD_END |
static int |
MODALITYD_STRING |
static int |
MODALITYG_END |
static int |
MODALOPERATOR |
static int |
modBox |
static int |
modBoxBox |
static int |
modChar |
static int |
modComment |
static int |
modDiamond |
static java.lang.String[] |
modeNames |
static int |
modGeneric |
static int |
MODIFIES |
static int |
modString |
static int |
NEW |
static int |
NEW_DEPENDING_ON |
static int |
NEW_TYPE_OF |
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 |
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 java.lang.String[] |
ruleNames |
static int |
RULES |
static int |
SAME |
static int |
SAME_OBSERVER |
static int |
SAMEUPDATELEVEL |
static int |
SCHEMAVAR |
static int |
SCHEMAVARIABLES |
static int |
SEMI |
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 |
STORE_STMT_IN |
static int |
STORE_TERM_IN |
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 java.lang.String[] |
tokenNames
Deprecated.
Use
VOCABULARY instead. |
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 org.antlr.v4.runtime.Vocabulary |
VOCABULARY |
static int |
WITHOPTIONS |
static int |
WS |
_channel, _factory, _hitEOF, _input, _mode, _modeStack, _text, _token, _tokenFactorySourcePair, _tokenStartCharIndex, _tokenStartCharPositionInLine, _tokenStartLine, _type, DEFAULT_MODE, DEFAULT_TOKEN_CHANNEL, HIDDEN, MAX_CHAR_VALUE, MIN_CHAR_VALUE, MORE, SKIP
Constructor and Description |
---|
KeYLexer(org.antlr.v4.runtime.CharStream input) |
Modifier and Type | Method and Description |
---|---|
void |
emit(org.antlr.v4.runtime.Token token) |
org.antlr.v4.runtime.atn.ATN |
getATN() |
java.lang.String[] |
getChannelNames() |
java.lang.String |
getGrammarFileName() |
java.lang.String[] |
getModeNames() |
java.lang.String[] |
getRuleNames() |
java.lang.String |
getSerializedATN() |
java.lang.String[] |
getTokenNames()
Deprecated.
|
org.antlr.v4.runtime.Vocabulary |
getVocabulary() |
org.antlr.v4.runtime.Token |
nextToken() |
emit, emitEOF, getAllTokens, getChannel, getCharErrorDisplay, getCharIndex, getCharPositionInLine, getErrorDisplay, getErrorDisplay, getInputStream, getLine, getSourceName, getText, getToken, getTokenFactory, getType, mode, more, notifyListeners, popMode, pushMode, recover, recover, reset, setChannel, setCharPositionInLine, setInputStream, setLine, setText, setToken, setTokenFactory, setType, skip
action, addErrorListener, getErrorHeader, getErrorListenerDispatch, getErrorListeners, getInterpreter, getParseInfo, getRuleIndexMap, getState, getTokenErrorDisplay, getTokenType, getTokenTypeMap, precpred, removeErrorListener, removeErrorListeners, sempred, setInterpreter, setState
protected static final org.antlr.v4.runtime.dfa.DFA[] _decisionToDFA
protected static final org.antlr.v4.runtime.atn.PredictionContextCache _sharedContextCache
public static final int MODALITY
public static final int SORTS
public static final int GENERIC
public static final int PROXY
public static final int EXTENDS
public static final int ONEOF
public static final int ABSTRACT
public static final int SCHEMAVARIABLES
public static final int SCHEMAVAR
public static final int MODALOPERATOR
public static final int PROGRAM
public static final int FORMULA
public static final int TERM
public static final int UPDATE
public static final int VARIABLES
public static final int VARIABLE
public static final int SKOLEMTERM
public static final int SKOLEMFORMULA
public static final int TERMLABEL
public static final int MODIFIES
public static final int PROGRAMVARIABLES
public static final int STORE_TERM_IN
public static final int STORE_STMT_IN
public static final int HAS_INVARIANT
public static final int GET_INVARIANT
public static final int GET_FREE_INVARIANT
public static final int GET_VARIANT
public static final int IS_LABELED
public static final int SAME_OBSERVER
public static final int VARCOND
public static final int APPLY_UPDATE_ON_RIGID
public static final int DEPENDINGON
public static final int DISJOINTMODULONULL
public static final int DROP_EFFECTLESS_ELEMENTARIES
public static final int DROP_EFFECTLESS_STORES
public static final int SIMPLIFY_IF_THEN_ELSE_UPDATE
public static final int ENUM_CONST
public static final int FREELABELIN
public static final int HASSORT
public static final int FIELDTYPE
public static final int FINAL
public static final int ELEMSORT
public static final int HASLABEL
public static final int HASSUBFORMULAS
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 DIFFERENT
public static final int METADISJOINT
public static final int ISTHISREFERENCE
public static final int DIFFERENTFIELDS
public static final int ISREFERENCE
public static final int ISREFERENCEARRAY
public static final int ISSTATICFIELD
public static final int ISSUBTYPE
public static final int EQUAL_UNIQUE
public static final int NEW
public static final int NEW_TYPE_OF
public static final int NEW_DEPENDING_ON
public static final int HAS_ELEMENTARY_SORT
public static final int NEWLABEL
public static final int CONTAINS_ASSIGNMENT
public static final int NOT_
public static final int NOTFREEIN
public static final int SAME
public static final int STATIC
public static final int STATICMETHODREFERENCE
public static final int MAXEXPANDMETHOD
public static final int STRICT
public static final int TYPEOF
public static final int INSTANTIATE_GENERIC
public static final int FORALL
public static final int EXISTS
public static final int SUBST
public static final int IF
public static final int IFEX
public static final int THEN
public static final int ELSE
public static final int INCLUDE
public static final int INCLUDELDTS
public static final int CLASSPATH
public static final int BOOTCLASSPATH
public static final int NODEFAULTCLASSES
public static final int JAVASOURCE
public static final int WITHOPTIONS
public static final int OPTIONSDECL
public static final int KEYSETTINGS
public static final int PROFILE
public static final int TRUE
public static final int FALSE
public static final int SAMEUPDATELEVEL
public static final int INSEQUENTSTATE
public static final int ANTECEDENTPOLARITY
public static final int SUCCEDENTPOLARITY
public static final int CLOSEGOAL
public static final int HEURISTICSDECL
public static final int NONINTERACTIVE
public static final int DISPLAYNAME
public static final int HELPTEXT
public static final int REPLACEWITH
public static final int ADDRULES
public static final int ADDPROGVARS
public static final int HEURISTICS
public static final int FIND
public static final int ADD
public static final int ASSUMES
public static final int TRIGGER
public static final int AVOID
public static final int PREDICATES
public static final int FUNCTIONS
public static final int TRANSFORMERS
public static final int UNIQUE
public static final int RULES
public static final int AXIOMS
public static final int PROBLEM
public static final int CHOOSECONTRACT
public static final int PROOFOBLIGATION
public static final int PROOF
public static final int PROOFSCRIPT
public static final int CONTRACTS
public static final int INVARIANTS
public static final int LEMMA
public static final int IN_TYPE
public static final int IS_ABSTRACT_OR_INTERFACE
public static final int CONTAINERTYPE
public static final int UTF_PRECEDES
public static final int UTF_IN
public static final int UTF_EMPTY
public static final int UTF_UNION
public static final int UTF_INTERSECT
public static final int UTF_SUBSET
public static final int UTF_SETMINUS
public static final int SEMI
public static final int SLASH
public static final int COLON
public static final int DOUBLECOLON
public static final int ASSIGN
public static final int DOT
public static final int DOTRANGE
public static final int COMMA
public static final int LPAREN
public static final int RPAREN
public static final int LBRACE
public static final int RBRACE
public static final int LBRACKET
public static final int RBRACKET
public static final int EMPTYBRACKETS
public static final int AT
public static final int PARALLEL
public static final int OR
public static final int AND
public static final int NOT
public static final int IMP
public static final int EQUALS
public static final int NOT_EQUALS
public static final int SEQARROW
public static final int EXP
public static final int TILDE
public static final int PERCENT
public static final int STAR
public static final int MINUS
public static final int PLUS
public static final int GREATER
public static final int GREATEREQUAL
public static final int RGUILLEMETS
public static final int WS
public static final int STRING_LITERAL
public static final int LESS
public static final int LESSEQUAL
public static final int LGUILLEMETS
public static final int EQV
public static final int PRIMES
public static final int CHAR_LITERAL
public static final int QUOTED_STRING_LITERAL
public static final int SL_COMMENT
public static final int BIN_LITERAL
public static final int HEX_LITERAL
public static final int IDENT
public static final int NUM_LITERAL
public static final int ERROR_CHAR
public static final int COMMENT_END
public static final int DOC_COMMENT
public static final int ML_COMMENT
public static final int MODALITYD
public static final int MODALITYB
public static final int MODALITYBB
public static final int MODAILITYGENERIC1
public static final int MODAILITYGENERIC2
public static final int MODAILITYGENERIC3
public static final int MODAILITYGENERIC4
public static final int MODAILITYGENERIC5
public static final int MODAILITYGENERIC6
public static final int MODAILITYGENERIC7
public static final int MODALITYD_END
public static final int MODALITYD_STRING
public static final int MODALITYD_CHAR
public static final int MODALITYG_END
public static final int MODALITYB_END
public static final int MODALITYBB_END
public static final int modDiamond
public static final int modGeneric
public static final int modBox
public static final int modBoxBox
public static final int modString
public static final int modChar
public static final int modComment
public static final int COMMENT
public static final int docComment
public static java.lang.String[] channelNames
public static java.lang.String[] modeNames
public static final java.lang.String[] ruleNames
public static final org.antlr.v4.runtime.Vocabulary VOCABULARY
@Deprecated public static final java.lang.String[] tokenNames
VOCABULARY
instead.public static final java.lang.String _serializedATN
public static final org.antlr.v4.runtime.atn.ATN _ATN
@Deprecated public java.lang.String[] getTokenNames()
getTokenNames
in class org.antlr.v4.runtime.Lexer
public org.antlr.v4.runtime.Vocabulary getVocabulary()
getVocabulary
in class org.antlr.v4.runtime.Recognizer<java.lang.Integer,org.antlr.v4.runtime.atn.LexerATNSimulator>
public void emit(org.antlr.v4.runtime.Token token)
emit
in class org.antlr.v4.runtime.Lexer
public org.antlr.v4.runtime.Token nextToken()
nextToken
in interface org.antlr.v4.runtime.TokenSource
nextToken
in class org.antlr.v4.runtime.Lexer
public java.lang.String getGrammarFileName()
getGrammarFileName
in class org.antlr.v4.runtime.Recognizer<java.lang.Integer,org.antlr.v4.runtime.atn.LexerATNSimulator>
public java.lang.String[] getRuleNames()
getRuleNames
in class org.antlr.v4.runtime.Recognizer<java.lang.Integer,org.antlr.v4.runtime.atn.LexerATNSimulator>
public java.lang.String getSerializedATN()
getSerializedATN
in class org.antlr.v4.runtime.Recognizer<java.lang.Integer,org.antlr.v4.runtime.atn.LexerATNSimulator>
public java.lang.String[] getChannelNames()
getChannelNames
in class org.antlr.v4.runtime.Lexer
public java.lang.String[] getModeNames()
getModeNames
in class org.antlr.v4.runtime.Lexer
public org.antlr.v4.runtime.atn.ATN getATN()
getATN
in class org.antlr.v4.runtime.Recognizer<java.lang.Integer,org.antlr.v4.runtime.atn.LexerATNSimulator>
Copyright © 2003-2019 The KeY-Project.