Quick Java question.
A post condition is a value check / validation after an operation, right?
In this case, you would be checking to see if x == 0, and not setting the value of x to 0, right?
Does Java have some kind of Assert method? Like, assert (x == 0);