Added fields to ReferenceEdgeProperties and combed over all classes that need proper...

[IRC.git] / Robust / src / Analysis / OwnershipAnalysis / OwnershipNode.java

diff --git a/Robust/src/Analysis/OwnershipAnalysis/OwnershipNode.java b/Robust/src/Analysis/OwnershipAnalysis/OwnershipNode.java
index a216ca7a0655f627ca3eb85c77729fcdd46c2691..14adde19c74e8498acc5143fbddfd8b3e5a709b1 100644 (file)
--- a/Robust/src/Analysis/OwnershipAnalysis/OwnershipNode.java
+++ b/Robust/src/Analysis/OwnershipAnalysis/OwnershipNode.java
@@ -4,7 +4,9 @@ import IR.*;
 import IR.Flat.*;
 import java.util.*;
 
-public class OwnershipNode {   
+public abstract class OwnershipNode {   
+
+    protected Hashtable <HeapRegionNode, ReferenceEdgeProperties> referencedRegions;
 
     public OwnershipNode() {
        referencedRegions = 
@@ -12,13 +14,6 @@ public class OwnershipNode {
     }
 
 
-    ///////////////////////////////////////////
-    // interface with larger graph
-    ///////////////////////////////////////////
-    protected Hashtable
-       <HeapRegionNode, ReferenceEdgeProperties>
-       referencedRegions;
-
     public Iterator setIteratorToReferencedRegions() {
        Set s = referencedRegions.entrySet();
        return s.iterator();
@@ -50,7 +45,8 @@ public class OwnershipNode {
 
        return referencedRegions.get( hrn );
     }
-    ///////////////////////////////////////////////
-    // end interface with larger graph
-    ///////////////////////////////////////////////
+
+
+    abstract public boolean equals( Object o );
+    abstract public int hashCode();
 }
\ No newline at end of file