Checker Qual 3.38.0 · org.checkerframework.checker.mustcall.qual

Annotation Summary

Modifier and Type	Annotation and Description
public @interface	CreatesMustCallFor Indicates that the method resets the expression's must-call type to its declared type.
public @interface	InheritableMustCall This annotation is an alias for `MustCall` that applies to the type on which it is written and all of its subtypes.
public @interface	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.
public @interface	MustCallAlias This polymorphic annotation represents an either-or must-call obligation.
public @interface	MustCallUnknown The top qualifier in the Must Call type hierarchy.
public @interface	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.
public @interface	Owning Annotation indicating that ownership should be transferred to the annotated element for the purposes of Must Call checking.
public @interface	PolyMustCall The polymorphic qualifier for the Must Call type system.