Preconditions and Postconditions

In this example, I have used the C++ assert function, ... Precondition The programmer who calls a function ensures that the precondition is valid.