Fixed x.f = y operation

[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 c616953a207ea306d115f900cd28bb620bf97d9c..b71138e1b1d1247c1feb4ae1cbe7f7cfb011a795 100644 (file)
--- a/Robust/src/Tests/OwnershipAnalysisTest/test01/test01.java
+++ b/Robust/src/Tests/OwnershipAnalysisTest/test01/test01.java
@@ -57,18 +57,12 @@ task Startup( StartupObject s{ initialstate } ) {
     while( false ) {
        Foo a = new Foo();
        a.x   = new Foo();
-       a.x.x = new Foo();
-    }
-    
-    
-    Foo b;
-    while( false ) {
-       Foo c = new Foo();
-       c.x = b;
-       b = c;
+               a.x.x = new Foo();
+
+       //Foo z = a.x;
+       //z.x = new Foo();
     }
     
-    
     Foo d = new Foo();
     Foo e = new Foo();
     Foo f = new Foo();
@@ -76,6 +70,19 @@ task Startup( StartupObject s{ initialstate } ) {
     d.x = e;
     e.x = f;    
 
+    // to look like Foo a above
+    //d.x.x = f;
+
+
+    /*
+    Foo b;
+    while( false ) {
+       Foo c = new Foo();
+       c.x = b;
+       b = c;
+    }
+    */
+
     taskexit( s{ !initialstate } );
 }