Uses of Annotation Type
org.checkerframework.framework.qual.PreconditionAnnotation
Packages that use PreconditionAnnotation
Package
Description
-
Uses of PreconditionAnnotation in org.checkerframework.checker.calledmethods.qual
Classes in org.checkerframework.checker.calledmethods.qual with annotations of type PreconditionAnnotationModifier and TypeClassDescription@interface
Indicates a method precondition: when the method is invoked, the specified expressions must have had the specified methods called on them. -
Uses of PreconditionAnnotation in org.checkerframework.checker.lock.qual
Classes in org.checkerframework.checker.lock.qual with annotations of type PreconditionAnnotationModifier and TypeClassDescription@interface
Indicates a method precondition: the specified expressions must be held 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 PreconditionAnnotationModifier and TypeClassDescription@interface
Indicates a method precondition: the method expects the specified expressions to be non-null when the annotated method is invoked.static @interface
A wrapper annotation that makes theRequiresNonNull
annotation repeatable.