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