Robust/src/Tests/disjoint/genreach/test.java

   1 public class Foo {
   2   public Foo() {}
   3   public Foo f;
   4 }
   5
   6 public class Test {
   7   static public void main( String[] args ) {
   8     Foo a = disjoint A new Foo();
   9     Foo b = disjoint B new Foo();
  10     f0( a, b );
  11   }
  12
  13   static public void f0( Foo a, Foo b ) {
  14     a.f = b;
  15     f1( b );
  16     genreach qqq;
  17   }
  18
  19   static public void f1( Foo c ) {
  20     Foo d = new Foo();
  21     c.f = d;
  22   }
  23 }