Member predicate SyntheticCallable :: propagatesFlow
Holds if data may flow from input
to output
through this callable.
See SummarizedCallable::propagatesFlow
for details.
predicate
propagatesFlow
(
SummaryComponentStack
input
,
SummaryComponentStack
output
,
boolean
preservesValue
)