org.checkerframework.common.aliasing.qual

Annotation Type MaybeLeaked

@Documented
 @DefaultQualifierInHierarchy
 @Retention(value=RUNTIME)
 @Target(value={})
 @SubtypeOf(value=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-qualifer 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