blob: ce5635d18a8f1ed08db48f67ec8683a482e39d5b [file] [log] [blame]
@test
operation testIncrementVariable() {
var i : Integer;
i++;
assertEquals(1, i);
}
@test
operation testIncrementAndAssignVariable() {
var i : Integer;
var j = i++;
assertEquals(1, j);
}
@test
operation testIncrementAndPrint() {
var i : Integer;
var j = (i++).println();
assertEquals(1, j);
}
@test
operation testIncrementExtendedProperty() {
var i : Integer;
i.~a = 1;
i.~a++;
assertEquals(2, i.~a);
}
@test
operation testDecrementVariable() {
var i : Integer;
i := 2;
i--;
assertEquals(1, i);
}