Class DelegatingAstPointerKeys
java.lang.Object
com.ibm.wala.cast.ipa.callgraph.DelegatingAstPointerKeys
- All Implemented Interfaces:
AstPointerKeyFactory
,PointerKeyFactory
- Direct Known Subclasses:
AstCFAPointerKeys
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionprotected IClass
get type for F appropriate for use in a field name.getFilteredPointerKeyForLocal
(CGNode node, int valueNumber, FilteredPointerKey.TypeFilter filter) protected PointerKey
if F is a supported constant representing a field, return the correspondingInstanceFieldKey
for I.TODO: expand this API to differentiate between different array indicesgetPointerKeyForLocal
(CGNode node, int valueNumber) get a pointer key for the object catalog of I.
-
Constructor Details
-
DelegatingAstPointerKeys
-
-
Method Details
-
getPointerKeyForLocal
- Specified by:
getPointerKeyForLocal
in interfacePointerKeyFactory
- Returns:
- the PointerKey that acts as a representative for the class of pointers that includes the local variable identified by the value number parameter.
-
getFilteredPointerKeyForLocal
public FilteredPointerKey getFilteredPointerKeyForLocal(CGNode node, int valueNumber, FilteredPointerKey.TypeFilter filter) - Specified by:
getFilteredPointerKeyForLocal
in interfacePointerKeyFactory
- Returns:
- the PointerKey that acts as a representative for the class of pointers that includes the local variable identified by the value number parameter.
-
getPointerKeyForReturnValue
- Specified by:
getPointerKeyForReturnValue
in interfacePointerKeyFactory
- Returns:
- the PointerKey that acts as a representative for the class of pointers that includes the return value for a node
-
getPointerKeyForExceptionalReturnValue
- Specified by:
getPointerKeyForExceptionalReturnValue
in interfacePointerKeyFactory
- Returns:
- the PointerKey that acts as a representative for the class of pointers that includes the exceptional return value
-
getPointerKeyForStaticField
- Specified by:
getPointerKeyForStaticField
in interfacePointerKeyFactory
- Returns:
- the PointerKey that acts as a representative for the class of pointers that includes the contents of the static field
-
getPointerKeyForObjectCatalog
Description copied from interface:AstPointerKeyFactory
get a pointer key for the object catalog of I. The object catalog stores the names of all known properties of I.- Specified by:
getPointerKeyForObjectCatalog
in interfaceAstPointerKeyFactory
-
getPointerKeyForInstanceField
- Specified by:
getPointerKeyForInstanceField
in interfacePointerKeyFactory
- Returns:
- the PointerKey that acts as a representation for the class of pointers that includes the given instance field.
-
getPointerKeyForArrayContents
Description copied from interface:PointerKeyFactory
TODO: expand this API to differentiate between different array indices- Specified by:
getPointerKeyForArrayContents
in interfacePointerKeyFactory
- Parameters:
I
- an InstanceKey representing an abstract array- Returns:
- the PointerKey that acts as a representation for the class of pointers that includes the given array contents.
-
getPointerKeysForReflectedFieldWrite
- Specified by:
getPointerKeysForReflectedFieldWrite
in interfaceAstPointerKeyFactory
-
getFieldNameType
get type for F appropriate for use in a field name. -
getInstanceFieldPointerKeyForConstant
if F is a supported constant representing a field, return the correspondingInstanceFieldKey
for I. Otherwise, returnnull
. -
getPointerKeysForReflectedFieldRead
- Specified by:
getPointerKeysForReflectedFieldRead
in interfaceAstPointerKeyFactory
-