Table of contents

Grand SmartEiffel Book

1 History and goals of the SmartEiffel project

2 Lecture on 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

4.4 Profile your programs

5 SmartEiffel's tools documentation

6 The Eiffel language of SmartEiffel

6.1 Syntax diagrams of Eiffel

6.2 Expanded object or reference object

6.3 What you need to know about Current

6.4 A definition of Void

6.5 Tuples

6.6 Agents

6.7 Precursor

6.8 Manifest storage notation

6.9 Dynamic type testing

6.10 Type of integer constants

6.11 Conforming and non-conforming inheritance

7 The SmartEiffel FAQ

8 Glossary

9 Appendices

9.1 Author guidelines for this collective book

9.2 Why there are no threads

9.3 The output of the -gc_info option.

10 Bibliography

11 Index