How do you use CodePro contracts in Eclipse?

Question

It seemed to me that I understand CodePro contracts, but they don't seem to have any effect. For instance:

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 calls:

number: -5

for print. There were no compilation warnings (expected), and there were no exceptions. In addition, contracts for junit test methods created by CodePro were not affected by the contracts.

So how do you use CodePro contracts?

Answer 1

Are you sure you should receive compilation warnings? From what I saw, the contracts in CodePro are only for generating JUnit test cases with corresponding statements, and not for warning.

Answer 2

java, Cofoja :

http://code.google.com/p/cofoja/

: Cofoja Eclipse:

http://fsteeg.com/2011/02/07/setting-up-contracts-for-java-in-eclipse/