com.ibm.wala.cast.ipa.callgraph
Interface AstPointerKeyFactory

All Superinterfaces:

PointerKeyFactory

All Known Implementing Classes:

AstCFAPointerKeys, DelegatingAstPointerKeys

public interface AstPointerKeyFactory
extends PointerKeyFactory

Method Summary

PointerKey	getPointerKeyForObjectCatalog(InstanceKey I)
java.util.Iterator<PointerKey>	getPointerKeysForReflectedFieldRead(InstanceKey I, InstanceKey F)
java.util.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 Detail

getPointerKeysForReflectedFieldRead

java.util.Iterator<PointerKey> getPointerKeysForReflectedFieldRead(InstanceKey I,
                                                                   InstanceKey F)

getPointerKeysForReflectedFieldWrite

java.util.Iterator<PointerKey> getPointerKeysForReflectedFieldWrite(InstanceKey I,
                                                                    InstanceKey F)

getPointerKeyForObjectCatalog

PointerKey getPointerKeyForObjectCatalog(InstanceKey I)