de.unkrig.commons.nullanalysis
Annotation Type NotNull


@Target(value={FIELD,METHOD,PARAMETER,LOCAL_VARIABLE})
@Documented
@Retention(value=CLASS)
public @interface NotNull

Designates that a field, return value, argument, or variable is guaranteed to be non-null.