| 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:
This is the default type qualifier for the Leaked hierarchy.
|
| 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.
|