Package org.checkerframework.checker.mustcall.qual

package org.checkerframework.checker.mustcall.qual
  • Annotation Interfaces
    Class
    Description
    CreatesMustCallFor
    Indicates that the method resets the expression's must-call type to its declared type.
    CreatesMustCallFor.List
    A wrapper annotation that makes the CreatesMustCallFor annotation repeatable.
    InheritableMustCall
    This annotation is an alias for MustCall that applies to the type on which it is written and all of its subtypes.
    MustCall
    An expression of type @MustCall({"m1", "m2"}) may be obligated to call m1() and/or m2() before it is deallocated, but it is not obligated to call any other methods.
    MustCallAlias
    This polymorphic annotation represents an either-or must-call obligation.
    MustCallUnknown
    The top qualifier in the Must Call type hierarchy.
    NotOwning
    Annotation indicating that ownership should not be transferred to the annotated parameter, field, or method's call sites, for the purposes of Must Call checking.
    Owning
    Annotation indicating that ownership should be transferred to the annotated element for the purposes of Must Call checking.
    PolyMustCall
    The polymorphic qualifier for the Must Call type system.