Uses of Class
org.checkerframework.framework.qual.PreconditionAnnotation
-
Packages that use PreconditionAnnotation Package Description org.checkerframework.checker.calledmethods.qual org.checkerframework.checker.lock.qual org.checkerframework.checker.nullness.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. -
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.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 theRequiresNonNull
annotation repeatable.
-