@Documented
@Retention(value=RUNTIME)
@Target(value={METHOD,CONSTRUCTOR})
public @interface EnsuresQualifier
expression
and are specified using
a string. The qualifier is specified by qualifier
.Modifier and Type | Required Element and Description |
---|---|
java.lang.String[] |
expression
The Java expressions for which the qualifier holds after successful
method termination.
|
java.lang.Class<? extends java.lang.annotation.Annotation> |
qualifier
The qualifier that is guaranteed to hold on successfull termination of
the method.
|
public abstract java.lang.String[] expression