@Target(value=METHOD)
@Retention(value=RUNTIME)
public @interface PostCondition
| Modifier and Type | Required Element and Description |
|---|---|
PostCondition.Type |
value
The type.
|
| Modifier and Type | Optional Element and Description |
|---|---|
java.lang.String |
expression
The expression will be parsed.
|
public abstract PostCondition.Type value