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)
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)