|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use ShapeAnalysis.TargetPair | |
---|---|
tip.cfg.dfa | Provides a collection of data flow analyses for TIP programs. |
Uses of ShapeAnalysis.TargetPair in tip.cfg.dfa |
---|
Methods in tip.cfg.dfa that return types with arguments of type ShapeAnalysis.TargetPair | |
---|---|
protected Lattice<EqualitySet<ShapeAnalysis.TargetPair>> |
ShapeAnalysis.createLattice(ICFG cfg)
|
protected EqualitySet<ShapeAnalysis.TargetPair> |
ShapeAnalysis.downarrow(EqualitySet<ShapeAnalysis.TargetPair> join,
ALocalDecl decl)
|
protected EqualitySet<ShapeAnalysis.TargetPair> |
ShapeAnalysis.downarrow(EqualitySet<ShapeAnalysis.TargetPair> join,
Target t)
|
Method parameters in tip.cfg.dfa with type arguments of type ShapeAnalysis.TargetPair | |
---|---|
protected EqualitySet<ShapeAnalysis.TargetPair> |
ShapeAnalysis.downarrow(EqualitySet<ShapeAnalysis.TargetPair> join,
ALocalDecl decl)
|
protected EqualitySet<ShapeAnalysis.TargetPair> |
ShapeAnalysis.downarrow(EqualitySet<ShapeAnalysis.TargetPair> join,
Target t)
|
java.lang.String |
ShapeAnalysis.getVariableString(EqualitySet<ShapeAnalysis.TargetPair> variable)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |