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.Tokenformula
-
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> Taccept(org.antlr.v4.runtime.tree.ParseTreeVisitor<? extends T> visitor)org.antlr.v4.runtime.tree.TerminalNodeASSERT()org.antlr.v4.runtime.tree.TerminalNodeASSUME()voidenterRule(org.antlr.v4.runtime.tree.ParseTreeListener listener)voidexitRule(org.antlr.v4.runtime.tree.ParseTreeListener listener)intgetRuleIndex()org.antlr.v4.runtime.tree.TerminalNodeGUARANTEE()org.antlr.v4.runtime.tree.TerminalNodeINITIALLY()org.antlr.v4.runtime.tree.TerminalNodePRESET()org.antlr.v4.runtime.tree.TerminalNodeREQUIRE()org.antlr.v4.runtime.tree.TerminalNodeSPEC_END()List<org.antlr.v4.runtime.tree.TerminalNode>SPEC_LTL()org.antlr.v4.runtime.tree.TerminalNodeSPEC_LTL(int i)org.antlr.v4.runtime.tree.TerminalNodeSPEC_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:
getRuleIndexin classorg.antlr.v4.runtime.RuleContext
-
enterRule
public void enterRule(org.antlr.v4.runtime.tree.ParseTreeListener listener)
- Overrides:
enterRulein classorg.antlr.v4.runtime.ParserRuleContext
-
exitRule
public void exitRule(org.antlr.v4.runtime.tree.ParseTreeListener listener)
- Overrides:
exitRulein classorg.antlr.v4.runtime.ParserRuleContext
-
accept
public <T> T accept(org.antlr.v4.runtime.tree.ParseTreeVisitor<? extends T> visitor)
- Specified by:
acceptin interfaceorg.antlr.v4.runtime.tree.ParseTree- Overrides:
acceptin classorg.antlr.v4.runtime.RuleContext
-
-