@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