Member predicate DataFlow2::Configuration::hasFlowToExpr
Holds if data may flow from some source to sink
for this configuration.
predicate hasFlowToExpr(DataFlowExpr sink)
Holds if data may flow from some source to sink
for this configuration.
predicate hasFlowToExpr(DataFlowExpr sink)