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

   1 public class Foo {
   2   public Foo() {}
   3   public Foo f;
   4 }
   5
   6 public class Test {
   7
   8
   9     static public void main( String[] args ) {
  10         Foo a=getAFoo();
  11         f1(a);
  12     }
  13
  14     static public void f1( Foo c ) {
  15         c.f = getAFoo();
  16     }
  17
  18     static public Foo getAFoo(){
  19         return disjoint NEW new Foo();
  20     }
  21
  22 }