Member predicate SummarizedCallable::Range::propagatesFlow

Holds if data may flow from input to output through this callable.

preservesValue indicates whether this is a value-preserving step or a taint-step.

p indicates the provenance of the flow.

isExact indicates whether there exists a model for which this callable is an exact match, that is, no overriding was used to identify this callable from the model.

If model is non-empty then it indicates the origin of the model defining this flow.