@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