public class TLSFParser
extends org.antlr.v4.runtime.Parser
Modifier and Type | Class | Description |
---|---|---|
static class |
TLSFParser.InputContext |
|
static class |
TLSFParser.OutputContext |
|
static class |
TLSFParser.SemanticsContext |
|
static class |
TLSFParser.SpecificationContext |
|
static class |
TLSFParser.TargetContext |
|
static class |
TLSFParser.TlsfContext |
Modifier and Type | Field | 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 |
ASSERT |
|
static int |
ASSUME |
|
static int |
DESCRIPTION |
|
static int |
GUARANTEE |
|
static int |
ID_SEP |
|
static int |
INFO |
|
static int |
INFO_END |
|
static int |
INFO_START |
|
static int |
INFO_STRING |
|
static int |
INITIALLY |
|
static int |
INPUTS |
|
static int |
IO_END |
|
static int |
IO_START |
|
static int |
MAIN |
|
static int |
MAIN_END |
|
static int |
MAIN_START |
|
static int |
MEALY |
|
static int |
MEALY_STRICT |
|
static int |
MOORE |
|
static int |
MOORE_STRICT |
|
static int |
OUTPUTS |
|
static int |
PRESET |
|
static int |
REQUIRE |
|
static int |
RULE_input |
|
static int |
RULE_output |
|
static int |
RULE_semantics |
|
static int |
RULE_specification |
|
static int |
RULE_target |
|
static int |
RULE_tlsf |
|
static java.lang.String[] |
ruleNames |
|
static int |
SEMANTICS |
|
static int |
SKIP_DEF |
|
static int |
SKIP_INFO |
|
static int |
SKIP_IO |
|
static int |
SKIP_MAIN |
|
static int |
SKIP_SPEC |
|
static int |
SPEC_END |
|
static int |
SPEC_LTL |
|
static int |
SPEC_START |
|
static int |
TAGS |
|
static int |
TARGET |
|
static int |
TITLE |
|
static java.lang.String[] |
tokenNames |
Deprecated.
Use
VOCABULARY instead. |
static int |
VAR_ID |
|
static org.antlr.v4.runtime.Vocabulary |
VOCABULARY |
Constructor | Description |
---|---|
TLSFParser(org.antlr.v4.runtime.TokenStream input) |
Modifier and Type | Method | Description |
---|---|---|
org.antlr.v4.runtime.atn.ATN |
getATN() |
|
java.lang.String |
getGrammarFileName() |
|
java.lang.String[] |
getRuleNames() |
|
java.lang.String |
getSerializedATN() |
|
java.lang.String[] |
getTokenNames() |
Deprecated.
|
org.antlr.v4.runtime.Vocabulary |
getVocabulary() |
|
TLSFParser.InputContext |
input() |
|
TLSFParser.OutputContext |
output() |
|
TLSFParser.SemanticsContext |
semantics() |
|
TLSFParser.SpecificationContext |
specification() |
|
TLSFParser.TargetContext |
target() |
|
TLSFParser.TlsfContext |
tlsf() |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
addContextToParseTree, addParseListener, compileParseTreePattern, compileParseTreePattern, consume, createErrorNode, createTerminalNode, dumpDFA, enterOuterAlt, enterRecursionRule, enterRecursionRule, enterRule, exitRule, getATNWithBypassAlts, getBuildParseTree, getContext, getCurrentToken, getDFAStrings, getErrorHandler, getExpectedTokens, getExpectedTokensWithinCurrentRule, getInputStream, getInvokingContext, getNumberOfSyntaxErrors, getParseInfo, getParseListeners, getPrecedence, getRuleContext, getRuleIndex, getRuleInvocationStack, getRuleInvocationStack, getSourceName, getTokenFactory, getTokenStream, getTrimParseTree, inContext, isExpectedToken, isMatchedEOF, isTrace, match, matchWildcard, notifyErrorListeners, notifyErrorListeners, precpred, pushNewRecursionContext, removeParseListener, removeParseListeners, reset, setBuildParseTree, setContext, setErrorHandler, setInputStream, setProfile, setTokenFactory, setTokenStream, setTrace, setTrimParseTree, triggerEnterRuleEvent, triggerExitRuleEvent, unrollRecursionContexts
action, addErrorListener, getErrorHeader, getErrorListenerDispatch, getErrorListeners, getInterpreter, getRuleIndexMap, getState, getTokenErrorDisplay, getTokenType, getTokenTypeMap, 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 SKIP_DEF
public static final int INFO
public static final int MAIN
public static final int SKIP_INFO
public static final int INFO_START
public static final int TITLE
public static final int DESCRIPTION
public static final int SEMANTICS
public static final int TARGET
public static final int TAGS
public static final int INFO_STRING
public static final int MEALY
public static final int MOORE
public static final int MEALY_STRICT
public static final int MOORE_STRICT
public static final int INFO_END
public static final int MAIN_START
public static final int SKIP_MAIN
public static final int INPUTS
public static final int OUTPUTS
public static final int INITIALLY
public static final int PRESET
public static final int REQUIRE
public static final int ASSERT
public static final int ASSUME
public static final int GUARANTEE
public static final int MAIN_END
public static final int SKIP_IO
public static final int IO_START
public static final int VAR_ID
public static final int ID_SEP
public static final int IO_END
public static final int SPEC_START
public static final int SPEC_END
public static final int SPEC_LTL
public static final int SKIP_SPEC
public static final int RULE_tlsf
public static final int RULE_semantics
public static final int RULE_target
public static final int RULE_input
public static final int RULE_output
public static final int RULE_specification
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.Recognizer<org.antlr.v4.runtime.Token,org.antlr.v4.runtime.atn.ParserATNSimulator>
public org.antlr.v4.runtime.Vocabulary getVocabulary()
getVocabulary
in class org.antlr.v4.runtime.Recognizer<org.antlr.v4.runtime.Token,org.antlr.v4.runtime.atn.ParserATNSimulator>
public java.lang.String getGrammarFileName()
getGrammarFileName
in class org.antlr.v4.runtime.Recognizer<org.antlr.v4.runtime.Token,org.antlr.v4.runtime.atn.ParserATNSimulator>
public java.lang.String[] getRuleNames()
getRuleNames
in class org.antlr.v4.runtime.Recognizer<org.antlr.v4.runtime.Token,org.antlr.v4.runtime.atn.ParserATNSimulator>
public java.lang.String getSerializedATN()
getSerializedATN
in class org.antlr.v4.runtime.Recognizer<org.antlr.v4.runtime.Token,org.antlr.v4.runtime.atn.ParserATNSimulator>
public org.antlr.v4.runtime.atn.ATN getATN()
getATN
in class org.antlr.v4.runtime.Recognizer<org.antlr.v4.runtime.Token,org.antlr.v4.runtime.atn.ParserATNSimulator>
public final TLSFParser.TlsfContext tlsf() throws org.antlr.v4.runtime.RecognitionException
org.antlr.v4.runtime.RecognitionException
public final TLSFParser.SemanticsContext semantics() throws org.antlr.v4.runtime.RecognitionException
org.antlr.v4.runtime.RecognitionException
public final TLSFParser.TargetContext target() throws org.antlr.v4.runtime.RecognitionException
org.antlr.v4.runtime.RecognitionException
public final TLSFParser.InputContext input() throws org.antlr.v4.runtime.RecognitionException
org.antlr.v4.runtime.RecognitionException
public final TLSFParser.OutputContext output() throws org.antlr.v4.runtime.RecognitionException
org.antlr.v4.runtime.RecognitionException
public final TLSFParser.SpecificationContext specification() throws org.antlr.v4.runtime.RecognitionException
org.antlr.v4.runtime.RecognitionException