tip.cfg
Class BackwardsStrategy
java.lang.Object
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
BackwardsStrategy
public BackwardsStrategy()
getDependencySet
public Set<IProgramPoint> getDependencySet(IProgramPoint point)
- Returns the set of
IProgramPoint
s 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
IProgramPoint
s dependent on point
getJoinSet
public Set<IProgramPoint> getJoinSet(IProgramPoint point)
- Returns the set of
IProgramPoint
s 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
IProgramPoint
s point
dependents upon