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
.... [Slide 51] ....