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