tip.cfg
Interface DependencyStrategy

All Known Implementing Classes:
BackwardsStrategy, ForwardsStrategy

public interface DependencyStrategy

The DependencyStrategy interface defines the necessary method to abstract forwards and backwards dependency in a FlowAnalysis.

Author:
Johnni Winther

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.
 

Method Detail

getDependencySet

Set<IProgramPoint> getDependencySet(IProgramPoint point)
Returns the set of IProgramPoints that are dependent on point.

Parameters:
point - the IProgramPoint for which the dependency set is returned
Returns:
the set of IProgramPoints dependent on point

getJoinSet

Set<IProgramPoint> getJoinSet(IProgramPoint point)
Returns the set of IProgramPoints that are point depends upon. This should be the inverse of getDependencySet(IProgramPoint).

Parameters:
point - the IProgramPoint for which the join set is returned
Returns:
the set of IProgramPoints point dependents upon