Fixed a hack that was bugging me with a proper solution.

[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 e4c750abc788d00a47cc8a72cf590540c38d7783..5b56727f7c50da8e4df9e3b9476e8163828b6b3a 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,6 +28,7 @@ public class Fooz {
   public Fooz x;
 }
 
+/*
 public class Penguin {
   int x;
   int y;
@@ -187,7 +188,7 @@ public class Foo {
     p1.y = g0;
   }
 }
-
+*/
 
 
 // this empty task should still create a non-empty
@@ -696,7 +697,7 @@ task methodTest08_( Foo p0{ f }, Foo p1{ f } ) {
 }
 */
 
-
+/*
 task methodTest09_( Foo p0{ f }, Foo p1{ f } ) {
 
   Foo a0before = new Foo();
@@ -732,4 +733,4 @@ task methodTest09_( Foo p0{ f }, Foo p1{ f } ) {
 
   taskexit( p0{ !f }, p1{ !f } );
 }
-
+*/