OwnershipGraph and Node classes are working and tested.

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

diff --git a/Robust/src/Analysis/OwnershipAnalysis/OwnershipLabelNode.java b/Robust/src/Analysis/OwnershipAnalysis/OwnershipLabelNode.java
index e6fe8ce2cc82b577b1cc08bfbe434cf9db76e73e..2c28e53acc36b1329656b1e4f3ce56eb8593f7ba 100644 (file)
--- a/Robust/src/Analysis/OwnershipAnalysis/OwnershipLabelNode.java
+++ b/Robust/src/Analysis/OwnershipAnalysis/OwnershipLabelNode.java
@@ -4,33 +4,19 @@ import IR.*;
 import IR.Flat.*;
 import java.util.*;
 
-public class OwnershipLabelNode {
+public class OwnershipLabelNode extends OwnershipNode {
 
-    protected int id;
     protected TempDescriptor td; 
-    protected OwnershipHeapRegionNode ohrn;
 
-    public OwnershipLabelNode( int id, TempDescriptor td ) {
-       this.id = id;
+    public OwnershipLabelNode( Integer id, TempDescriptor td ) {
+       super( id );
        this.td = td;
     }
 
-    public OwnershipHeapRegionNode getOwnershipHeapRegionNode() {
-       return ohrn;
-    }
-
-    public void setOwnershipHeapRegionNode( OwnershipHeapRegionNode ohrn ) {
-       this.ohrn = ohrn;
-    }
-
     public TempDescriptor getTempDescriptor() {
        return td;
     }
 
-    public String getIDString() {
-       return (new Integer( id )).toString();
-    }
-
     public String getTempDescriptorString() {
        return td.toString();
     }