@Documented
@Retention(value=RUNTIME)
@Target(value={METHOD,CONSTRUCTOR})
public @interface EnsuresQualifiers
EnsuresQualifier
Modifier and Type | Required Element and Description |
---|---|
EnsuresQualifier[] |
value |
public abstract EnsuresQualifier[] value