Package owl.grammar
Class TLSFParser.SpecificationContext
- java.lang.Object
-
- org.antlr.v4.runtime.RuleContext
-
- org.antlr.v4.runtime.ParserRuleContext
-
- owl.grammar.TLSFParser.SpecificationContext
-
- All Implemented Interfaces:
org.antlr.v4.runtime.tree.ParseTree
,org.antlr.v4.runtime.tree.RuleNode
,org.antlr.v4.runtime.tree.SyntaxTree
,org.antlr.v4.runtime.tree.Tree
- Enclosing class:
- TLSFParser
public static class TLSFParser.SpecificationContext extends org.antlr.v4.runtime.ParserRuleContext
-
-
Field Summary
Fields Modifier and Type Field Description org.antlr.v4.runtime.Token
formula
-
Constructor Summary
Constructors Constructor Description SpecificationContext(org.antlr.v4.runtime.ParserRuleContext parent, int invokingState)
-
Method Summary
All Methods Instance Methods Concrete Methods 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()
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()
-
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
-
Methods inherited from class org.antlr.v4.runtime.ParserRuleContext
addAnyChild, addChild, addChild, addChild, addErrorNode, addErrorNode, copyFrom, getChild, getChild, getChildCount, getParent, getRuleContext, getRuleContexts, getSourceInterval, getStart, getStop, getToken, getTokens, removeLastChild, toInfoString
-
-
-
-
Method Detail
-
SPEC_START
public org.antlr.v4.runtime.tree.TerminalNode SPEC_START()
-
SPEC_END
public org.antlr.v4.runtime.tree.TerminalNode SPEC_END()
-
INITIALLY
public org.antlr.v4.runtime.tree.TerminalNode INITIALLY()
-
PRESET
public org.antlr.v4.runtime.tree.TerminalNode PRESET()
-
REQUIRE
public org.antlr.v4.runtime.tree.TerminalNode REQUIRE()
-
ASSERT
public org.antlr.v4.runtime.tree.TerminalNode ASSERT()
-
ASSUME
public org.antlr.v4.runtime.tree.TerminalNode ASSUME()
-
GUARANTEE
public org.antlr.v4.runtime.tree.TerminalNode GUARANTEE()
-
SPEC_LTL
public List<org.antlr.v4.runtime.tree.TerminalNode> SPEC_LTL()
-
SPEC_LTL
public org.antlr.v4.runtime.tree.TerminalNode SPEC_LTL(int i)
-
getRuleIndex
public int getRuleIndex()
- Overrides:
getRuleIndex
in classorg.antlr.v4.runtime.RuleContext
-
enterRule
public void enterRule(org.antlr.v4.runtime.tree.ParseTreeListener listener)
- Overrides:
enterRule
in classorg.antlr.v4.runtime.ParserRuleContext
-
exitRule
public void exitRule(org.antlr.v4.runtime.tree.ParseTreeListener listener)
- Overrides:
exitRule
in classorg.antlr.v4.runtime.ParserRuleContext
-
accept
public <T> T accept(org.antlr.v4.runtime.tree.ParseTreeVisitor<? extends T> visitor)
- Specified by:
accept
in interfaceorg.antlr.v4.runtime.tree.ParseTree
- Overrides:
accept
in classorg.antlr.v4.runtime.RuleContext
-
-