Class AllocationSiteInNodeFactory
java.lang.Object
com.ibm.wala.ipa.callgraph.propagation.AllocationSiteInNodeFactory
- All Implemented Interfaces:
InstanceKeyFactory
A factory which tries by default to create
InstanceKey
s which are AllocationSiteInNode
s.
Notes:
- This class checks to avoid creating recursive contexts when
CGNode
s are based onReceiverInstanceContext
, as in object-sensitivity. - Up till recursion, this class will happily create unlimited object sensitivity, so be careful.
- This class resorts to
ClassBasedInstanceKeys
for exceptions from PEIs and class objects. - This class consults the
AnalysisOptions
to determine whether to disambiguate individual constants.
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptiongetInstanceKeyForAllocation
(CGNode node, NewSiteReference allocation) <T> InstanceKey
getInstanceKeyForConstant
(TypeReference type, T S) getInstanceKeyForMetadataObject
(Object obj, TypeReference objType) getInstanceKeyForMultiNewArray
(CGNode node, NewSiteReference allocation, int dim) getInstanceKeyForPEI
(CGNode node, ProgramCounter pei, TypeReference type)
-
Constructor Details
-
AllocationSiteInNodeFactory
- Parameters:
options
- Governing call graph construction options
-
-
Method Details
-
getInstanceKeyForAllocation
- Specified by:
getInstanceKeyForAllocation
in interfaceInstanceKeyFactory
- Returns:
- the instance key that represents a particular allocation
-
getInstanceKeyForMultiNewArray
public InstanceKey getInstanceKeyForMultiNewArray(CGNode node, NewSiteReference allocation, int dim) - Specified by:
getInstanceKeyForMultiNewArray
in interfaceInstanceKeyFactory
- Returns:
- the instance key that represents the array allocated as the dim_th dimension at a particular allocation
-
getInstanceKeyForConstant
- Specified by:
getInstanceKeyForConstant
in interfaceInstanceKeyFactory
- Returns:
- the instance key that represents a constant with value S, when considered as a particular type
-
getInstanceKeyForPEI
- Specified by:
getInstanceKeyForPEI
in interfaceInstanceKeyFactory
- Returns:
- the instance key that represents the exception of type _type_ thrown by a particular PEI.
-
getInstanceKeyForMetadataObject
- Specified by:
getInstanceKeyForMetadataObject
in interfaceInstanceKeyFactory
- Parameters:
objType
- TODO- Returns:
- the instance key that represents the metadata object obj
-