boomerang.guided.IDemandDrivenGuidedManager Maven / Gradle / Ivy
package boomerang.guided;
import boomerang.BackwardQuery;
import boomerang.ForwardQuery;
import boomerang.Query;
import boomerang.scene.ControlFlowGraph.Edge;
import boomerang.scene.Val;
import java.util.Collection;
public interface IDemandDrivenGuidedManager {
Collection onForwardFlow(ForwardQuery query, Edge dataFlowEdge, Val dataFlowVal);
Collection onBackwardFlow(BackwardQuery query, Edge dataFlowEdge, Val dataFlowVal);
}
© 2015 - 2025 Weber Informatics LLC | Privacy Policy