Package org.checkerframework.common.aliasing.qual

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:

• LeakedToResult

See the Checker Framework Manual:

Aliasing Checker