Package owl.grammar

Class 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  
      • Fields inherited from class org.antlr.v4.runtime.ParserRuleContext

        children, exception, start, stop
      • Fields inherited from class org.antlr.v4.runtime.RuleContext

        EMPTY, invokingState, parent
    • 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
      • 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 Detail

      • FrequencyOpContext

        public FrequencyOpContext​(org.antlr.v4.runtime.ParserRuleContext parent,
                                  int invokingState)
    • Method Detail

      • LCPAREN

        public org.antlr.v4.runtime.tree.TerminalNode LCPAREN()
      • RCPAREN

        public org.antlr.v4.runtime.tree.TerminalNode RCPAREN()
      • 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 class org.antlr.v4.runtime.RuleContext
      • enterRule

        public void enterRule​(org.antlr.v4.runtime.tree.ParseTreeListener listener)
        Overrides:
        enterRule in class org.antlr.v4.runtime.ParserRuleContext
      • exitRule

        public void exitRule​(org.antlr.v4.runtime.tree.ParseTreeListener listener)
        Overrides:
        exitRule in class org.antlr.v4.runtime.ParserRuleContext
      • accept

        public <T> T accept​(org.antlr.v4.runtime.tree.ParseTreeVisitor<? extends T> visitor)
        Specified by:
        accept in interface org.antlr.v4.runtime.tree.ParseTree
        Overrides:
        accept in class org.antlr.v4.runtime.RuleContext