Class AbstractTemporalLogicParser.BinaryTemporalOperatorContext

java.lang.Object
org.antlr.v4.runtime.RuleContext
org.antlr.v4.runtime.ParserRuleContext
AbstractTemporalLogicParser.BinaryTemporalOperatorContext
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.BinaryTemporalOperatorContext 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
    BinaryTemporalOperatorContext(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)
     
    void
    exitRule(org.antlr.v4.runtime.tree.ParseTreeListener listener)
     
    int
    getRuleIndex()
     
    org.antlr.v4.runtime.tree.TerminalNode
    RELEASE()
     
    org.antlr.v4.runtime.tree.TerminalNode
    UNTIL()
     

    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

    • BinaryTemporalOperatorContext

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

  • Method Details

    • UNTIL

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

    • RELEASE

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

    • 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