Data Structures and Other Objects Using C++

Always make sure the precondition is valid . . .

pThe programmer who calls the method is responsible for ensuring that the precondition is valid when the method is called.

AT THIS POINT, MY

PROGRAM CALLS YOUR

METHOD, AND I MAKE

SURE THAT THE

PRECONDITION IS

VALID.


	So, let's look at the use of preconditions and postconditions in a typical situation. The programmer who calls the method is responsible for ensuring that the precondition is valid when the method is called.

	If she fails in this responsibility, then all bets are off. There is no telling what might occur.