pull in class files that already exist in library

diff --git a/Robust/src/Analysis/OwnershipAnalysis/AllocationSite.java b/Robust/src/Analysis/OwnershipAnalysis/AllocationSite.java
index f3da5e8040b12d8220e44a474ad33b121daaf20e..34864eb7c060cfa32a81712803d6b59bc05e8216 100644 (file)
--- a/Robust/src/Analysis/OwnershipAnalysis/AllocationSite.java
+++ b/Robust/src/Analysis/OwnershipAnalysis/AllocationSite.java
@@ -27,7 +27,7 @@ public class AllocationSite {
   protected int allocationDepth;
   protected Vector<Integer> ithOldest;
   protected Integer summary;
-  protected TypeDescriptor type;
+  protected FlatNew flatNew;
 
   public static final int AGE_notInThisSite = 100;
   public static final int AGE_in_I          = 101;
@@ -40,11 +40,11 @@ public class AllocationSite {
   public static final int SHADOWAGE_summary       = -103;
 
 
-  public AllocationSite(int allocationDepth, TypeDescriptor type) {
+  public AllocationSite(int allocationDepth, FlatNew flatNew) {
     assert allocationDepth >= 1;
 
     this.allocationDepth = allocationDepth;
-    this.type            = type;
+    this.flatNew         = flatNew;
 
     ithOldest = new Vector<Integer>(allocationDepth);
     id        = generateUniqueAllocationSiteID();
@@ -103,8 +103,12 @@ public class AllocationSite {
     return -summary;
   }
 
+  public FlatNew getFlatNew() {
+    return flatNew;
+  }
+
   public TypeDescriptor getType() {
-    return type;
+    return flatNew.getType();
   }
 
   public int getAgeCategory(Integer id) {
@@ -169,6 +173,6 @@ public class AllocationSite {
   }
 
   public String toStringVerbose() {
-    return "allocSite" + id + " "+type.toPrettyString();
+    return "allocSite" + id + " "+flatNew.getType().toPrettyString();
   }
 }

diff --git a/Robust/src/Analysis/OwnershipAnalysis/OwnershipAnalysis.java b/Robust/src/Analysis/OwnershipAnalysis/OwnershipAnalysis.java
index a7730c5745a646d91df3f6f0473133209be185ea..f28ce12748ca6ff676da5b1323ef6736637c45d7 100644 (file)
--- a/Robust/src/Analysis/OwnershipAnalysis/OwnershipAnalysis.java
+++ b/Robust/src/Analysis/OwnershipAnalysis/OwnershipAnalysis.java
@@ -106,7 +106,7 @@ public class OwnershipAnalysis {
          AllocationSite as = (AllocationSite) allocItr.next();
          if( createsPotentialAliases(td, i, as) ) {
            foundSomeAlias = true;
-           bw.write("Potential alias between parameter "+i+" and "+as+".\n");
+           bw.write("Potential alias between parameter "+i+" and "+as.getFlatNew()+".\n");
          }
        }
       }
@@ -126,7 +126,7 @@ public class OwnershipAnalysis {
          if( !outerChecked.contains(as2) &&
              createsPotentialAliases(td, as1, as2) ) {
            foundSomeAlias = true;
-           bw.write("Potential alias between "+as1+" and "+as2+".\n");
+           bw.write("Potential alias between "+as1.getFlatNew()+" and "+as2.getFlatNew()+".\n");
          }
        }
 
@@ -686,7 +686,7 @@ public class OwnershipAnalysis {
   private AllocationSite getAllocationSiteFromFlatNewPRIVATE(FlatNew fn) {
 
     if( !mapFlatNewToAllocationSite.containsKey(fn) ) {
-      AllocationSite as = new AllocationSite(allocationDepth, fn.getType() );
+      AllocationSite as = new AllocationSite(allocationDepth, fn );
 
       // the newest nodes are single objects
       for( int i = 0; i < allocationDepth; ++i ) {

diff --git a/Robust/src/Main/Main.java b/Robust/src/Main/Main.java
index 05e5c99c890a7ba741163cd06684401761e35f6d..2dd61672e9e61f13180f9cd04e9be7d64172a529 100644 (file)
--- a/Robust/src/Main/Main.java
+++ b/Robust/src/Main/Main.java
@@ -174,6 +174,12 @@ public class Main {
     readSourceFile(state, ClassLibraryPrefix+"gnu/Random.java");
     readSourceFile(state, ClassLibraryPrefix+"Vector.java");
     readSourceFile(state, ClassLibraryPrefix+"Enumeration.java");
+    readSourceFile(state, ClassLibraryPrefix+"Dictionary.java");
+    readSourceFile(state, ClassLibraryPrefix+"Writer.java");
+    readSourceFile(state, ClassLibraryPrefix+"BufferedWriter.java");
+    readSourceFile(state, ClassLibraryPrefix+"OutputStreamWriter.java");
+    readSourceFile(state, ClassLibraryPrefix+"FileWriter.java");
+    readSourceFile(state, ClassLibraryPrefix+"Date.java");
 
     if (state.TASK) {
       readSourceFile(state, ClassLibraryPrefix+"Object.java");