Top Description Methods
org.junit.platform.commons.annotation

public @Interface Contract

extends Annotation
Annotations
@Documented
@Target:METHOD
@API
status:INTERNAL
since:6.0
Static Imports
org.apiguardian.api.API.Status.INTERNAL
Specifies some aspects of the annotated method's behavior to be used by tools for data flow analysis.
Since
6.0
See Also
org.jetbrains.annotations.Contract, NullAway custom contract annotations

Method Summary

Modifier and TypeMethod and Description
public String
value()

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

Inherited from java.lang.annotation.Annotation:
annotationTypeequalshashCodetoString

Method Detail

valueback to summary
public String value()

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