com.ibm.wala.cast.ipa.callgraph

Interface AstPointerKeyFactory

All Superinterfaces:

com.ibm.wala.ipa.callgraph.propagation.PointerKeyFactory

All Known Subinterfaces:

AstHeapModel

All Known Implementing Classes:

AstCFAPointerKeys, DelegatingAstPointerKeys

public interface AstPointerKeyFactory
extends com.ibm.wala.ipa.callgraph.propagation.PointerKeyFactory

Method Summary

Modifier and Type	Method and Description
com.ibm.wala.ipa.callgraph.propagation.PointerKey	getPointerKeyForObjectCatalog(com.ibm.wala.ipa.callgraph.propagation.InstanceKey I) get a pointer key for the object catalog of I.
java.util.Iterator<com.ibm.wala.ipa.callgraph.propagation.PointerKey>	getPointerKeysForReflectedFieldRead(com.ibm.wala.ipa.callgraph.propagation.InstanceKey I, com.ibm.wala.ipa.callgraph.propagation.InstanceKey F)
java.util.Iterator<com.ibm.wala.ipa.callgraph.propagation.PointerKey>	getPointerKeysForReflectedFieldWrite(com.ibm.wala.ipa.callgraph.propagation.InstanceKey I, com.ibm.wala.ipa.callgraph.propagation.InstanceKey F)

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

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

Method Detail

getPointerKeysForReflectedFieldRead

java.util.Iterator<com.ibm.wala.ipa.callgraph.propagation.PointerKey> getPointerKeysForReflectedFieldRead(com.ibm.wala.ipa.callgraph.propagation.InstanceKey I,
                                                                                                          com.ibm.wala.ipa.callgraph.propagation.InstanceKey F)

getPointerKeysForReflectedFieldWrite

java.util.Iterator<com.ibm.wala.ipa.callgraph.propagation.PointerKey> getPointerKeysForReflectedFieldWrite(com.ibm.wala.ipa.callgraph.propagation.InstanceKey I,
                                                                                                           com.ibm.wala.ipa.callgraph.propagation.InstanceKey F)

getPointerKeyForObjectCatalog

com.ibm.wala.ipa.callgraph.propagation.PointerKey getPointerKeyForObjectCatalog(com.ibm.wala.ipa.callgraph.propagation.InstanceKey I)

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