[JSR308] Unique annotation proposal

Michael Ernst mernst at csail.mit.edu
Mon May 19 15:24:45 EDT 2008


First, thanks for your bug reports (and patches!), as you use JSR 308 to
build a checker for your unique annotation system.  I'm glad that JSR 308
is working out for you, and please let us know of any problems you

Second, a detailed discussion of the semantics of uniqueness is
interesting, but isn't appropriate for this particular mailing list, which
is focused on JSR 308 itself.  I will send comments on your proposal
directly to you.


More information about the JSR308 mailing list