Class AbstractTemporalLogicParser.IntervalContext

java.lang.Object
org.antlr.v4.runtime.RuleContext
org.antlr.v4.runtime.ParserRuleContext
AbstractTemporalLogicParser.IntervalContext
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.IntervalContext extends org.antlr.v4.runtime.ParserRuleContext

  • Field Summary

    Fields
    Modifier and Type
    Field
    Description
    org.antlr.v4.runtime.Token
    left
     
    org.antlr.v4.runtime.Token
    right
     

    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
    IntervalContext(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)
     
    org.antlr.v4.runtime.tree.TerminalNode
    COMMA()
     
    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
    LBRACKET()
     
    List<org.antlr.v4.runtime.tree.TerminalNode>
    NATURAL()
     
    org.antlr.v4.runtime.tree.TerminalNode
    NATURAL(int i)
     
    org.antlr.v4.runtime.tree.TerminalNode
    RBRACKET()
     

    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

  • Field Details

    • left

      public org.antlr.v4.runtime.Token left

  • Constructor Details

    • IntervalContext

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

  • Method Details

    • LBRACKET

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

    • COMMA

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

    • RBRACKET

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

    • NATURAL

      public List<org.antlr.v4.runtime.tree.TerminalNode> NATURAL()

    • NATURAL

      public org.antlr.v4.runtime.tree.TerminalNode NATURAL(int i)

    • 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