Annotation Interface Contract

@Documented @Target(METHOD) public @interface Contract
Custom contract annotation used for jspecify and NullAway checks. This is the same as Spring does: we don't want any additional dependencies, therefore we define our own Contract annotation.
See Also:

  • Optional Element Summary

    Optional Elements
    Modifier and Type
    Optional Element
    Description
    String
    value
    Describing the contract between call arguments and the returned value.

  • Element Details

    • value

      String value
      Describing the contract between call arguments and the returned value.
      Default:
      ""