[JSR308] A simple proposal for recursive annotations

Lex Spoon lex at lexspoon.org
Wed Jun 24 19:15:19 EDT 2009


On Jun 17, 2009, at 6:24 PM, Dr. James J. Hunt wrote:
> Certainly, the syntax Lex suggests in quite appealing.  What I am
> concerned about it how this syntax can be encoded to be available in  
> the
> class file.  Nobody really wants to write the JML purely in annotation
> syntax.

I'm not sure what the plan is for JML, but I believe that typed Java  
trees could be straightforwardly pickled into an array of bytes to be  
stored in the class file.  They could then be accessed, among other  
ways, by an extension of the reflection API.

Lex




More information about the JSR308 mailing list