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