Member predicate DataFlow :: AdditionalSink :: isSinkFor
Holds if this data flow node should be considered a sink node for
values labeled with lbl
under configuration cfg
.
predicate
isSinkFor
(
Configuration
cfg
,
FlowLabel
lbl
)