import org.contracts4j.*; public class Calculator { @Requires("a > 0 && b > 0") @Ensures("result > 0") public int add(int a, int b) { return a + b; } public static void main(String[] args) { Calculator calculator = new Calculator(); int result = calculator.add(3, 4); System.out.println(result); } }