minor bug fixes and support for matching classes to super class when mapping edges...
[IRC.git] / Robust / src / Analysis / OwnershipAnalysis / AllocationSite.java
index 949dd4654bef03d66605163b968232aa469254b3..6d7e3b5f5d050f6f130993d377bc7fe1fbd16b1a 100644 (file)
@@ -108,7 +108,7 @@ public class AllocationSite {
   }
 
   public int getAgeCategory(Integer id) {
-    
+
     if( id.equals(summary) ) {
       return AGE_summary;
     }
@@ -129,13 +129,13 @@ public class AllocationSite {
   public Integer getAge(Integer id) {
     for( int i = 0; i < allocationDepth - 1; ++i ) {
       if( id.equals(ithOldest.get(i) ) ) {
-       return new Integer( i );
+       return new Integer(i);
       }
     }
-    
+
     return null;
   }
-  
+
   public int getShadowAgeCategory(Integer id) {
     if( id.equals(-summary) ) {
       return SHADOWAGE_summary;
@@ -146,7 +146,7 @@ public class AllocationSite {
     }
 
     for( int i = 0; i < allocationDepth - 1; ++i ) {
-      if( id.equals( getIthOldestShadow(i) ) ) {
+      if( id.equals(getIthOldestShadow(i) ) ) {
        return SHADOWAGE_in_I;
       }
     }
@@ -154,10 +154,10 @@ public class AllocationSite {
     return SHADOWAGE_notInThisSite;
   }
 
-  public Integer getShadowAge( Integer id ) {
+  public Integer getShadowAge(Integer id) {
     for( int i = 0; i < allocationDepth - 1; ++i ) {
-      if( id.equals( getIthOldestShadow(i) ) ) {
-       return new Integer( -i );
+      if( id.equals(getIthOldestShadow(i) ) ) {
+       return new Integer(-i);
       }
     }
 
@@ -167,4 +167,8 @@ public class AllocationSite {
   public String toString() {
     return "allocSite" + id;
   }
+
+  public String toStringVerbose() {
+    return "allocSite" + id + " "+type.toPrettyString();
+  }
 }