@Documented @Target(value={TYPE_USE,PARAMETER,METHOD,FIELD,LOCAL_VARIABLE}) @Retention(value=RUNTIME) public @interface Invariant
| Modifier and Type | Required Element and Description |
|---|---|
@Nonnull @JavaExpression String |
condition
Returns the condition which the generated field or parameter has to fulfill.
|
@Nonnull String |
message
Returns the message which is thrown if the given condition is not fulfilled.
|
@Nonnull @JavaExpression public abstract @Nonnull @JavaExpression String condition
Copyright © 2017. All rights reserved.