Eiffel: The Language

Introduction Basic Conventions Classes, Universes, and Systems: The Architecture of Eiffel Software Storing Class Texts Classes Features Inheritance Clients and Exports Types Conformance Routines and Instructions Assertions, Specifications, and Correctness Control Structures Exceptions Attributes Objects, Values, Expressions, and Entities Object Creation Re-attachment Feature Call Expressions and Constants Universal Features Persistance and Environments Arrays and Strings Input and Output 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 Index