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