Quickly emerging as the language of choice for developers of quality software, this guide explains how the Eiffel language combines rigorous software engineering principles with advanced object-oriented techniques. KEY TOPICS: It reveals the simplicity, consistency, and blend of various powerful mechanisms in Eiffel, including: an object-oriented structure based on classes ; multiple and repeated inheritance information hiding assertions to guarantee, document, and test the correctness of software components; strong typing backed by support for generic classes; dynamic binding a highly dynamic run-time model supporting garbage collection renaming and redefinition facilities . . . disciplined exception handling and support for persistent objects. As both an implementation language and a high-level notation for analysis and design, Eiffel emphasizes the industrial production of reusable software components. MARKET: Written for software designers, analysts, and programmers.
2. Basic Conventions.
3. Classes, Universes, and Systems: The Architecture of Eiffel Software.
4. Storing Class Texts.
8. Clients and Exports.
11. Routines and Instructions.
12. Assertions, Specifications, and Correctness.
13. Control Structures.
16. Objects, Values, Expressions, and Entities.
17. Object Creation.
19. Feature Call.
20. Expressions and Constants.
21. Universal Features.
22. Persistance and Environments.
23. Arrays and Strings.
24. Input and Output.
25. Interfacing with Other Languages.
Appendix A. An Introduction to Eiffel.
Appendix B. Style Guidelines.
Appendix C. Reserved Words and Special Symbols.
Appendix D. Syntax Summary.
Appendix E. Syntax in Alphabetical Order.