|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface PointsToMap
PointsToMap
defines the interface for a points-to map mapping
variables to pointer target for a program point.
Method Summary | |
---|---|
String |
getName()
Returns the name of the points-to map. |
boolean |
isFlowSensitive()
|
Map<Target,Set<Target>> |
pt(IProgramPoint point)
|
Set<Target> |
pt(IProgramPoint point,
ALocalDecl decl)
Returns the pointer targets for the variable decl at the program
point point . |
Method Detail |
---|
String getName()
Set<Target> pt(IProgramPoint point, ALocalDecl decl)
decl
at the program
point point
.
point
- the program point for which the pointer targets are returneddecl
- the variable for which the pointer targets are returned
decl
at point
boolean isFlowSensitive()
Map<Target,Set<Target>> pt(IProgramPoint point)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |