Package net.maswag.falcaun

Class LTLParser.BinaryOperatorContext

java.lang.Object
org.antlr.v4.runtime.RuleContext
org.antlr.v4.runtime.ParserRuleContext
net.maswag.falcaun.LTLParser.BinaryOperatorContext
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.BinaryOperatorContext 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
    BinaryOperatorContext(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
    AND()
     
    LTLParser.BinaryTemporalOperatorContext
    binaryTemporalOperator()
     
    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
    IMPLY()
     
    org.antlr.v4.runtime.tree.TerminalNode
    OR()
     

    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

    • BinaryOperatorContext

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

  • Method Details

    • AND

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

    • OR

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

    • IMPLY

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

    • binaryTemporalOperator

      public LTLParser.BinaryTemporalOperatorContext binaryTemporalOperator()

    • 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