Class CTLLexer

java.lang.Object

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

org.antlr.v4.runtime.Lexer

CTLLexer

All Implemented Interfaces:

org.antlr.v4.runtime.TokenSource

public class CTLLexer
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 java.lang.String	_serializedATN
protected static org.antlr.v4.runtime.atn.PredictionContextCache	_sharedContextCache
static int	A
static int	ATOMIC_PROPOSITION
static java.lang.String[]	channelNames
static int	E
static int	EQUIV
static int	F
static int	FALSE
static int	G
static java.lang.String[]	modeNames
static int	NEG
static java.lang.String[]	ruleNames
static int	T__0
static int	T__1
static int	TO
static java.lang.String[]	tokenNames Deprecated. Use VOCABULARY instead.
static int	TRUE
static int	U
static int	VEE
static org.antlr.v4.runtime.Vocabulary	VOCABULARY
static int	WEDGE
static int	WS
static int	X

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
CTLLexer(org.antlr.v4.runtime.CharStream input)

Method Summary

Modifier and Type	Method and Description
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()

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

TRUE

public static final int TRUE

See Also:

Constant Field Values

FALSE

public static final int FALSE

See Also:

Constant Field Values

E

public static final int E

See Also:

Constant Field Values

A

public static final int A

See Also:

Constant Field Values

X

public static final int X

See Also:

Constant Field Values

U

public static final int U

See Also:

Constant Field Values

F

public static final int F

See Also:

Constant Field Values

G

public static final int G

See Also:

Constant Field Values

WEDGE

public static final int WEDGE

See Also:

Constant Field Values

VEE

public static final int VEE

See Also:

Constant Field Values

NEG

public static final int NEG

See Also:

Constant Field Values

TO

public static final int TO

See Also:

Constant Field Values

EQUIV

public static final int EQUIV

See Also:

Constant Field Values

ATOMIC_PROPOSITION

public static final int ATOMIC_PROPOSITION

See Also:

Constant Field Values

WS

public static final int WS

See Also:

Constant Field Values

channelNames

public static java.lang.String[] channelNames

modeNames

public static java.lang.String[] modeNames

ruleNames

public static final java.lang.String[] ruleNames

VOCABULARY

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

tokenNames

@Deprecated
public static final java.lang.String[] tokenNames

Deprecated. Use VOCABULARY instead.

_serializedATN

public static final java.lang.String _serializedATN

See Also:

Constant Field Values

_ATN

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

Constructor Detail

CTLLexer

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

Method Detail

getTokenNames

@Deprecated
public java.lang.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<java.lang.Integer,org.antlr.v4.runtime.atn.LexerATNSimulator>

getGrammarFileName

public java.lang.String getGrammarFileName()

Specified by:

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

getRuleNames

public java.lang.String[] getRuleNames()

Specified by:

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

getSerializedATN

public java.lang.String getSerializedATN()

Overrides:

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

getChannelNames

public java.lang.String[] getChannelNames()

Overrides:

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

getModeNames

public java.lang.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<java.lang.Integer,org.antlr.v4.runtime.atn.LexerATNSimulator>