Part III. Advanced concepts

Table of Contents

10. Embedded Java source code
11. Enumerated type
12. Void values
13. Runtime error handling
Introduction
Program error
Resource error
User input error
See also
14. Object immutability
15. Type inheritance
16. Static typing
17. Contract programming
18. Feature redefinition
19. Generic types
20. Source code templates
21. Testing