tip.cfg
Interface PointsToMap

All Known Implementing Classes:
Andersen, FunctionPointers, OneLevelFlow, ShapeAnalysis, Steensgaard

public interface PointsToMap

PointsToMap defines the interface for a points-to map mapping variables to pointer target for a program point.

Author:
Johnni Winther, jw@brics.dk

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

getName

String getName()
Returns the name of the points-to map.

Returns:
the name of the points-to map

pt

Set<Target> pt(IProgramPoint point,
               ALocalDecl decl)
Returns the pointer targets for the variable decl at the program point point.

Parameters:
point - the program point for which the pointer targets are returned
decl - the variable for which the pointer targets are returned
Returns:
the pointer target for the decl at point

isFlowSensitive

boolean isFlowSensitive()

pt

Map<Target,Set<Target>> pt(IProgramPoint point)