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

   1 public class Foo {
   2   public Foo next;
   3 }
   4
   5 public class Test {
   6
   7
   8
   9   static public void main( String args[] ) {
  10
  11     Foo f = new Foo();
  12     Foo g = f;
  13
  14     while( false ) {
  15       f.next = new Foo();
  16       f = f.next;
  17     }
  18
  19     f = yodel( f, g );
  20
  21     System.out.println( f );
  22   }
  23
  24   static public Foo yodel( Foo a, Foo b ) {
  25     return a.next;
  26   }
  27 }