Skip to Main Content
How to Use Objects: Code and Concepts
book

How to Use Objects: Code and Concepts

by Holger Gast
December 2015
Beginner to intermediate content levelBeginner to intermediate
832 pages
26h 13m
English
Addison-Wesley Professional
Content preview from How to Use Objects: Code and Concepts

Chapter 6. Fine Print in Contracts

Image 4Contracts 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. Image 4.2.3Within methods, the workings of the code can be traced in detail, down to Image 4.7formalizing the effects of individual ...

Become an O’Reilly member and get unlimited access to this title plus top books and audiobooks from O’Reilly and nearly 200 top publishers, thousands of courses curated by job role, 150+ live events each month,
and much more.
Start your free trial

You might also like

Strange Code

Strange Code

Ronald T. Kneusel
Five Lines of Code

Five Lines of Code

Christian Clausen

Publisher Resources

ISBN: 9780133840100Purchase book