Package org.checkerframework.common.aliasing.qual

Annotation Types Summary

Annotation Type	Description
LeakedToResult	This annotation is used on a formal parameter to indicate that the parameter may be returned, but it is not otherwise leaked.
MaybeAliased	An expression with this type might have an alias.
MaybeLeaked	Temporary type qualifier:
NonLeaked	This annotation is used on a formal parameter to indicate that the parameter is not leaked (stored in a location that could be accessed later) nor returned by the method body.
Unique	An expression with this type has no aliases.