[Jsr308-statements] use cases for the annotations on code blocks and statements

[Trevor Harmon]

On Feb 3, 2007, at 9:24 PM, Eugene Kuleshov wrote:

>  Thoughts, comments and other use cases and examples are really  
> appreciated.

Don't forget about WCET analysis. In addition to signifying loop  
bounds (as I've mentioned before), annotations are also necessary for  
describing the scope of a block or for dealing with the WCET of  
virtual method calls.

For examples of each, refer to Figure 3 and Figure 7, respectively,  
in the following paper:

ftp://ftp.cs.york.ac.uk/papers/rtspapers/R:Hu:2002a.pdf

Trevor