Top Description Methods
org.checkerframework.common.aliasing.qual

public @Interface MaybeLeaked

extends Annotation
Annotations
@Documented
@Retention:RUNTIME
@Target
@DefaultQualifierInHierarchy
@SubtypeOf:LeakedToResult
@InvisibleQualifier
Imports
java.lang.annotation.Documented, .Retention, .RetentionPolicy, .Target, org.checkerframework.framework.qual.DefaultQualifierInHierarchy, .InvisibleQualifier, .SubtypeOf

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.

Method Summary

Inherited from java.lang.annotation.Annotation:
annotationTypeequalshashCodetoString