Package org.btrplace.safeplace.spec.antlr

Class CstrSpecParser.ProtectedFormulaContext

java.lang.Object
org.antlr.v4.runtime.RuleContext
org.antlr.v4.runtime.ParserRuleContext
org.btrplace.safeplace.spec.antlr.CstrSpecParser.FormulaContext
org.btrplace.safeplace.spec.antlr.CstrSpecParser.ProtectedFormulaContext
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:
CstrSpecParser
public static class CstrSpecParser.ProtectedFormulaContext
extends CstrSpecParser.FormulaContext

  • Field Summary

    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
    ProtectedFormulaContext​(CstrSpecParser.FormulaContext ctx)  

  • 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)  
    CstrSpecParser.FormulaContext formula()  
    org.antlr.v4.runtime.tree.TerminalNode LPARA()  
    org.antlr.v4.runtime.tree.TerminalNode RPARA()  

    Methods inherited from class org.btrplace.safeplace.spec.antlr.CstrSpecParser.FormulaContext

    copyFrom, getRuleIndex

    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

  • Method Details

    • LPARA

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

    • formula

      public CstrSpecParser.FormulaContext formula()

    • RPARA

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

    • 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