Class AbstractTemporalLogicParser.UnaryTemporalOperatorContext

java.lang.Object
org.antlr.v4.runtime.RuleContext
org.antlr.v4.runtime.ParserRuleContext
AbstractTemporalLogicParser.UnaryTemporalOperatorContext
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:
AbstractTemporalLogicParser
public static class AbstractTemporalLogicParser.UnaryTemporalOperatorContext extends org.antlr.v4.runtime.ParserRuleContext

  • Field Summary

    Fields inherited from class org.antlr.v4.runtime.ParserRuleContext

    children, EMPTY, exception, start, stop

    Fields inherited from class org.antlr.v4.runtime.RuleContext

    invokingState, parent

  • Constructor Summary

    Constructors
    Constructor
    Description
    UnaryTemporalOperatorContext(org.antlr.v4.runtime.ParserRuleContext parent, int invokingState)
     

  • Method Summary

    Modifier and Type
    Method
    Description
    <T> T
    accept(org.antlr.v4.runtime.tree.ParseTreeVisitor<? extends T> visitor)
     
    void
    enterRule(org.antlr.v4.runtime.tree.ParseTreeListener listener)
     
    org.antlr.v4.runtime.tree.TerminalNode
    EVENTUALLY()
     
    void
    exitRule(org.antlr.v4.runtime.tree.ParseTreeListener listener)
     
    int
    getRuleIndex()
     
    org.antlr.v4.runtime.tree.TerminalNode
    GLOBALLY()
     

    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

    Methods inherited from class java.lang.Object

    clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

  • Constructor Details

    • UnaryTemporalOperatorContext

      public UnaryTemporalOperatorContext(org.antlr.v4.runtime.ParserRuleContext parent, int invokingState)

  • Method Details

    • GLOBALLY

      public org.antlr.v4.runtime.tree.TerminalNode GLOBALLY()

    • EVENTUALLY

      public org.antlr.v4.runtime.tree.TerminalNode EVENTUALLY()

    • 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