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

发布于 2024-12-15 22:48:28 字数 749 浏览 3 评论 0原文

我以为我理解了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 测试方法不受合约的影响。

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

原文

I thought I understood CodePro's contracts, but they seem to have no effect. For example:

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());
    }
}

Running the main(String[]) method causes:

number: -5

to be printed. There were no compile warning (expected), and no exceptions thrown. Also, the junit test methods generated by CodePro were not affected by the contracts.

So how do you use CodePro's contracts?

分享到QQ

分享到微博