Package boomerang.guided
Interface IDemandDrivenGuidedManager
-
- All Known Implementing Classes:
SimpleSpecificationGuidedManager
public interface IDemandDrivenGuidedManager
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description Collection<Query>onBackwardFlow(BackwardQuery query, ControlFlowGraph.Edge dataFlowEdge, Val dataFlowVal)Collection<Query>onForwardFlow(ForwardQuery query, ControlFlowGraph.Edge dataFlowEdge, Val dataFlowVal)
-
-
-
Method Detail
-
onForwardFlow
Collection<Query> onForwardFlow(ForwardQuery query, ControlFlowGraph.Edge dataFlowEdge, Val dataFlowVal)
-
onBackwardFlow
Collection<Query> onBackwardFlow(BackwardQuery query, ControlFlowGraph.Edge dataFlowEdge, Val dataFlowVal)
-
-