Bug fix and makefile update

diff --git a/Robust/src/Analysis/OwnershipAnalysis/OwnershipGraph.java b/Robust/src/Analysis/OwnershipAnalysis/OwnershipGraph.java
index 611234b7cb428aa4930e9019d91dc97cffee782d..34437c350b5c257681afeeb9829b77a515d1145b 100644 (file)
--- a/Robust/src/Analysis/OwnershipAnalysis/OwnershipGraph.java
+++ b/Robust/src/Analysis/OwnershipAnalysis/OwnershipGraph.java
@@ -840,6 +840,7 @@ public class OwnershipGraph {
     }
     */
 
+    /*
     protected void ageTokens( AllocationSite as, ReferenceEdgeProperties rep ) {
        rep.setBeta( rep.getBeta().ageTokens( as ) );
     }
@@ -855,7 +856,7 @@ public class OwnershipGraph {
     protected void majorAgeTokens( AllocationSite as, HeapRegionNode hrn ) {
        //hrn.setAlpha( hrn.getAlpha().majorAgeTokens( as ) );
     }
-
+    */
     
     // some notes:
     // the heap regions that are specially allocated as multiple-object

diff --git a/Robust/src/Makefile b/Robust/src/Makefile
index 2ec4185240ed157a1e8825f751ebeac846bfc974..6ec4ddd4d0752eceb6f522486d71e40982332039 100644 (file)
--- a/Robust/src/Makefile
+++ b/Robust/src/Makefile
@@ -78,7 +78,7 @@ Analysis/OwnershipAnalysis/OwnershipGraph.class                         \
 Analysis/OwnershipAnalysis/OwnershipNode.class                          \
 Analysis/OwnershipAnalysis/LabelNode.class                              \
 Analysis/OwnershipAnalysis/HeapRegionNode.class                         \
-Analysis/OwnershipAnalysis/ReferenceEdgeProperties.class                \
+Analysis/OwnershipAnalysis/ReferenceEdge.class                          \
 Analysis/OwnershipAnalysis/AllocationSite.class                         \
 Analysis/OwnershipAnalysis/TokenTuple.class                             \
 Analysis/OwnershipAnalysis/TokenTupleSet.class                          \