Class AbstractTemporalLogicParser.UnaryOperatorContext
java.lang.Object
org.antlr.v4.runtime.RuleContext
org.antlr.v4.runtime.ParserRuleContext
AbstractTemporalLogicParser.UnaryOperatorContext
- 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:
AbstractTemporalLogicParser
public static class AbstractTemporalLogicParser.UnaryOperatorContext
extends org.antlr.v4.runtime.ParserRuleContext
-
Field Summary
Fields inherited from class org.antlr.v4.runtime.ParserRuleContext
children, EMPTY, exception, start, stop
Fields inherited from class org.antlr.v4.runtime.RuleContext
invokingState, parent
-
Constructor Summary
ConstructorsConstructorDescriptionUnaryOperatorContext
(org.antlr.v4.runtime.ParserRuleContext parent, int invokingState) -
Method Summary
Modifier and TypeMethodDescription<T> T
accept
(org.antlr.v4.runtime.tree.ParseTreeVisitor<? extends T> visitor) void
enterRule
(org.antlr.v4.runtime.tree.ParseTreeListener listener) void
exitRule
(org.antlr.v4.runtime.tree.ParseTreeListener listener) int
org.antlr.v4.runtime.tree.TerminalNode
NEXT()
org.antlr.v4.runtime.tree.TerminalNode
NOT()
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
Methods inherited from class org.antlr.v4.runtime.RuleContext
depth, getAltNumber, getPayload, getRuleContext, getText, isEmpty, setAltNumber, setParent, toString, toString, toString, toString, toString, toStringTree, toStringTree, toStringTree
-
Constructor Details
-
UnaryOperatorContext
public UnaryOperatorContext(org.antlr.v4.runtime.ParserRuleContext parent, int invokingState)
-
-
Method Details
-
NOT
public org.antlr.v4.runtime.tree.TerminalNode NOT() -
NEXT
public org.antlr.v4.runtime.tree.TerminalNode NEXT() -
unaryTemporalOperator
-
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
-