public static class LTLParser.BinaryOpContext
extends org.antlr.v4.runtime.ParserRuleContext
Constructor | Description |
---|---|
BinaryOpContext(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 |
BIIMP() |
|
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 |
IMP() |
|
org.antlr.v4.runtime.tree.TerminalNode |
RELEASE() |
|
org.antlr.v4.runtime.tree.TerminalNode |
SRELEASE() |
|
org.antlr.v4.runtime.tree.TerminalNode |
UNTIL() |
|
org.antlr.v4.runtime.tree.TerminalNode |
WUNTIL() |
|
org.antlr.v4.runtime.tree.TerminalNode |
XOR() |
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 BinaryOpContext(org.antlr.v4.runtime.ParserRuleContext parent, int invokingState)
public org.antlr.v4.runtime.tree.TerminalNode BIIMP()
public org.antlr.v4.runtime.tree.TerminalNode IMP()
public org.antlr.v4.runtime.tree.TerminalNode XOR()
public org.antlr.v4.runtime.tree.TerminalNode UNTIL()
public org.antlr.v4.runtime.tree.TerminalNode WUNTIL()
public org.antlr.v4.runtime.tree.TerminalNode RELEASE()
public org.antlr.v4.runtime.tree.TerminalNode SRELEASE()
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