Package org.checkerframework.common.initializedfields.qual
package org.checkerframework.common.initializedfields.qual
-
ClassDescriptionA method postcondition annotation indicates which fields the method definitely initializes.A wrapper annotation that makes the
EnsuresInitializedFields
annotation repeatable.Indicates which fields have definitely been initialized.The bottom type qualifier for the Initialized Fields type system.Polymorphic qualifier for the Initialized Fields type system.