edu.uci.eecs.doc.clepsydra.loop
Annotation Type LoopBound

public @interface LoopBound

This annotation is designed for loop constructs. It allows the developer to indicate the maximum number of iterations of a loop. For example:

 @LoopBound(max=10)
 while (i < j)
 {
     ...
 }
 

For more information, see the JSR-308 Statements document and Toward a Unified Standard for Worst-Case Execution Time Annotations in Real-Time Java by Trevor Harmon and Raymond Klefstad.

Required Element Summary

int	max The maximum number of iterations for the annotated loop.

Element Detail

max

public abstract int max

The maximum number of iterations for the annotated loop.