|
|||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||
See:
Description
| Interface Summary | |
|---|---|
| LoopBoundStrategy | A common interface for various loop bound analysis strategies. |
| Class Summary | |
|---|---|
| AnnotationLoopBoundStrategy | This strategy determines the maximum number of iterations of a loop by reading annotation data that has been inserted manually by the author of the loop. |
| Exception Summary | |
|---|---|
| UnknownLoopBoundException | An exception indicating that the iteration bound for a loop could not be determined. |
| Annotation Types Summary | |
|---|---|
| LoopBound | This annotation is designed for loop constructs. |
Helps determine maximum loop bounds during WCET analysis.
|
|||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||