Annotation Type NonLeaked
-
@Documented @Retention(RUNTIME) @Target(TYPE_USE) @SubtypeOf({}) 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.For example, the parameter of
String(String s)
is@NonLeaked
, because the method only uses the parameter to make a copy of it.This annotation is currently trusted, not checked.
- See Also:
LeakedToResult
- See the Checker Framework Manual:
- Aliasing Checker