Overview  Package   Class  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD

com.ibm.wala.demandpa.alg
Interface IDemandPointerAnalysis

All Known Implementing Classes:
AbstractDemandPointsTo, DemandRefinementPointsTo, SimpleDemandPointsTo, TestNewGraphPointsTo
public interface IDemandPointerAnalysis

Basic interface for a demand-driven points-to analysis.

Method Summary
 CallGraph getBaseCallGraph()
           
 ClassHierarchy getClassHierarchy()
           
 HeapModel getHeapModel()
           
 java.util.Collection<InstanceKey> getPointsTo(PointerKey pk)
           
 

Method Detail

getHeapModel

HeapModel getHeapModel()

getBaseCallGraph

CallGraph getBaseCallGraph()

getClassHierarchy

ClassHierarchy getClassHierarchy()

getPointsTo

java.util.Collection<InstanceKey> getPointsTo(PointerKey pk)
Overview  Package   Class  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD