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)