Table of contents

Grand livre de SmartEiffel

1 Histoire et objectifs du projet SmartEiffel

2 Cours de programmation par objets et par contrats avec Eiffel

2.1 La liaison dynamique

2.2 Comprendre la comparaison d'objets

2.3 Création d'objets par clonage

3 La bibliothèque de classes fournie avec SmartEiffel

3.1 Comment utiliser la bibliothèque

3.2 Conception de la bibliothèque

4 Construire avec SmartEiffel

4.1 Visite guidée du tutorial

4.2 Construisez votre propre bibliothèque

4.3 Déverminez vos programmes

4.4 Profilez vos programmes

6 Le langage Eiffel du projet SmartEiffel

6.1 Diagrammes syntaxiques

6.2 Objet expanded ou objet référencé

6.3 Validité des affectations et des redéfinitions

6.4 Ce que vous devez savoir sur Current

6.5 Une définition de Void

6.6 Les Tuples

6.7 Les Agents

6.8 Le mot-clé Precursor

6.9 Notation explicite de conteneur

6.10 Test du type dynamique

6.11 Typage des constantes entières

9 Annexes

9.1 Guide à l'usage des auteurs de ce livre collectif

9.2 Pourquoi il n'y a pas de "threads"

9.3 Les affichages concernant l'option -gc_info.