tip.cfg
Class BackwardsStrategy

java.lang.Object
  extended by tip.cfg.BackwardsStrategy
All Implemented Interfaces:
DependencyStrategy

public class BackwardsStrategy
extends Object
implements DependencyStrategy

BackwardsStrategy defines the methods for retrieving the dependency set and joint set for a program point in a backwards analysis. This strategy is used for analyses that compute information about future behaviour.

Author:
Johnni Winther, jw@brics.dk

Constructor Summary
BackwardsStrategy()
           
 
Method Summary
 Set<IProgramPoint> getDependencySet(IProgramPoint point)
          Returns the set of IProgramPoints that are dependent on point.
 Set<IProgramPoint> getJoinSet(IProgramPoint point)
          Returns the set of IProgramPoints that are point depends upon.
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

BackwardsStrategy

public BackwardsStrategy()
Method Detail

getDependencySet

public Set<IProgramPoint> getDependencySet(IProgramPoint point)
Returns the set of IProgramPoints that are dependent on point. This is the set of predecessors to point.

Specified by:
getDependencySet in interface DependencyStrategy
Parameters:
point - the IProgramPoint for which the dependency set is returned
Returns:
the set of IProgramPoints dependent on point

getJoinSet

public Set<IProgramPoint> getJoinSet(IProgramPoint point)
Returns the set of IProgramPoints that are point depends upon. This is the set of successors to point.

Specified by:
getJoinSet in interface DependencyStrategy
Parameters:
point - the IProgramPoint for which the join set is returned
Returns:
the set of IProgramPoints point dependents upon