import com.facebook.contract.annotation.Requires; import com.facebook.contract.annotation.Ensures; public class Calculator { @Requires("a > 0 && b > 0") @Ensures("result > 0") public int sum(int a, int b) { return a + b; } }