public static class CTLParser.AndContext extends CTLParser.FormulaContext
Constructor and Description |
---|
AndContext(CTLParser.FormulaContext ctx) |
Modifier and Type | Method and Description |
---|---|
<T> T |
accept(org.antlr.v4.runtime.tree.ParseTreeVisitor<? extends T> visitor) |
java.util.List<CTLParser.FormulaContext> |
formula() |
CTLParser.FormulaContext |
formula(int i) |
org.antlr.v4.runtime.tree.TerminalNode |
WEDGE() |
copyFrom, getRuleIndex
addAnyChild, addChild, addChild, addChild, addErrorNode, addErrorNode, copyFrom, enterRule, exitRule, getChild, getChild, getChildCount, getParent, getRuleContext, getRuleContexts, getSourceInterval, getStart, getStop, getToken, getTokens, removeLastChild, toInfoString
public AndContext(CTLParser.FormulaContext ctx)
public java.util.List<CTLParser.FormulaContext> formula()
public CTLParser.FormulaContext formula(int i)
public org.antlr.v4.runtime.tree.TerminalNode WEDGE()
public <T> T accept(org.antlr.v4.runtime.tree.ParseTreeVisitor<? extends T> visitor)
accept
in interface org.antlr.v4.runtime.tree.ParseTree
accept
in class org.antlr.v4.runtime.RuleContext