Contract

```
@Documented
@Target(METHOD)
public @interface Contract
```
Specifies some aspects of the annotated method's behavior to be used by tools for data flow analysis.

Since:

3.27.4

See Also:

org.jetbrains.annotations.Contract, NullAway custom contract annotations

Required Element Summary

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

- Element Detail
  - value
```
java.lang.String value
```
    Contains the contract clauses describing causal relations between call arguments and the returned value.