public static class CDLParser.PropositionContext
extends org.antlr.v4.runtime.ParserRuleContext
Constructor and Description |
---|
PropositionContext(org.antlr.v4.runtime.ParserRuleContext parent,
int invokingState) |
Modifier and Type | Method and Description |
---|---|
CDLParser.ControlflowPredicateContext |
controlflowPredicate() |
void |
enterRule(org.antlr.v4.runtime.tree.ParseTreeListener listener) |
void |
exitRule(org.antlr.v4.runtime.tree.ParseTreeListener listener) |
int |
getRuleIndex() |
CDLParser.NegationContext |
negation() |
CDLParser.RelationalPredicateContext |
relationalPredicate() |
CDLParser.SetPredicateContext |
setPredicate() |
CDLParser.TruthValueContext |
truthValue() |
CDLParser.UnaryPredicateContext |
unaryPredicate() |
addChild, addChild, addChild, addErrorNode, copyFrom, getChild, getChild, getChildCount, getParent, getRuleContext, getRuleContexts, getSourceInterval, getStart, getStop, getToken, getTokens, removeLastChild, toInfoString
public PropositionContext(org.antlr.v4.runtime.ParserRuleContext parent, int invokingState)
public CDLParser.TruthValueContext truthValue()
public CDLParser.NegationContext negation()
public CDLParser.RelationalPredicateContext relationalPredicate()
public CDLParser.UnaryPredicateContext unaryPredicate()
public CDLParser.SetPredicateContext setPredicate()
public CDLParser.ControlflowPredicateContext controlflowPredicate()
public int getRuleIndex()
getRuleIndex
in class org.antlr.v4.runtime.RuleContext
public void enterRule(org.antlr.v4.runtime.tree.ParseTreeListener listener)
enterRule
in class org.antlr.v4.runtime.ParserRuleContext
public void exitRule(org.antlr.v4.runtime.tree.ParseTreeListener listener)
exitRule
in class org.antlr.v4.runtime.ParserRuleContext