import org.contract4j5.contract.Contract;
public class MathUtils {
@Contract(pre="args[0]>0 && args[1]>0", post="result>0")
public static int multiply(int a, int b) {
return a * b;
}
public static void main(String[] args) {
int result = multiply(-2, 3);
System.out.println("Result: " + result);
}
}
<dependency>
<groupId>org.contract4j5</groupId>
<artifactId>contract4j5-core</artifactId>
<version>2.5.1</version>
</dependency>
properties
contract.enforcement.state.void.enabled=true
