new test case.

diff --git a/Robust/src/Tests/disjoint/taintTest1/test.java b/Robust/src/Tests/disjoint/taintTest1/test.java
index 86b90c30280d38151d1893cd1dceea9ec9439a6d..d6efcf9230ad705e64b05df90ea4584197503a5a 100644 (file)
--- a/Robust/src/Tests/disjoint/taintTest1/test.java
+++ b/Robust/src/Tests/disjoint/taintTest1/test.java
@@ -2,6 +2,7 @@ public class Foo {
   public Foo() {}
   public Foo f;
   public Foo g;
+    public int a;
 }
 
 public class Test {
@@ -10,44 +11,48 @@ public class Test {
 
     Foo a = new Foo();
     Foo b = new Foo();
-
+    Foo bbb = new Foo();
+    
+    bbb.f=new Foo();
     rblock r1 {
-
-      rblock c1 {
-        a.f = new Foo();
-      }
-
-      Foo x = a.f;
-
-      doSomething( a, b );
-
-      //rblock c2 {
-      //  b.f = new Foo();
-      //}
-
-      //x.g = new Foo();
+       
+       a.f=new Foo();
+       a.a=2;
+       /*
+       while(1==1){    
+           Foo yyy = b.f; 
+           rblock rr1{
+               b.f=new Foo();
+           }
+           
+           rblock rr2{
+               b.f=new Foo();
+           }
+           
+       }    
+       */
     }
-
+    Foo xxx = a.f;
+    //xxx.a=100;
+    xxx.f=new Foo();
+    Foo zzz=xxx.f;
+    zzz.a=100;
 
   }
-
+   
   static void doSomething( Foo a, Foo b ) {
-    
-    Foo x = b;
-    a.g = x; 
 
-    rblock j {
-      a.f = new Foo();
-      b.f = new Foo();
-    }
+    a.g = new Foo();
+    
+    a.f.f = a.g;
 
-    //Foo f = doStuff( a.f, b.f );
+    Foo f = doStuff( a, b );
   }   
 
   static Foo doStuff( Foo m, Foo n ) {
+      
+      m.f.g = n.f;
+      return new Foo();
 
-    m.g = n;
-
-    return new Foo();
   }
 }