Table of contents

Grand LibertyEiffel Book

1 History and goals of the SmartEiffel project

1.1 Introduction

1.2 All SmartEiffel versions

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 Validity of assignments and feature redefinitions

6.4 What you need to know about Current

6.5 A definition of Void

6.6 Tuples

6.7 Agents

6.8 Precursor

6.9 Manifest storage notation

6.10 Dynamic type testing

6.11 Type of integer constants

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