Annotation Interface 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