boomerang.guided

Interface IDemandDrivenGuidedManager

All Known Implementing Classes:

SimpleSpecificationGuidedManager

public interface IDemandDrivenGuidedManager

Method Summary

Modifier and Type	Method and 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)