eiffel

Universidad de Granada
E.T.S. Ingeniería Informática

Eiffel
Diego Montesinos Hervás
Irene Díaz Valenzuela
Andrés Herrera del Pino
José Antonio Sáez Muñoz

3º Ingeniería Informática
Programación Dirigida a Objetos
Grupo B - Curso 2006-2007

1

1.Introducción
2

1.Introducción
Eiffel es un lenguaje de programación orientado a
objetos centrado en la construcción de softwarerobusto.
Diseñado por Bertrand Meyer, apareció en 1985 y
fué desarrollado por Meyer y Eiffel Software.
Eiffel es un lenguaje con tipos fuertes, pero relajado
por herencia. Implementa administración automática
de memoria, generalmente mediante algoritmos de
recolección de basura.
3

1.1 Características esenciales
- Mecanismos de ayuda al Diseño por contrato que
se integraron firmementecon el mecanismo de
herencia y otras construcciones del lenguaje.
- Estructura de programa orientada a objetos, las
clases son la unidad básica.
- Asignación estática de tipos.
- Ayuda para la gestión automática de memoria,
implementada por el recolector de basura.
- Papel central de la herencia, incluyendo herencia
múltiple y mecanismo para hacerla segura.
4

1.1 Característicasesenciales
- Un sistema uniforme de tipos que maneja las semanticas
de referencia y valor, donde todos los tipos (incluyendo los
tipos básicos) están basados en clases.
- Tipos genéricos.
- ‘Bloques‘(agent) (similares a los de Smalltalk)
- Rutinas 'once' (evaluadas solamente la primera vez), para la
compartición de objetos e inicialización.
- Sintaxis basada en las palabras clave de ALGOL/Pascalpero sin separador (se puede usar el punto y coma, es
5
opcional).

1.2 Características de diseño
- Eiffel enfatiza en sentencias declarativas sobre
código procesal.
- Eiffel evita los trucos de codificación o técnicas de
codificación previstas.
- Se intenta no sólo hacer código más legible, sino
también permitir a los programadores concentrarse en
los aspectos importantes delprograma sin meterse
en detalles de implementación.
6

1.2 Características de diseño
–La

simplicidad de Eiffel se ha pensado para promover
respuestas simples, extensibles y reutilizables para los
problemas de computación.
–Los

compiladores proveen técnicas de optimización con el
objetivo de crear código extremadamente eficiente,
comparable a C++, por ejemplo.
–Al

igual que loslenguajes de programación vistos en la
asignatura, Eiffel también utiliza semántica en el heap.

7

2.Características
de Eiffel
8

2.Características
La meta del lenguaje, bibliotecas, y
métodos de programación es crear un
software que utilice módulos lo más
reutilizables posible.

9

2.1 Eiffel soporta...
Herencia múltiple: permite que una
clase herede de varias superclases.Además posibilita a los subtipos
adaptarse a sus propiedades
heredades renombrándolas o
estableciendo reglas de selección
para ellas.

●

10

2.1 Eiffel soporta...
Tipos genéricos: Eiffel usa tipos
parametrizados (genéricos), como en
otros lenguajes como Ada, Java, C#,
que permiten definir un tipo sin
especificar todos los otros tipos que
usa. Los tipos no especificados sonsustituidos por parámetros en estos
puntos del código.
●

11

2.1 Eiffel soporta...
Polimorfismo: capacidad que tienen
objetos de diferentes clases de responder
al mismo mensaje. Esto significa que
puede haber muchos mensajes con el
mismo nombre, en diferentes clases.
Cada clase responde al mensaje con su
código propio (método).
●

12

2.1 Eiffel soporta...
Encapsulación : ocultamientodel estado, es decir,
de los datos miembro, de un objeto de manera que
sólo se puede cambiar mediante las operaciones
definidas para ese objeto.
●De esta forma, el usuario de la clase puede obviar la
implementación de los métodos y propiedades para
concentrarse sólo en cómo usarlos. Por otro lado se
evita que el usuario pueda cambiar su estado de
maneras imprevistas e incontroladas.
●...