[JSR308] A simple proposal for recursive annotations

[Lex Spoon]

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