Member predicate Flow::ControlFlowNode::refersTo

Whether this flow node might “refer-to” to value which is from origin Unlike this.refersTo(value, _, origin) this predicate includes results where the class cannot be inferred.

predicate refersTo(Object value, ControlFlowNode origin)