com.ibm.wala.ipa.callgraph.propagation

Class ClassBasedInstanceKeys

java.lang.Object

com.ibm.wala.ipa.callgraph.propagation.ClassBasedInstanceKeys

All Implemented Interfaces:

InstanceKeyFactory

public class ClassBasedInstanceKeys
extends java.lang.Object
implements InstanceKeyFactory

This class provides Instance Key call backs where each instance is in the same equivalence class as all other instances of the same concrete type.

Constructor Summary

Constructors

Constructor and Description
ClassBasedInstanceKeys(AnalysisOptions options, IClassHierarchy cha)

Method Summary

Modifier and Type	Method and Description
IClassHierarchy	getClassHierarchy()
InstanceKey	getInstanceKeyForAllocation(CGNode node, NewSiteReference allocation)
<T> InstanceKey	getInstanceKeyForConstant(TypeReference type, T S)
InstanceKey	getInstanceKeyForMetadataObject(java.lang.Object obj, TypeReference objType)
InstanceKey	getInstanceKeyForMultiNewArray(CGNode node, NewSiteReference allocation, int dim) dim == 0 represents the first dimension, e.g., the [Object; instances in [[Object; e.g., the [[Object; instances in [[[Object;
InstanceKey	getInstanceKeyForPEI(CGNode node, ProgramCounter peiLoc, TypeReference type)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ClassBasedInstanceKeys

public ClassBasedInstanceKeys(AnalysisOptions options,
                              IClassHierarchy cha)

Method Detail

getInstanceKeyForAllocation

public InstanceKey getInstanceKeyForAllocation(CGNode node,
                                               NewSiteReference allocation)

Specified by:

getInstanceKeyForAllocation in interface InstanceKeyFactory

Returns:

the instance key that represents a particular allocation

getInstanceKeyForMultiNewArray

public InstanceKey getInstanceKeyForMultiNewArray(CGNode node,
                                                  NewSiteReference allocation,
                                                  int dim)

dim == 0 represents the first dimension, e.g., the [Object; instances in [[Object; e.g., the [[Object; instances in [[[Object;

dim == 1 represents the second dimension, e.g., the [Object instances in [[[Object;

Specified by:

getInstanceKeyForMultiNewArray in interface InstanceKeyFactory

Returns:

the instance key that represents the array allocated as the dim_th dimension at a particular allocation

getInstanceKeyForConstant

public <T> InstanceKey getInstanceKeyForConstant(TypeReference type,
                                                 T S)

Specified by:

getInstanceKeyForConstant in interface InstanceKeyFactory

Returns:

the instance key that represents a constant with value S, when considered as a particular type

getInstanceKeyForPEI

public InstanceKey getInstanceKeyForPEI(CGNode node,
                                        ProgramCounter peiLoc,
                                        TypeReference type)

Specified by:

getInstanceKeyForPEI in interface InstanceKeyFactory

Returns:

a set of ConcreteTypeKeys that represent the exceptions the PEI may throw.

getInstanceKeyForMetadataObject

public InstanceKey getInstanceKeyForMetadataObject(java.lang.Object obj,
                                                   TypeReference objType)

Specified by:

getInstanceKeyForMetadataObject in interface InstanceKeyFactory

objType - TODO

Returns:

the instance key that represents the metadata object obj

getClassHierarchy

public IClassHierarchy getClassHierarchy()

Returns:

Returns the class hierarchy.