public static class LTLParser.FrequencyOpContext
extends org.antlr.v4.runtime.ParserRuleContext
Modifier and Type | Field | Description |
---|---|---|
LTLParser.ComparisonContext |
comp |
|
org.antlr.v4.runtime.Token |
limes |
|
org.antlr.v4.runtime.Token |
op |
|
LTLParser.FrequencySpecContext |
prob |
Constructor | Description |
---|---|
FrequencyOpContext(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) |
|
LTLParser.ComparisonContext |
comparison() |
|
void |
enterRule(org.antlr.v4.runtime.tree.ParseTreeListener listener) |
|
void |
exitRule(org.antlr.v4.runtime.tree.ParseTreeListener listener) |
|
org.antlr.v4.runtime.tree.TerminalNode |
FINALLY() |
|
LTLParser.FrequencySpecContext |
frequencySpec() |
|
int |
getRuleIndex() |
|
org.antlr.v4.runtime.tree.TerminalNode |
GLOBALLY() |
|
org.antlr.v4.runtime.tree.TerminalNode |
INF() |
|
org.antlr.v4.runtime.tree.TerminalNode |
LCPAREN() |
|
org.antlr.v4.runtime.tree.TerminalNode |
RCPAREN() |
|
org.antlr.v4.runtime.tree.TerminalNode |
SUP() |
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 org.antlr.v4.runtime.Token op
public org.antlr.v4.runtime.Token limes
public LTLParser.ComparisonContext comp
public LTLParser.FrequencySpecContext prob
public FrequencyOpContext(org.antlr.v4.runtime.ParserRuleContext parent, int invokingState)
public org.antlr.v4.runtime.tree.TerminalNode LCPAREN()
public org.antlr.v4.runtime.tree.TerminalNode RCPAREN()
public LTLParser.ComparisonContext comparison()
public LTLParser.FrequencySpecContext frequencySpec()
public org.antlr.v4.runtime.tree.TerminalNode GLOBALLY()
public org.antlr.v4.runtime.tree.TerminalNode FINALLY()
public org.antlr.v4.runtime.tree.TerminalNode SUP()
public org.antlr.v4.runtime.tree.TerminalNode INF()
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