[JSR308] A simple proposal for recursive annotations

[Lex Spoon]

On Jun 17, 2009, at 5:01 PM, Joseph Kiniry wrote:
> This is the approach that the JML community is now taking with JML6,  
> using "JML Code Contracts."
>
> James, you need to speak with either myself (as a partner in  
> CHARTER), Gary (as JML head-cheese), or, better yet, Patrice or  
> Robby (as co-leaders of the JML6 effort) so as to better understand  
> what the next generation JML toolsuite, on which I plan on doing  
> CHARTER tool development, will look like.

To clarify, is the plan for JML 6 to move over to Java annotations, or  
are you saying that the JML language will be even more Java-like?  Is  
there any publicly available information on that, or is it too early?

Lex