Invariant documentation (ctd.)

• The user of an ADT should not be told the invariant for it, since the invariant usually refers to the private member variables of the class.

• Information hiding is the guiding principle here.

Previous slide

Next slide

Back to first slide

View graphic version