Always make sure the precondition is valid . . .

• The programmer who calls the function is responsible for ensuring that the precondition is valid when the function is called.

Previous slide

Next slide

Back to first slide

View graphic version