public class Calculator {
private int total;
public Calculator() {
total = 0;
}
public void add(int number) {
total += number;
}
@Require("$1 > 0")
public void subtract(int number) {
total -= number;
}
@Ensure("$return == $1 + total")
public int getTotal() {
return total;
}
}
