Annotation Interface Contract

@Documented @Target(METHOD) @API(status=INTERNAL, since="6.0") public @interface Contract
Specifies some aspects of the annotated method's behavior to be used by tools for data flow analysis.
Since:
6.0
See Also:

  • Required Element Summary

    Required Elements
    Modifier and Type
    Required Element
    Description
    String
    value
    Contains the contract clauses describing causal relations between call arguments and the returned value.

  • Element Details

    • value

      String value
      Contains the contract clauses describing causal relations between call arguments and the returned value.