Member predicate ControlFlowNode::isCondition
Holds if this node is the top-level expression of a conditional statement,
meaning that this.getATrueSuccessor()
or this.getAFalseSuccessor()
will have a result.
predicate isCondition()
Holds if this node is the top-level expression of a conditional statement,
meaning that this.getATrueSuccessor()
or this.getAFalseSuccessor()
will have a result.
predicate isCondition()