Package owl.grammar
Class LTLParser.FrequencyOpContext
- java.lang.Object
-
- org.antlr.v4.runtime.RuleContext
-
- org.antlr.v4.runtime.ParserRuleContext
-
- owl.grammar.LTLParser.FrequencyOpContext
-
- 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:
- LTLParser
public static class LTLParser.FrequencyOpContext extends org.antlr.v4.runtime.ParserRuleContext
-
-
Field Summary
Fields Modifier and Type Field Description LTLParser.ComparisonContext
comp
org.antlr.v4.runtime.Token
limes
org.antlr.v4.runtime.Token
op
LTLParser.FrequencySpecContext
prob
-
Constructor Summary
Constructors Constructor Description FrequencyOpContext(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)
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()
-
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
-
-
-
-
Field Detail
-
op
public org.antlr.v4.runtime.Token op
-
limes
public org.antlr.v4.runtime.Token limes
-
comp
public LTLParser.ComparisonContext comp
-
prob
public LTLParser.FrequencySpecContext prob
-
-
Method Detail
-
LCPAREN
public org.antlr.v4.runtime.tree.TerminalNode LCPAREN()
-
RCPAREN
public org.antlr.v4.runtime.tree.TerminalNode RCPAREN()
-
comparison
public LTLParser.ComparisonContext comparison()
-
frequencySpec
public LTLParser.FrequencySpecContext frequencySpec()
-
GLOBALLY
public org.antlr.v4.runtime.tree.TerminalNode GLOBALLY()
-
FINALLY
public org.antlr.v4.runtime.tree.TerminalNode FINALLY()
-
SUP
public org.antlr.v4.runtime.tree.TerminalNode SUP()
-
INF
public org.antlr.v4.runtime.tree.TerminalNode INF()
-
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
-
-