[JSR308] Can we agree on our goals? (annotations on blocks)

[Trevor Harmon]

On Feb 1, 2007, at 3:28 PM, Gary T. Leavens wrote:

> The only reason I mentioned loops explicitly is becuase that is  
> more important to us than other statements.

I think those of us coming from the WCET camp feel exactly the same  
way: Annotation on any statement is a nice-to-have, while loop  
annotation is a must-have.

> While I'm at it, Tom's suggestion of annotating only blocks would  
> be acceptable for our purposes in JML.

Acceptable, yes, but annotating loops by artificially surrounding  
them with braces feels kinda icky, doesn't it? It seems like a  
compromise that just pushes extra work onto annotation users in order  
to make implementation easier for us. Instead, we should try to make  
using annotations as easy and natural as possible without relying on  
new syntactical idioms.

Trevor