Member predicate DataFlow::InvokeNode::isIndefinite
Holds if the approximation of possible callees for this call site is
affected by the given analysis incompleteness cause
.
predicate isIndefinite(Incompleteness cause)
Holds if the approximation of possible callees for this call site is
affected by the given analysis incompleteness cause
.
predicate isIndefinite(Incompleteness cause)