10 static public void main( String args[] ) {
13 Foo y = getUnflagged();
16 // x is flagged and y is reachable from
17 // at most one object from that site
23 // x is flagged and y is reachable from
24 // at most one object from that site, even
25 // though x is summarized now
30 // if we had definite reachability analysis
31 // we would realize y is already reachable
32 // from x, but we don't and x is summarized
33 // so we conservatively increase the arity
34 // of objects y is reachable from.
39 System.out.println( x+","+y );
42 static public Foo getFlagged() {
43 return disjoint jupiter new Foo();
46 static public Foo getUnflagged() {