Robust/src/Analysis/OwnershipAnalysis/AllocationSite.java

   1 package Analysis.OwnershipAnalysis;
   2
   3 import IR.*;
   4 import IR.Flat.*;
   5 import java.util.*;
   6
   7 // allocation sites are independent of any particular
   8 // ownership graph, unlike most of the other elements
   9 // of the ownership analysis.  An allocation site is
  10 // simply a collection of heap region identifiers that
  11 // are associated with a single allocation site in the
  12 // program under analysis.
  13
  14 // So two different ownership graphs may incorporate
  15 // nodes that represent the memory from one allocation
  16 // site.  In this case there are two different sets of
  17 // HeapRegionNode objects, but they have the same
  18 // node identifiers, and there is one AllocationSite
  19 // object associated with the FlatNew node that gives
  20 // the graphs the identifiers in question.
  21
  22 public class AllocationSite {
  23
  24     static private int uniqueIDcount = 0;
  25
  26     protected Integer         id;
  27     protected int             allocationDepth;
  28     protected Vector<Integer> ithOldest;
  29     protected Integer         summary;
  30     protected TypeDescriptor  type;
  31
  32     public static final int AGE_notInThisSite = -1;
  33     public static final int AGE_oldest        = -2;
  34     public static final int AGE_summary       = -3;
  35
  36
  37     public AllocationSite( int allocationDepth, TypeDescriptor type ) {
  38         assert allocationDepth >= 3;
  39
  40         this.allocationDepth = allocationDepth;
  41         this.type            = type;
  42
  43         ithOldest = new Vector<Integer>( allocationDepth );
  44         id        = generateUniqueAllocationSiteID();
  45     }
  46
  47     static public Integer generateUniqueAllocationSiteID() {
  48         ++uniqueIDcount;
  49         return new Integer( uniqueIDcount );
  50     }
  51
  52
  53     public int getAllocationDepth() {
  54         return allocationDepth;
  55     }
  56
  57     public void setIthOldest( int i, Integer id ) {
  58         assert i  >= 0;
  59         assert i  <  allocationDepth;
  60         assert id != null;
  61
  62         ithOldest.add( i, id );
  63     }
  64
  65     public Integer getIthOldest( int i ) {
  66         assert i >= 0;
  67         assert i <  allocationDepth;
  68
  69         return ithOldest.get( i );
  70     }
  71
  72     public Integer getOldest() {
  73         return ithOldest.get( allocationDepth - 1 );
  74     }
  75
  76     public void setSummary( Integer id ) {
  77         assert id != null;
  78         summary = id;
  79     }
  80
  81     public Integer getSummary() {
  82         return summary;
  83     }
  84
  85     public TypeDescriptor getType() {
  86         return type;
  87     }
  88
  89     public int getAge( Integer id ) {
  90         if( id.equals( summary ) ) {
  91             return AGE_summary;
  92         }
  93
  94         if( id.equals( getOldest() ) ) {
  95             return AGE_oldest;
  96         }
  97
  98         for( int i = 0; i < allocationDepth - 1; ++i ) {
  99             if( id.equals( ithOldest.get( i ) ) ) {
 100                 return i;
 101             }
 102         }
 103
 104         return AGE_notInThisSite;
 105     }
 106
 107     public String toString() {
 108         return "allocSite" + id;
 109     }
 110 }