| Modifier and Type | Annotation and Description |
|---|---|
| public @interface | LeakedToResult
This annotation is used on a formal parameter to indicate that the parameter may be returned, but it is not otherwise leaked. |
| public @interface | MaybeAliased
An expression with this type might have an alias. |
| public @interface | |
| public @interface | 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. |
| public @interface | Unique
An expression with this type has no aliases. |