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