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()