Eiffel (Programmiersprache)

Die Syntax ist beeinflusst von Ada und der ALGOL -Sprachfamilie. Sie soll vor allem "einfach" (leicht sein.

Die Sprachdefinition von Eiffel ist Public Domain und steht unter der Kontrolle von Nonprofit International Consortium for Eiffel (NICE) welche das Recht hat jedes bezüglich der Konformität zum Standard zu validieren es den Namen "Eiffel" tragen darf.

Der Anspruch mit Eiffel eine Programmiersprache zu haben mit der Softwareentwicklung gemäß den des Ingenieurwesens ermöglicht wird und welche die Erkenntnisse Software Engineering konsequent umsetzt wird insbesondere durch den dokumentiert eine Reverenz an Gustave Eiffel Erbauer des Eiffelturms und einen der großen Ingenieure des Jahrhunderts.

Als Anwendungsgebiete für die sich Eiffel anbietet werden genannt:

• sicherheitskritische Anwendungen
• Entwurf- und Spezifikationssprache
• Ausbildung in objektorientierter Programmierung

Es gibt einige wenige kommerzielle Eiffel-Entwicklungsumgebungen mit SmartEiffel (ehemals SmallEiffel siehe Abschnitt Weblinks) einen Open Source -Compiler die Sprache konnte bis heute (2003) nicht die Verbreitung von C++ oder Java erlangen. Es steht auch keine der Software- oder IT-Firmen hinter Eiffel (wie Sun Microsystems hinter Java oder Microsoft hinter C# bzw. BASIC).

Der Quelltext wird gewöhnlich in den Maschinencode der Zielmaschine compiliert (manchmal auch über Umweg der Umwandlung der Eiffel-Sourcen in C -Code) es gibt aber auch Ansätze diesen Bytecode für die Java Virtual Machine zu übersetzen. Die Effizienz sowohl bezüglich Geschwindigkeit als auch bezüglich des Speicherbedarfs ist Native Code in etwa mit der von vergleichbar.

Inhaltsverzeichnis

1 Eigenschaften 2 Aufbau eines Eiffel-Programms 3 Literatur 4 Weblinks

Eigenschaften

• statische Typprüfung
• automatische Speicherverwaltung ( Garbage collection )
• Mehrfachvererbung ; entstehende Namenskonflikte können durch Umbennenung ( Renaming ) aufgelöst werden
• Abstrakte Klassen ("deferred classes")
• Generische Klassen (Templates in C++)
• Polymorphie
• standardmäßig dynamische Bindung; wo möglich soll Compiler in effizientere statische Bindung optimieren
• Ausnahmebehandlung
• Operator overloading
• Schnittstelle zu anderen Programmiersprachen insbesondere C
• nur ein universeller Schleifentyp (entspricht etwa
• Standardbibliothek (im Umfang der von C++

Eine Spezialität von Eiffel ist die des Design by Contract ™-Prinzips bei der Entwicklung. Dazu werden durch Sprache differenzierte Mittel bereitgestellt um Klassen ihre Funktionen sowie ganze Klassenhierarchien auf systematische Weise (abschaltbaren) Zusicherungen ( Assertions ) auf Korrektheit der Abläufe und Zustände der Laufzeit zu überwachen.

Aufbau eines Eiffel-Programms

Ein Eiffel-Programm besteht nur aus Klassen. Klasse ist ein eigenes Modul. Bei der wird eine Root-Klasse festgelegt von der eine beim Starten des Programms erzeugt wird.

Literatur

• Jean-Marc Jezequel: Object-Oriented Software Engineering with Addison Wesley Professional 1996
• Bertrand Meyer: Object-oriented Software Construction 2nd Prentice Hall 1997
• Bertrand Meyer: Eiffel: The Language Prentice 1992 -- enthält die Sprachdefinition von Eiffel
• R. Switzer: Eiffel: An Introduction Prentice 1995
• Richard Wiener: Software Development Using Eiffel There Can Be Life After C++ Prentice 1995

Weblinks

• http://www.eiffel-nice.org/ --- Non-Profit-Organisation zur Weiterentwicklung Standardisierung und Verbreitung von Eiffel
• http://smarteiffel.loria.fr/ --- Open Source Implementierung von Eiffel
• http://www.inf.ethz.ch/~meyer/publications/structured/road.pdf --- B. Mayer erklärt das Konzept Eiffel

Bücher zum Thema Eiffel (Programmiersprache)

Dieser Artikel von Wikipedia unterliegt der GNU FDL.