Uses of Annotation Interface
org.checkerframework.framework.qual.PreconditionAnnotation

Packages that use PreconditionAnnotation

Package	Description
org.checkerframework.checker.calledmethods.qual
org.checkerframework.checker.lock.qual
org.checkerframework.checker.nonempty.qual
org.checkerframework.checker.nullness.qual
org.checkerframework.checker.optional.qual

Uses of PreconditionAnnotation in org.checkerframework.checker.calledmethods.qual

Classes in org.checkerframework.checker.calledmethods.qual with annotations of type PreconditionAnnotation

Modifier and Type	Class	Description
@interface	RequiresCalledMethods	Indicates a method precondition: when the method is invoked, the specified expressions must have had the specified methods called on them.
static @interface	RequiresCalledMethods.List	A wrapper annotation that makes the RequiresCalledMethods annotation repeatable.

Uses of PreconditionAnnotation in org.checkerframework.checker.lock.qual

Classes in org.checkerframework.checker.lock.qual with annotations of type PreconditionAnnotation

Modifier and Type	Class	Description
@interface	Holding	Indicates a method precondition: the specified expressions must be held when the annotated method is invoked.

Uses of PreconditionAnnotation in org.checkerframework.checker.nonempty.qual

Classes in org.checkerframework.checker.nonempty.qual with annotations of type PreconditionAnnotation

Modifier and Type	Class	Description
@interface	RequiresNonEmpty	Indicates a method precondition: the specified expressions, each of which may be a collection, iterator, iterable, or map, must be non-empty when the annotated method is invoked.

Uses of PreconditionAnnotation in org.checkerframework.checker.nullness.qual

Classes in org.checkerframework.checker.nullness.qual with annotations of type PreconditionAnnotation

Modifier and Type	Class	Description
@interface	RequiresNonNull	Indicates a method precondition: the method expects the specified expressions to be non-null when the annotated method is invoked.
static @interface	RequiresNonNull.List	A wrapper annotation that makes the RequiresNonNull annotation repeatable.

Uses of PreconditionAnnotation in org.checkerframework.checker.optional.qual

Classes in org.checkerframework.checker.optional.qual with annotations of type PreconditionAnnotation

Modifier and Type	Class	Description
@interface	RequiresPresent	Indicates a method precondition: the specified expressions of type Optional must be present (i.e., non-empty) when the annotated method is invoked.
static @interface	RequiresPresent.List	A wrapper annotation that makes the RequiresPresent annotation repeatable.