public class JmlLexer
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 |
ACCESSIBLE |
static int |
ALLFIELDS |
static int |
ALLOBJECTS |
static int |
ALSO |
static int |
AND |
static int |
ASSERT |
static int |
ASSIGNABLE |
static int |
ASSIGNS |
static int |
ASSUME |
static int |
AXIOM |
static int |
BACKUP |
static int |
BEFORE |
static int |
BEHAVIOR |
static int |
BIGINT |
static int |
BINLITERAL |
static int |
BITWISENOT |
static int |
BODY |
static int |
BOOLEAN |
static int |
BREAK_BEHAVIOR |
static int |
BREAKS |
static int |
BSUM |
static int |
BY |
static int |
BYTE |
static int |
C_COLON |
static int |
C_COMMA |
static int |
C_DOT |
static int |
C_LBRACE |
static int |
C_LBRACKET |
static int |
C_LPAREN |
static int |
C_RBRACE |
static int |
C_RBRACKET |
static int |
C_RPAREN |
static int |
C_STRING_LITERAL |
static int |
CAPTURES |
static java.lang.String[] |
channelNames |
static int |
CHAR_LITERAL |
static int |
CODE |
static int |
CODE_BIGINT_MATH |
static int |
CODE_JAVA_MATH |
static int |
CODE_SAFE_MATH |
static int |
CODE_SAVE_MATH |
static int |
COLON |
static int |
COMMA |
static int |
COMMENT |
static int |
CONST |
static int |
CONSTRAINT |
static int |
CONTINUE_BEHAVIOR |
static int |
CONTINUES |
static int |
DEBUG |
static int |
DECLASSIFIES |
static int |
DECLITERAL |
static int |
DECREASING |
static int |
DEPENDS |
static int |
DETERMINES |
static int |
DISJOINT |
static int |
DIV |
static int |
DIVERGES |
static int |
DOC_COMMENT |
static int |
DOMAIN_IMPLIES_CREATED |
static int |
DOT |
static int |
DOTDOT |
static int |
DURATION |
static int |
E_JML_ML_END |
static int |
E_MEASURED_BY |
static int |
E_TRANSIENT |
static int |
ELEMTYPE |
static int |
EMPTYSET |
static int |
ENSURES |
static int |
EQ_NEQ |
static int |
EQUAL_SINGLE |
static int |
EQV_ANTIV |
static int |
ERASES |
static int |
ERROR_CHAR |
static int |
EVERYTHING |
static int |
EXCEPTION |
static int |
EXCEPTIONAL_BEHAVIOUR |
static int |
EXISTS |
static int |
expr |
static int |
FALSE |
static int |
FINAL |
static int |
FOR_EXAMPLE |
static int |
FORALL |
static int |
FREE |
static int |
FRESH |
static int |
GEQ |
static int |
GHOST |
static int |
GT |
static int |
HELPER |
static int |
HEXLITERAL |
static int |
IDENT |
static int |
IMPLIES |
static int |
IMPLIES_THAT |
static int |
IMPLIESBACKWARD |
static int |
IN |
static int |
IN_DOMAIN |
static int |
INCLUSIVEOR |
static int |
INDEX |
static int |
INDEXOF |
static int |
INFORMAL_DESCRIPTION |
static int |
INITIALLY |
static int |
INSTANCE |
static int |
INSTANCEOF |
static int |
INT |
static int |
INTERSECT |
static int |
INTO |
static int |
INV |
static int |
INVARIANT |
static int |
INVARIANT_FOR |
static int |
IS_FINITE |
static int |
IS_INITIALIZED |
static int |
ITSELF |
static int |
JML_IDENT |
static int |
JML_ML_END |
static int |
JML_ML_START |
static int |
JML_SL_START |
static int |
LARROW |
static int |
LBLNEG |
static int |
LBLPOS |
static int |
LBRACE |
static int |
LBRACKET |
static int |
LEQ |
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_CONTRACT |
static int |
LOOP_DETERMINES |
static int |
LOOP_INVARIANT |
static int |
LOOP_SEPARATES |
static int |
LPAREN |
static int |
LT |
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 |
MAPS |
static int |
MAX |
static int |
MEASURED_BY |
static int |
MERGE_PARAMS |
static int |
MERGE_POINT |
static int |
MERGE_PROC |
static int |
MIN |
static int |
MINUS |
static int |
mlComment |
static int |
MOD |
static int |
MODEL |
static int |
MODEL_BEHAVIOUR |
static java.lang.String[] |
modeNames |
static int |
MODIFIABLE |
static int |
MODIFIES |
static int |
MONITORED |
static int |
MONITORS_FOR |
static int |
MULT |
static int |
NATIVE |
static int |
NEST_END |
static int |
NEST_START |
static int |
NEW |
static int |
NEW_OBJECTS |
static int |
NEWELEMSFRESH |
static int |
NO_STATE |
static int |
NON_NULL |
static int |
NONNULLELEMENTS |
static int |
NORMAL_BEHAVIOR |
static int |
NOT |
static int |
NOT_ASSIGNED |
static int |
NOT_MODIFIED |
static int |
NOT_SPECIFIED |
static int |
NOTHING |
static int |
NOWARN |
static int |
NULL |
static int |
NULLABLE |
static int |
NULLABLE_BY_DEFAULT |
static int |
NUM_OF |
static int |
OCTLITERAL |
static int |
OLD |
static int |
PERMISSION |
static int |
PLUS |
static int |
PRE |
static int |
PRIVATE |
static int |
PRODUCT |
static int |
PROTECTED |
static int |
PUBLIC |
static int |
PURE |
static int |
QUESTIONMARK |
static int |
RARROW |
static int |
RBRACE |
static int |
RBRACKET |
static int |
REACH |
static int |
REACHLOCS |
static int |
READABLE |
static int |
REAL |
static int |
REPRESENTS |
static int |
REQUIRES |
static int |
RESPECTS |
static int |
RESULT |
static int |
RETURN |
static int |
RETURN_BEHAVIOR |
static int |
RETURNS |
static int |
RPAREN |
static java.lang.String[] |
ruleNames |
static int |
S_ESC |
static int |
SAME |
static int |
SEMI |
static int |
SEMI_TOPLEVEL |
static int |
SEMICOLON |
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 |
SET |
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 |
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 |
SPEC_SAVE_MATH |
static int |
SPECIAL_IDENT |
static int |
ST |
static int |
STATIC |
static int |
STATIC_INVARIANT_FOR |
static int |
STOREREF |
static int |
STRICTFP |
static int |
STRICTLY_NOTHING |
static int |
STRICTLY_PURE |
static int |
string |
static int |
STRING_EQUAL |
static int |
STRING_LITERAL |
static int |
SUBSET |
static int |
SUCH_THAT |
static int |
SUM |
static int |
SUPER |
static int |
SYNCHRONIZED |
static int |
THIS |
static java.lang.String[] |
tokenNames
Deprecated.
Use
VOCABULARY instead. |
static int |
TRANSACTIONUPDATED |
static int |
TRANSIENT |
static int |
TRUE |
static int |
TWO_STATE |
static int |
TYPE |
static int |
TYPE_SMALL |
static int |
TYPEOF |
static int |
UNINITIALIZED |
static int |
UNION |
static int |
UNIONINF |
static int |
UNREACHABLE |
static int |
UNSIGNEDSHIFTRIGHT |
static int |
VALUES |
static org.antlr.v4.runtime.Vocabulary |
VOCABULARY |
static int |
VOID |
static int |
VOLATILE |
static int |
WHEN |
static int |
WORKING_SPACE |
static int |
WORKINGSPACE |
static int |
WRITABLE |
static int |
WS |
static int |
XOR |
_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 |
---|
JmlLexer(org.antlr.v4.runtime.CharStream input) |
Modifier and Type | Method and Description |
---|---|
void |
action(org.antlr.v4.runtime.RuleContext _localctx,
int ruleIndex,
int actionIndex) |
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() |
boolean |
sempred(org.antlr.v4.runtime.RuleContext _localctx,
int ruleIndex,
int predIndex) |
emit, emit, emitEOF, getAllTokens, getChannel, getCharErrorDisplay, getCharIndex, getCharPositionInLine, getErrorDisplay, getErrorDisplay, getInputStream, getLine, getSourceName, getText, getToken, getTokenFactory, getType, mode, more, nextToken, notifyListeners, popMode, pushMode, recover, recover, reset, setChannel, setCharPositionInLine, setInputStream, setLine, setText, setToken, setTokenFactory, setType, skip
addErrorListener, getErrorHeader, getErrorListenerDispatch, getErrorListeners, getInterpreter, getParseInfo, getRuleIndexMap, getState, getTokenErrorDisplay, getTokenType, getTokenTypeMap, precpred, removeErrorListener, removeErrorListeners, 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 BODY
public static final int COMMENT
public static final int STRING_LITERAL
public static final int MODEL_BEHAVIOUR
public static final int ABSTRACT
public static final int BEHAVIOR
public static final int EXCEPTIONAL_BEHAVIOUR
public static final int BREAK_BEHAVIOR
public static final int CONTINUE_BEHAVIOR
public static final int ALSO
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 CONST
public static final int NATIVE
public static final int NON_NULL
public static final int NORMAL_BEHAVIOR
public static final int NO_STATE
public static final int NOWARN
public static final int NULLABLE
public static final int NULLABLE_BY_DEFAULT
public static final int SPEC_SAVE_MATH
public static final int CODE_SAVE_MATH
public static final int SPEC_BIGINT_MATH
public static final int SPEC_JAVA_MATH
public static final int SPEC_PROTECTED
public static final int SPEC_PUBLIC
public static final int GHOST
public static final int SPEC_NAME
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 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 PRIVATE
public static final int PROTECTED
public static final int PUBLIC
public static final int PURE
public static final int RETURN_BEHAVIOR
public static final int FINAL
public static final int MODEL
public static final int ACCESSIBLE
public static final int ASSERT
public static final int ASSUME
public static final int ASSIGNABLE
public static final int ASSIGNS
public static final int AXIOM
public static final int BREAKS
public static final int CAPTURES
public static final int CODE
public static final int CONSTRAINT
public static final int CONTINUES
public static final int DEBUG
public static final int DECREASING
public static final int DETERMINES
public static final int DIVERGES
public static final int ENSURES
public static final int FOR_EXAMPLE
public static final int HELPER
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 INVARIANT
public static final int LOOP_CONTRACT
public static final int LOOP_INVARIANT
public static final int LOOP_DETERMINES
public static final int LOOP_SEPARATES
public static final int MAPS
public static final int MEASURED_BY
public static final int MERGE_POINT
public static final int MERGE_PROC
public static final int MERGE_PARAMS
public static final int MODIFIABLE
public static final int MODIFIES
public static final int MONITORED
public static final int MONITORS_FOR
public static final int READABLE
public static final int REPRESENTS
public static final int REQUIRES
public static final int RETURN
public static final int RETURNS
public static final int RESPECTS
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 WHEN
public static final int WORKING_SPACE
public static final int WRITABLE
public static final int JML_ML_END
public static final int WS
public static final int NEST_START
public static final int NEST_END
public static final int SL_COMMENT
public static final int JML_SL_START
public static final int JML_ML_START
public static final int ERROR_CHAR
public static final int BOOLEAN
public static final int BYTE
public static final int FALSE
public static final int INSTANCEOF
public static final int INT
public static final int LONG
public static final int NEW
public static final int NULL
public static final int SHORT
public static final int SUPER
public static final int THIS
public static final int TRUE
public static final int VOID
public static final int DEPENDS
public static final int ALLFIELDS
public static final int ALLOBJECTS
public static final int BACKUP
public static final int BEFORE
public static final int BIGINT
public static final int BSUM
public static final int BY
public static final int DECLASSIFIES
public static final int DISJOINT
public static final int DOMAIN_IMPLIES_CREATED
public static final int DURATION
public static final int ELEMTYPE
public static final int EMPTYSET
public static final int ERASES
public static final int EVERYTHING
public static final int EXCEPTION
public static final int EXISTS
public static final int FORALL
public static final int FREE
public static final int FRESH
public static final int INDEX
public static final int INDEXOF
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 LBLNEG
public static final int LBLPOS
public static final int LOCKSET
public static final int LOCSET
public static final int STOREREF
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 MIN
public static final int NEWELEMSFRESH
public static final int NEW_OBJECTS
public static final int NONNULLELEMENTS
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 NUM_OF
public static final int OLD
public static final int PERMISSION
public static final int PRE
public static final int PRODUCT
public static final int REACH
public static final int REACHLOCS
public static final int REAL
public static final int RESULT
public static final int SAME
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 SINGLETON
public static final int SPACE
public static final int STATIC_INVARIANT_FOR
public static final int STRICTLY_NOTHING
public static final int STRING_EQUAL
public static final int SUBSET
public static final int SUCH_THAT
public static final int SUM
public static final int TRANSACTIONUPDATED
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 VALUES
public static final int WORKINGSPACE
public static final int E_JML_ML_END
public static final int AND
public static final int BITWISENOT
public static final int COLON
public static final int COMMA
public static final int DIV
public static final int DOT
public static final int DOTDOT
public static final int EQUAL_SINGLE
public static final int EQV_ANTIV
public static final int EQ_NEQ
public static final int GEQ
public static final int IMPLIES
public static final int IMPLIESBACKWARD
public static final int INCLUSIVEOR
public static final int LARROW
public static final int LEQ
public static final int LOCKSET_LEQ
public static final int LOCKSET_LT
public static final int LOGICALAND
public static final int LOGICALOR
public static final int MINUS
public static final int MOD
public static final int MULT
public static final int NOT
public static final int PLUS
public static final int QUESTIONMARK
public static final int RARROW
public static final int SHIFTLEFT
public static final int SHIFTRIGHT
public static final int ST
public static final int UNSIGNEDSHIFTRIGHT
public static final int XOR
public static final int GT
public static final int LT
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 SEMI_TOPLEVEL
public static final int SEMI
public static final int BINLITERAL
public static final int OCTLITERAL
public static final int DECLITERAL
public static final int HEXLITERAL
public static final int IDENT
public static final int JML_IDENT
public static final int SPECIAL_IDENT
public static final int CHAR_LITERAL
public static final int INFORMAL_DESCRIPTION
public static final int DOC_COMMENT
public static final int C_RBRACKET
public static final int C_LBRACKET
public static final int SEMICOLON
public static final int C_LBRACE
public static final int C_RBRACE
public static final int C_LPAREN
public static final int C_RPAREN
public static final int C_STRING_LITERAL
public static final int C_COLON
public static final int C_DOT
public static final int C_COMMA
public static final int E_MEASURED_BY
public static final int E_TRANSIENT
public static final int S_ESC
public static final int expr
public static final int mlComment
public static final int string
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 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>
public void action(org.antlr.v4.runtime.RuleContext _localctx, int ruleIndex, int actionIndex)
action
in class org.antlr.v4.runtime.Recognizer<java.lang.Integer,org.antlr.v4.runtime.atn.LexerATNSimulator>
public boolean sempred(org.antlr.v4.runtime.RuleContext _localctx, int ruleIndex, int predIndex)
sempred
in class org.antlr.v4.runtime.Recognizer<java.lang.Integer,org.antlr.v4.runtime.atn.LexerATNSimulator>
Copyright © 2003-2019 The KeY-Project.