|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: REQUIRED | OPTIONAL | DETAIL: ELEMENT |
@Documented @Target(value={METHOD,CONSTRUCTOR}) @Retention(value=CLASS) @Level1Desugarable(value=POST) public @interface Post
A post-condition.
Required Element Summary | |
---|---|
String |
value
A valid Java expression which evaluates to a boolean. |
Element Detail |
---|
@Code public abstract String value
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: REQUIRED | OPTIONAL | DETAIL: ELEMENT |