How to Use Objects: Code and Concepts

Chapter 6. Fine Print in Contracts

⁴Contracts form a solid framework for arguing about the correctness of code: Class invariants capture the consistency of the objects’ internal structures, while the pre- and post-conditions of methods describe the objects’ behavior to clients without requiring knowledge of the objects’ internals. ^4.2.3Within methods, the workings of the code can be traced in detail, down to ^4.7formalizing the effects of individual ...