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
All Methods Instance Methods Abstract Methods 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 Detail
-
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.
-
-