de.rwth.i2.attestor.seplog

Class SeparationLogicLexer

java.lang.Object

org.antlr.v4.runtime.Recognizer<Integer,org.antlr.v4.runtime.atn.LexerATNSimulator>

org.antlr.v4.runtime.Lexer

de.rwth.i2.attestor.seplog.SeparationLogicLexer

All Implemented Interfaces:

org.antlr.v4.runtime.TokenSource

public class SeparationLogicLexer
extends org.antlr.v4.runtime.Lexer

Field Summary

Fields

Modifier and Type	Field and Description
static org.antlr.v4.runtime.atn.ATN	_ATN
protected static org.antlr.v4.runtime.dfa.DFA[]	_decisionToDFA
static String	_serializedATN
protected static org.antlr.v4.runtime.atn.PredictionContextCache	_sharedContextCache
static String[]	channelNames
static int	EMP
static int	EQ
static int	FIELDACCESS
static int	ID
static String[]	modeNames
static int	NULL
static int	NUM
static int	PTO
static int	REDUCTION
static int	RULEDELIM
static String[]	ruleNames
static int	SEP
static int	T__0
static int	T__1
static int	T__2
static int	T__3
static int	T__4
static int	T__5
static int	T__6
static String[]	tokenNames Deprecated. Use VOCABULARY instead.
static int	US
static int	VARPREFIX
static int	VARSUFFIX
static org.antlr.v4.runtime.Vocabulary	VOCABULARY
static int	WS

Fields inherited from class org.antlr.v4.runtime.Lexer

_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

Fields inherited from class org.antlr.v4.runtime.Recognizer

_interp, EOF

Constructor Summary

Constructors

Constructor and Description
SeparationLogicLexer(org.antlr.v4.runtime.CharStream input)

Method Summary

Modifier and Type	Method and Description
org.antlr.v4.runtime.atn.ATN	getATN()
String[]	getChannelNames()
String	getGrammarFileName()
String[]	getModeNames()
String[]	getRuleNames()
String	getSerializedATN()
String[]	getTokenNames() Deprecated.
org.antlr.v4.runtime.Vocabulary	getVocabulary()

Methods inherited from class org.antlr.v4.runtime.Lexer

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

Methods inherited from class org.antlr.v4.runtime.Recognizer

action, addErrorListener, getErrorHeader, getErrorListenerDispatch, getErrorListeners, getInterpreter, getParseInfo, getRuleIndexMap, getState, getTokenErrorDisplay, getTokenType, getTokenTypeMap, precpred, removeErrorListener, removeErrorListeners, sempred, setInterpreter, setState

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

_decisionToDFA

protected static final org.antlr.v4.runtime.dfa.DFA[] _decisionToDFA

_sharedContextCache

protected static final org.antlr.v4.runtime.atn.PredictionContextCache _sharedContextCache

T__0

public static final int T__0

See Also:

Constant Field Values

T__1

public static final int T__1

See Also:

Constant Field Values

T__2

public static final int T__2

See Also:

Constant Field Values

T__3

public static final int T__3

See Also:

Constant Field Values

T__4

public static final int T__4

See Also:

Constant Field Values

T__5

public static final int T__5

See Also:

Constant Field Values

T__6

public static final int T__6

See Also:

Constant Field Values

NULL

public static final int NULL

See Also:

Constant Field Values

EMP

public static final int EMP

See Also:

Constant Field Values

PTO

public static final int PTO

See Also:

Constant Field Values

SEP

public static final int SEP

See Also:

Constant Field Values

EQ

public static final int EQ

See Also:

Constant Field Values

FIELDACCESS

public static final int FIELDACCESS

See Also:

Constant Field Values

RULEDELIM

public static final int RULEDELIM

See Also:

Constant Field Values

US

public static final int US

See Also:

Constant Field Values

REDUCTION

public static final int REDUCTION

See Also:

Constant Field Values

VARPREFIX

public static final int VARPREFIX

See Also:

Constant Field Values

VARSUFFIX

public static final int VARSUFFIX

See Also:

Constant Field Values

ID

public static final int ID

See Also:

Constant Field Values

NUM

public static final int NUM

See Also:

Constant Field Values

WS

public static final int WS

See Also:

Constant Field Values

channelNames

public static String[] channelNames

modeNames

public static String[] modeNames

ruleNames

public static final String[] ruleNames

VOCABULARY

public static final org.antlr.v4.runtime.Vocabulary VOCABULARY

tokenNames

@Deprecated
public static final String[] tokenNames

Deprecated. Use VOCABULARY instead.

_serializedATN

public static final String _serializedATN

See Also:

Constant Field Values

_ATN

public static final org.antlr.v4.runtime.atn.ATN _ATN

Constructor Detail

SeparationLogicLexer

public SeparationLogicLexer(org.antlr.v4.runtime.CharStream input)

Method Detail

getTokenNames

@Deprecated
public String[] getTokenNames()

Deprecated.

Overrides:

getTokenNames in class org.antlr.v4.runtime.Lexer

getVocabulary

public org.antlr.v4.runtime.Vocabulary getVocabulary()

Overrides:

getVocabulary in class org.antlr.v4.runtime.Recognizer<Integer,org.antlr.v4.runtime.atn.LexerATNSimulator>

getGrammarFileName

public String getGrammarFileName()

Specified by:

getGrammarFileName in class org.antlr.v4.runtime.Recognizer<Integer,org.antlr.v4.runtime.atn.LexerATNSimulator>

getRuleNames

public String[] getRuleNames()

Specified by:

getRuleNames in class org.antlr.v4.runtime.Recognizer<Integer,org.antlr.v4.runtime.atn.LexerATNSimulator>

getSerializedATN

public String getSerializedATN()

Overrides:

getSerializedATN in class org.antlr.v4.runtime.Recognizer<Integer,org.antlr.v4.runtime.atn.LexerATNSimulator>

getChannelNames

public String[] getChannelNames()

Overrides:

getChannelNames in class org.antlr.v4.runtime.Lexer

getModeNames

public String[] getModeNames()

Overrides:

getModeNames in class org.antlr.v4.runtime.Lexer

getATN

public org.antlr.v4.runtime.atn.ATN getATN()

Specified by:

getATN in class org.antlr.v4.runtime.Recognizer<Integer,org.antlr.v4.runtime.atn.LexerATNSimulator>