| Annotation Type | Description |
|---|---|
| CreatesObligation |
Indicates that the method resets the target's must-call type to its declared type.
|
| CreatesObligation.List |
A wrapper annotation that makes the
CreatesObligation 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 (when this is written on a method) return type, for the purposes of Must Call checking.
|
| Owning |
Annotation indicating that ownership should be transferred to the annotated parameter, field, or
(when written on a method) return type, for the purposes of Must Call checking.
|
| PolyMustCall |
The polymorphic qualifier for the Must Call type system.
|