Package org.checkerframework.common.aliasing.qual

Annotation Type MaybeLeaked

@Documented
@Retention(RUNTIME)
@Target({})
@DefaultQualifierInHierarchy
@SubtypeOf(LeakedToResult.class)
@InvisibleQualifier
public @interface MaybeLeaked

Temporary type qualifier:

This is the default type qualifier for the Leaked hierarchy.

Once the stub parser gets updated to read non-type-qualifier annotations on stub files (Issue 383), this annotation can be removed, and NonLeaked and LeakedToResult can be made to be type annotations but not type qualifiers and not in a type hierarchy.

See the Checker Framework Manual:

Aliasing Checker