E N O R

E

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

Indicates that the method, if it terminates successfully, always invokes the given methods on all of the arguments passed in the varargs position.

N

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

Annotation indicating ownership should be transferred to the parameter or field, for the purposes of MustCall checking.

O

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

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

Annotation indicating ownership should be transferred to the parameter or field, for the purposes of MustCall checking.

R

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

E N O R