| Online Eiffel Documentation

EiffelStudio

# Invitation to Eiffel

## Interactive Software Engineering

MANUAL IDENTIFICATION AND COPYRIGHT

This is not an introduction to the EiffelStudio development environment. See the list of introductory documents for a Guided Tour of EiffelStudio and a detailed Eiffel Tutorial.

## 1 WHAT MUST I KNOW FIRST?

## 2 DESIGN PRINCIPLES

## 3 OBJECT-ORIENTED DESIGN

## 4 CLASSES

## 5 TYPES

## 6 DESIGN BY CONTRACT AND ASSERTIONS

## 7 EXCEPTIONS

## 8 EVENT-DRIVEN PROGRAMMING AND AGENTS

## 9 GENERICITY

## 10 INHERITANCE

## 11 POLYMORPHISM AND DYNAMIC BINDING

## 12 COMBINING GENERICITY AND INHERITANCE

## 13 DEFERRED CLASSES AND SEAMLESS DEVELOPMENT

## 14 PUTTING A SYSTEM TOGETHER