<dependency>
<groupId>org.contract4j5</groupId>
<artifactId>contract4j5</artifactId>
<version>1.6.0</version>
</dependency>
import org.contract4j5.contract.Contract;
public class MathUtils {
@Contract("requires(int number1, int number2) ensures (int result)")
public static int add(int number1, int number2) {
}
}
import org.contract4j5.contract (*);
public class Main {
public static void main(String[] args) {
int result = MathUtils.add(2, 3);
}
}
