Annotation Interface 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:
See the Checker Framework Manual:
Aliasing Checker