tip.cfg
Class ForwardsStrategy

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

public class ForwardsStrategy
extends Object
implements DependencyStrategy

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

Author:
Johnni Winther, jw@brics.dk

Constructor Summary
ForwardsStrategy()
           
 
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

ForwardsStrategy

public ForwardsStrategy()
Method Detail

getDependencySet

public Set<IProgramPoint> getDependencySet(IProgramPoint point)
Returns the set of IProgramPoints that are dependent on point. This is the set of successors 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 predecessors 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