java - 在 Eclipse 中如何使用 CodePro 的合约？

Question

我以为我看懂了CodePro的契约，但是好像没有效果。例如:

public class ContractTest {

    private int number;

    /**
     * @pre inputNumber > 0
     * 
     * Alternatively:
     * @post number > 0
     */
    public void setNumber(int inputNumber) {
        number = inputNumber;
    }

    public int getNumber() {
        return number;
    } 

    public static void main(String args[]) {
        ConditionsTest conditionsTest = new ConditionsTest();
        conditionsTest.setNumber(-5);
        System.out.println("Number: " + conditionsTest.getNumber());
    }
}

运行 main(String[]) 方法会导致:

number: -5

待打印。没有编译警告(预期)，也没有抛出异常。此外，CodePro 生成的 junit 测试方法不受契约(Contract)的影响。

那么如何使用CodePro的合约呢？

Answer 1

你确定你应该收到编译警告吗？据我所知，CodePro 中的契约仅用于生成具有正确断言的 JUnit 测试用例，而不是发出警告。