[JSR308] A simple proposal for recursive annotations
lex at lexspoon.org
Wed Jun 24 19:13:48 EDT 2009
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?
More information about the JSR308