Package org.assertj.core.internal.annotation

Annotation Type 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
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.