Part II. Concepts for more reliable code
Previous chapter Obix programming language manual Next chapter

Part II. Concepts for more reliable code

Table of Contents

4. Contract Programming, also called Design by Contract (TM)
5. Testing
6. Void values
7. Object immutability
8. Static typing
9. Generic types
10. Feature redefinition
11. Runtime error handling
Introduction
Program error
Resource error
User input error
See also
12. Type inheritance
13. Source code templates
14. Enumerated data type
15. Embedded Java source code
Previous chapter Go up one level Next chapter
Chapter 3. Simple example Table of contents Chapter 4. Contract Programming, also called Design by Contract (TM)