Committing a stable version of global sweep that works for simple strong updates...

[IRC.git] / Robust / src / Tests / OwnershipAnalysisTest / test01 / test01.java

diff --git a/Robust/src/Tests/OwnershipAnalysisTest/test01/test01.java b/Robust/src/Tests/OwnershipAnalysisTest/test01/test01.java
index 5b56727f7c50da8e4df9e3b9476e8163828b6b3a..3787b57f232686162a46c6658d9a5b309bd65aec 100644 (file)
--- a/Robust/src/Tests/OwnershipAnalysisTest/test01/test01.java
+++ b/Robust/src/Tests/OwnershipAnalysisTest/test01/test01.java
@@ -1,12 +1,12 @@
 
 public class Parameter {
   flag w;
-  //int a;
-  //int b;
-  //Parameter f;
-  //Parameter g;
-  //Penguin p;
-  //Foo h;
+  int a;
+  int b;
+  Parameter f;
+  Parameter g;
+  Penguin p;
+  Foo h;
   
   public Parameter() {}
   
@@ -28,7 +28,7 @@ public class Fooz {
   public Fooz x;
 }
 
-/*
+
 public class Penguin {
   int x;
   int y;
@@ -188,7 +188,7 @@ public class Foo {
     p1.y = g0;
   }
 }
-*/
+
 
 
 // this empty task should still create a non-empty
@@ -327,7 +327,7 @@ task SummaryNodeTokens( Foo p0{ f } ) {
 
     taskexit( p0{ !f } );
 }
-
+*/
 
 task strongUpdates( Foo p0{ f } ) {
 
@@ -335,12 +335,13 @@ task strongUpdates( Foo p0{ f } ) {
 
     Foo a = new Foo();
     if( false ) {
-       a.x = new Foo();
-       a.y = new Foo();
+      a.x = new Foo();
+      a.y = new Foo();
     } else if( false ) {
-       a.x = new Foo();
-       a.y = new Foo();
+      a.x = new Foo();
+      a.y = new Foo();
     }
+    
 
     // this should effect a strong update
     a.x = b;
@@ -357,10 +358,12 @@ task strongUpdates( Foo p0{ f } ) {
     // p0 points to a multiple-object heap region
     // so this should not make a strong update
     p0.x = b;
-    
+
+
     taskexit( p0{ !f } );
 }
 
+/*
 
 task ObjectChainByMethodCalls( Foo a{ f } ) {