|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use DependencyStrategy | |
---|---|
tip.cfg | Provides the basic framework for performing fixed-point analyses of TIP programs. |
Uses of DependencyStrategy in tip.cfg |
---|
Classes in tip.cfg that implement DependencyStrategy | |
---|---|
class |
BackwardsStrategy
BackwardsStrategy defines the methods for retrieving the dependency
set and joint set for a program point in a backwards analysis. |
class |
ForwardsStrategy
ForwardsStrategy defines the methods for retrieving the dependency
set and joint set for a program point in a forwards analysis. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |