@Documented
@Retention(value=RUNTIME)
@Target(value={METHOD,CONSTRUCTOR})
public @interface EnsuresNonNull
This postcondidion annotation is useful for methods that initialize a field. It can also be used for a method that fails if a given expression is null.
NonNull
,
NullnessChecker
public abstract java.lang.String[] value
NonNull
on successful
method termination.