Table of contents

Grand SmartEiffel Book

1 History and goals of the SmartEiffel project

2 Lecture of object-oriented programming and design by contract in Eiffel

2.1 Dynamic dispatch

2.2 Comparison of objects

2.3 Cloning objects

3 The SmartEiffel general purpose library

3.1 How to use the library

3.2 Design of the library

4 Build with SmartEiffel

4.1 Guided tour of the tutorial

4.2 Build your library

4.3 Debug your programs

5 SmartEiffel's tools documentation

6 The Eiffel language of SmartEiffel

6.1 What you must know about Current

6.2 A definition of Void

6.3 Tuples

6.4 Agents

6.5 Precursor

6.6 Manifest storage notation

6.7 Dynamic type testing

6.8 Type of integer constants

6.9 Conforming and non-conforming inheritance

6.10 Why there are no threads

7 The SmartEiffel FAQ

8 Glossary

9 Appendices

9.1 Author guidelines for this collective book

9.2 Syntax diagrams of Eiffel

10 Bibliography

11 Index