C E N O

C

CalledMethods - Annotation Type in org.checkerframework.checker.builder.qual

For compatibility with Lombok, retain the old annotations it generates.

CalledMethods - Annotation Type in org.checkerframework.checker.objectconstruction.qual

If an expression has type @CalledMethods({"m1", "m2"}), then methods m1 and m2 have definitely been called on its value.

CalledMethodsBottom - Annotation Type in org.checkerframework.checker.objectconstruction.qual

The bottom type for the CalledMethods type system, a part of the object construction checker.

CalledMethodsPredicate - Annotation Type in org.checkerframework.checker.objectconstruction.qual

This annotation represents a predicate on @CalledMethods annotations that must be true.

CalledMethodsTop - Annotation Type in org.checkerframework.checker.objectconstruction.qual

The top qualifier in the Called Methods type hierarchy.

E

EnsuresCalledMethods - Annotation Type in org.checkerframework.checker.objectconstruction.qual

Indicates that the method, if it terminates successfully, always invokes the given methods on the value expressions.

N

NotCalledMethods - Annotation Type in org.checkerframework.checker.builder.qual

An annotation speculatively used by Lombok's lombok.config checkerframework = true option.

O

org.checkerframework.checker.builder.qual - package org.checkerframework.checker.builder.qual

org.checkerframework.checker.objectconstruction.qual - package org.checkerframework.checker.objectconstruction.qual

C E N O