Preconditions and Postconditions
Let's discuss preconditions and postconditions for object consistency.
We'll cover the following...
Contract programming
Contract programming is very effective for reducing coding errors. You have seen two of the contract programming features earlier in the contract programming chapter: The in and out blocks ensure input and output contracts of functions.
Note: It is very important that you consider the guidelines under the ...