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

   1 public class Foo {
   2   public Foo() {}
   3   public Bar b;
   4 }
   5
   6 public class Bar {
   7   public Bar() {}
   8 }
   9
  10 public class Test {
  11
  12   static public void main( String[] args ) {
  13
  14     Foo f1 = new Foo();
  15     Foo extraVar = f1;
  16     addSomething( f1 );
  17
  18     Foo f2 = new Foo();
  19     addSomething( f2 );
  20   }
  21
  22   public static void addSomething( Foo f ) {
  23     f.b = new Bar();
  24     //addBar( f );
  25   }
  26
  27   public static void addBar( Foo g ) {
  28     if( true ) {
  29       g.b = new Bar();
  30     } else {
  31       g.b = new Bar();
  32     }
  33   }
  34 }