previous
|
start
|
next
Class Invariants
Condition that is
true after every constructor
preserved by every method
(if it's true before the call, it's again true afterwards)
Useful for checking validity of operations
previous
|
start
|
next