import com.contracts4j.runtime.Contract;
import com.contracts4j.runtime.Requires;
import com.contracts4j.runtime.Ensures;
public class Calculator {
public int add(@Requires("x >= 0 && y >= 0") int x, @Requires("x >= 0 && y >= 0") int y) {
return x + y;
}
public int divide(@Requires("y != 0") int x, @Requires("y != 0") int y) {
return x / y;
}
public static void main(String[] args) {
Calculator calculator = new Calculator();
int result = calculator.add(5, -3);
System.out.println("Result: " + result);
int quotient = calculator.divide(8, 0);
System.out.println("Quotient: " + quotient);
}
}
