boomerang.guided

Class SimpleSpecificationGuidedManager

java.lang.Object

boomerang.guided.SimpleSpecificationGuidedManager

All Implemented Interfaces:

IDemandDrivenGuidedManager

public class SimpleSpecificationGuidedManager
extends Object
implements IDemandDrivenGuidedManager

Constructor Summary

Constructors

Constructor and Description
SimpleSpecificationGuidedManager(Specification spec)

Method Summary

Modifier and Type	Method and Description
boolean	isInOnList(Specification.SootMethodWithSelector methodSelector, Statement stmt, Val fact, Specification.QueryDirection direction)
Collection<Query>	onBackwardFlow(BackwardQuery query, ControlFlowGraph.Edge dataFlowEdge, Val dataFlowVal)
Collection<Query>	onForwardFlow(ForwardQuery query, ControlFlowGraph.Edge dataFlowEdge, Val dataFlowVal)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

SimpleSpecificationGuidedManager

public SimpleSpecificationGuidedManager(Specification spec)

Method Detail

onForwardFlow

public Collection<Query> onForwardFlow(ForwardQuery query,
                                       ControlFlowGraph.Edge dataFlowEdge,
                                       Val dataFlowVal)

Specified by:

onForwardFlow in interface IDemandDrivenGuidedManager

onBackwardFlow

public Collection<Query> onBackwardFlow(BackwardQuery query,
                                        ControlFlowGraph.Edge dataFlowEdge,
                                        Val dataFlowVal)

Specified by:

onBackwardFlow in interface IDemandDrivenGuidedManager

isInOnList

public boolean isInOnList(Specification.SootMethodWithSelector methodSelector,
                          Statement stmt,
                          Val fact,
                          Specification.QueryDirection direction)