Constructor Detail

• DelegatingExtendedHeapModel

  public DelegatingExtendedHeapModel​(HeapModel h)

Method Detail

• getClassHierarchy

  public IClassHierarchy getClassHierarchy()

  Specified by:

  getClassHierarchy in interface HeapModel

  Returns:

  the governing class hierarchy for this heap model

• getFilteredPointerKeyForLocal

  public FilteredPointerKey getFilteredPointerKeyForLocal​(CGNode node,
                                                          int valueNumber,
                                                          FilteredPointerKey.TypeFilter filter)

  Specified by:

  getFilteredPointerKeyForLocal in interface PointerKeyFactory

  Returns:

  the PointerKey that acts as a representative for the class of pointers that includes the local variable identified by the value number parameter.

• getInstanceKeyForAllocation

  public InstanceKey getInstanceKeyForAllocation​(CGNode node,
                                                 NewSiteReference allocation)

  Specified by:

  getInstanceKeyForAllocation in interface InstanceKeyFactory

  Returns:

  the instance key that represents a particular allocation

• getInstanceKeyForMetadataObject

  public InstanceKey getInstanceKeyForMetadataObject​(Object obj,
                                                     TypeReference objType)

  Specified by:

  getInstanceKeyForMetadataObject in interface InstanceKeyFactory

  objType - TODO

  Returns:

  the instance key that represents the metadata object obj

• 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

• getInstanceKeyForMultiNewArray

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

  Specified by:

  getInstanceKeyForMultiNewArray in interface InstanceKeyFactory

  Returns:

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

• getInstanceKeyForPEI

  public InstanceKey getInstanceKeyForPEI​(CGNode node,
                                          ProgramCounter instr,
                                          TypeReference type)

  Specified by:

  getInstanceKeyForPEI in interface InstanceKeyFactory

  Returns:

  the instance key that represents the exception of type _type_ thrown by a particular PEI.

• getPointerKeyForArrayContents

  public PointerKey getPointerKeyForArrayContents​(InstanceKey I)

  Description copied from interface: PointerKeyFactory
  TODO: expand this API to differentiate between different array indices

  Specified by:

  getPointerKeyForArrayContents in interface PointerKeyFactory

  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.

• getPointerKeyForExceptionalReturnValue

  public PointerKey getPointerKeyForExceptionalReturnValue​(CGNode node)

  Specified by:

  getPointerKeyForExceptionalReturnValue in interface PointerKeyFactory

  Returns:

  the PointerKey that acts as a representative for the class of pointers that includes the exceptional return value

• getPointerKeyForInstanceField

  public PointerKey getPointerKeyForInstanceField​(InstanceKey I,
                                                  IField field)

  Specified by:

  getPointerKeyForInstanceField in interface PointerKeyFactory

  Returns:

  the PointerKey that acts as a representation for the class of pointers that includes the given instance field.

• getPointerKeyForLocal

  public PointerKey getPointerKeyForLocal​(CGNode node,
                                          int valueNumber)

  Specified by:

  getPointerKeyForLocal in interface PointerKeyFactory

  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

  public PointerKey getPointerKeyForReturnValue​(CGNode node)

  Specified by:

  getPointerKeyForReturnValue in interface PointerKeyFactory

  Returns:

  the PointerKey that acts as a representative for the class of pointers that includes the return value for a node

• getPointerKeyForStaticField

  public PointerKey getPointerKeyForStaticField​(IField f)

  Specified by:

  getPointerKeyForStaticField in interface PointerKeyFactory

  Returns:

  the PointerKey that acts as a representative for the class of pointers that includes the contents of the static field

• iteratePointerKeys

  public Iterator<PointerKey> iteratePointerKeys()

  Specified by:

  iteratePointerKeys in interface HeapModel

  Returns:

  an Iterator of all PointerKeys that are modeled.

• getPointerKeyForArrayLength

  public PointerKey getPointerKeyForArrayLength​(InstanceKey I)

  Specified by:

  getPointerKeyForArrayLength in interface ExtendedHeapModel

  Parameters:

  I - an InstanceKey representing an abstract array

  Returns:

  the PointerKey that acts as a representation for the arraylength field of this abstract array