new test for paper example

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

diff --git a/Robust/src/Tests/OwnershipAnalysisTest/test03/test03.java b/Robust/src/Tests/OwnershipAnalysisTest/test03/test03.java
index b59d683a418404a3224170fd47054cbfed54e9c2..8dbee93e4f646f04189907e8641aacfc5512ee22 100644 (file)
--- a/Robust/src/Tests/OwnershipAnalysisTest/test03/test03.java
+++ b/Robust/src/Tests/OwnershipAnalysisTest/test03/test03.java
@@ -31,9 +31,18 @@ task Startup( StartupObject s{ initialstate } ) {
 
 task MakeGraph( Parameter p1{ !w } ) {
 
-  while( false ) {
-    Parameter p2 = new Parameter();
-    
+  Parameter pKeep0;
+  Parameter pKeep1;
+  Parameter pKeep2;
+  Parameter p2;
+
+  while( false ) {  
+    pKeep2 = pKeep1;
+    pKeep1 = pKeep0;
+    pKeep0 = p2;
+
+    p2 = new Parameter();    
+
     Node n1 = Node.makeNode();
     Node n2 = Node.makeNode();
     Node n3 = Node.makeNode();