org.checkerframework.common.aliasing.qual

Annotation Type NonLeaked

@Documented
 @Retention(value=RUNTIME)
 @Target(value=TYPE_USE)
 @SubtypeOf(value={})
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(String s) is @NonLeaked, because the method only uses the parameter to make a copy of it.

See Also:

LeakedToResult

See the Checker Framework Manual:

Aliasing Checker TODO: This annotation is currently trusted. A verification must be implemented.