harpoon.Analysis
Class DefaultAllocationInformation

java.lang.Object
  harpoon.Analysis.DefaultAllocationInformation

All Implemented Interfaces:

AllocationInformation<Quad>, Serializable

public class DefaultAllocationInformation
extends Object
implements AllocationInformation<Quad>, Serializable

DefaultAllocationInformation returns a simple no-analysis AllocationInformation structure which works for allocation sites in quad form. The DefaultAllocationInformation will conservatively say that nothing can be stack or thread-locally allocated.

Version:

$Id: DefaultAllocationInformation.java,v 1.9 2003/03/11 17:49:51 cananian Exp $

Author:

C. Scott Ananian <cananian@alumni.princeton.edu>

See Also:

Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from interface harpoon.Analysis.Maps.AllocationInformation

AllocationInformation.AllocationProperties

Field Summary

static AllocationInformation<Quad>

SINGLETON A static instance of the singleton DefaultAllocationInformation object.

Method Summary

static boolean	hasInteriorPointers(HClass cls) Return true iff the specified object type has no interior pointers; that is, iff all its fields are primitive.
AllocationInformation.AllocationProperties	query(Quad allocationSite) Return an AllocationProperties object for the given allocation site.

Methods inherited from class java.lang.Object

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

Field Detail

SINGLETON

public static final AllocationInformation<Quad> SINGLETON

A static instance of the singleton DefaultAllocationInformation object.

Method Detail

query

public AllocationInformation.AllocationProperties query(Quad allocationSite)

Return an AllocationProperties object for the given allocation site. The allocation site must be either a harpoon.IR.Quads.NEW or a harpoon.IR.Quads.ANEW.

Specified by:

query in interface AllocationInformation<Quad>

hasInteriorPointers

public static boolean hasInteriorPointers(HClass cls)

Return true iff the specified object type has no interior pointers; that is, iff all its fields are primitive.