switch to spaces only..

[IRC.git] / Robust / src / Analysis / Pointer / AllocFactory.java

diff --git a/Robust/src/Analysis/Pointer/AllocFactory.java b/Robust/src/Analysis/Pointer/AllocFactory.java
index ed997a9eb346e21eec2494e8adbf387166671227..04a46e4717e8c33f4cdb102ecd450b47828e1611 100644 (file)
--- a/Robust/src/Analysis/Pointer/AllocFactory.java
+++ b/Robust/src/Analysis/Pointer/AllocFactory.java
@@ -14,7 +14,7 @@ public class AllocFactory {
     boolean summary;
     FlatNew node;
     AllocSiteNode as;
-    
+
     public AllocNode(int allocsite, FlatNew node, boolean summary) {
       this.allocsite=allocsite;
       this.summary=summary;
@@ -47,15 +47,15 @@ public class AllocFactory {
     public boolean isSummary() {
       return summary;
     }
-    
+
     public int hashCode() {
       return allocsite<<1^(summary?0:1);
     }
-    
+
     public boolean equals(Object o) {
       if (o instanceof AllocNode) {
-       AllocNode an=(AllocNode)o;
-       return (allocsite==an.allocsite)&&(summary==an.summary);
+        AllocNode an=(AllocNode)o;
+        return (allocsite==an.allocsite)&&(summary==an.summary);
       }
       return false;
     }
@@ -66,16 +66,16 @@ public class AllocFactory {
 
     public String getID() {
       if (summary)
-       return "SUM"+allocsite;
+        return "SUM"+allocsite;
       else
-       return "SING"+allocsite;
+        return "SING"+allocsite;
     }
   }
 
   public static class AllocSiteNode implements Alloc {
     int allocsite;
     FlatNew node;
-    
+
     public AllocSiteNode(int allocsite, FlatNew node) {
       this.allocsite=allocsite;
       this.node=node;
@@ -96,11 +96,11 @@ public class AllocFactory {
     public int hashCode() {
       return allocsite;
     }
-    
+
     public boolean equals(Object o) {
       if (o instanceof AllocSiteNode) {
-       AllocSiteNode an=(AllocSiteNode)o;
-       return (allocsite==an.allocsite);
+        AllocSiteNode an=(AllocSiteNode)o;
+        return (allocsite==an.allocsite);
       }
       return false;
     }
@@ -108,7 +108,7 @@ public class AllocFactory {
     public String toStringBrief() {
       return getID();
     }
-    
+
     public String toString() {
       return getID();
     }
@@ -127,7 +127,9 @@ public class AllocFactory {
     TypeDescriptor stringtd=new TypeDescriptor(stringcd);
     TypeDescriptor stringarraytd=stringtd.makeArray(state);
     StringArray=new AllocNode(0, new FlatNew(stringarraytd, null, false), false);
+    StringArray.as=getAllocSite(StringArray);
     Strings=new AllocNode(1, new FlatNew(stringtd, null, false), true);
+    Strings.as=getAllocSite(Strings);
   }
 
   public int getSiteNumber(FlatNew node) {