public static class TLSFParser.SpecificationContext
extends org.antlr.v4.runtime.ParserRuleContext
Modifier and Type | Field | Description |
---|---|---|
org.antlr.v4.runtime.Token |
formula |
Constructor | Description |
---|---|
SpecificationContext(org.antlr.v4.runtime.ParserRuleContext parent,
int invokingState) |
Modifier and Type | Method | Description |
---|---|---|
<T> T |
accept(org.antlr.v4.runtime.tree.ParseTreeVisitor<? extends T> visitor) |
|
org.antlr.v4.runtime.tree.TerminalNode |
ASSERT() |
|
org.antlr.v4.runtime.tree.TerminalNode |
ASSUME() |
|
void |
enterRule(org.antlr.v4.runtime.tree.ParseTreeListener listener) |
|
void |
exitRule(org.antlr.v4.runtime.tree.ParseTreeListener listener) |
|
int |
getRuleIndex() |
|
org.antlr.v4.runtime.tree.TerminalNode |
GUARANTEE() |
|
org.antlr.v4.runtime.tree.TerminalNode |
INITIALLY() |
|
org.antlr.v4.runtime.tree.TerminalNode |
PRESET() |
|
org.antlr.v4.runtime.tree.TerminalNode |
REQUIRE() |
|
org.antlr.v4.runtime.tree.TerminalNode |
SPEC_END() |
|
java.util.List<org.antlr.v4.runtime.tree.TerminalNode> |
SPEC_LTL() |
|
org.antlr.v4.runtime.tree.TerminalNode |
SPEC_LTL(int i) |
|
org.antlr.v4.runtime.tree.TerminalNode |
SPEC_START() |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
addAnyChild, addChild, addChild, addChild, addErrorNode, addErrorNode, copyFrom, getChild, getChild, getChildCount, getParent, getRuleContext, getRuleContexts, getSourceInterval, getStart, getStop, getToken, getTokens, removeLastChild, toInfoString
public SpecificationContext(org.antlr.v4.runtime.ParserRuleContext parent, int invokingState)
public org.antlr.v4.runtime.tree.TerminalNode SPEC_START()
public org.antlr.v4.runtime.tree.TerminalNode SPEC_END()
public org.antlr.v4.runtime.tree.TerminalNode INITIALLY()
public org.antlr.v4.runtime.tree.TerminalNode PRESET()
public org.antlr.v4.runtime.tree.TerminalNode REQUIRE()
public org.antlr.v4.runtime.tree.TerminalNode ASSERT()
public org.antlr.v4.runtime.tree.TerminalNode ASSUME()
public org.antlr.v4.runtime.tree.TerminalNode GUARANTEE()
public java.util.List<org.antlr.v4.runtime.tree.TerminalNode> SPEC_LTL()
public org.antlr.v4.runtime.tree.TerminalNode SPEC_LTL(int i)
public int getRuleIndex()
getRuleIndex
in class org.antlr.v4.runtime.RuleContext
public void enterRule(org.antlr.v4.runtime.tree.ParseTreeListener listener)
enterRule
in class org.antlr.v4.runtime.ParserRuleContext
public void exitRule(org.antlr.v4.runtime.tree.ParseTreeListener listener)
exitRule
in class org.antlr.v4.runtime.ParserRuleContext
public <T> T accept(org.antlr.v4.runtime.tree.ParseTreeVisitor<? extends T> visitor)
accept
in class org.antlr.v4.runtime.RuleContext