| 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.
|