Package com.ibm.wala.cast.ipa.callgraph

Interface AstPointerKeyFactory

All Superinterfaces:

PointerKeyFactory

All Known Subinterfaces:

AstHeapModel

All Known Implementing Classes:

AstCFAPointerKeys, DelegatingAstPointerKeys

public interface AstPointerKeyFactory
extends PointerKeyFactory

Method Summary

Modifier and Type	Method	Description
PointerKey	getPointerKeyForObjectCatalog(InstanceKey I)	get a pointer key for the object catalog of I.
Iterator<PointerKey>	getPointerKeysForReflectedFieldRead(InstanceKey I, InstanceKey F)
Iterator<PointerKey>	getPointerKeysForReflectedFieldWrite(InstanceKey I, InstanceKey F)

Methods inherited from interface com.ibm.wala.ipa.callgraph.propagation.PointerKeyFactory

getFilteredPointerKeyForLocal, getPointerKeyForArrayContents, getPointerKeyForExceptionalReturnValue, getPointerKeyForInstanceField, getPointerKeyForLocal, getPointerKeyForReturnValue, getPointerKeyForStaticField

Method Details

getPointerKeysForReflectedFieldRead

Iterator<PointerKey> getPointerKeysForReflectedFieldRead(InstanceKey I,
 InstanceKey F)

getPointerKeysForReflectedFieldWrite

Iterator<PointerKey> getPointerKeysForReflectedFieldWrite(InstanceKey I,
 InstanceKey F)

getPointerKeyForObjectCatalog

PointerKey getPointerKeyForObjectCatalog(InstanceKey I)

get a pointer key for the object catalog of I. The object catalog stores the names of all known properties of I.