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.ComparisonContextcomporg.antlr.v4.runtime.Tokenlimesorg.antlr.v4.runtime.TokenopLTLParser.FrequencySpecContextprob
-
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> Taccept(org.antlr.v4.runtime.tree.ParseTreeVisitor<? extends T> visitor)LTLParser.ComparisonContextcomparison()voidenterRule(org.antlr.v4.runtime.tree.ParseTreeListener listener)voidexitRule(org.antlr.v4.runtime.tree.ParseTreeListener listener)org.antlr.v4.runtime.tree.TerminalNodeFINALLY()LTLParser.FrequencySpecContextfrequencySpec()intgetRuleIndex()org.antlr.v4.runtime.tree.TerminalNodeGLOBALLY()org.antlr.v4.runtime.tree.TerminalNodeINF()org.antlr.v4.runtime.tree.TerminalNodeLCPAREN()org.antlr.v4.runtime.tree.TerminalNodeRCPAREN()org.antlr.v4.runtime.tree.TerminalNodeSUP()-
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:
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
-
-