Preconditions and Postconditions
What are Preconditions and Postconditions?
Always make sure the precondition is valid . . .
. . . so the postcondition becomes true at the functionís end.
On the other hand, careful programmers also follow these rules:
Advantages of Using Preconditions and Postconditions
Home Page: http://www.cs.sc.edu