[JSR308] Can we agree on our goals?

[C. Scott Ananian]

This conflates two different proposals, but...

Neal (et al)'s closure proposal offers the possibility of abstracting 
control structures from the language to some degree.  while/if/etc become 
mere calls to (special static) methods taking a closure.

This suggests that one other point on the "limited annotation" spectrum 
might be to annotate just method invocations, not statements in general.
The loops that Gary is concerned with might be desugared into method 
calls, either by a JML preprocessor or else within javac (in order to 
minimize the changes to Sun's compiler).

The idea of this alternative may be nothing but another datum supporting 
Doug Lea's observation that piecemeal annotation efforts just yield 
further annotation proposals.
   --scott
                          ( http://cscott.net/ )