|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: REQUIRED | OPTIONAL | DETAIL: ELEMENT |
@Retention(value=RUNTIME) public @interface InvariantAnnotation
This is the base annotation for all invariant annotations. All other invariant annotations have to extend this annotation. Note that this is not compatible with standard Java, but requires xajavac. For more information about xajavac, see http://ricken.us/research/xajavac
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: REQUIRED | OPTIONAL | DETAIL: ELEMENT |