Infos Home | Impressum | Original Artikel & Autoren Liste

Eiffel (Programmiersprache)

Eiffel ist eine universelle, rein objektorientierte Programmiersprache und wurde seit 1985 von dem französischen Informatiker Bertrand Meyer und seiner Firma Interactive Software Engineering Inc. (Goleta, Kalifornien) als Alternative zu C++ entworfen, wobei zunächst nur an den Gebrauch durch die eigene Firma gedacht war. Es handelt sich im Unterschied zu C++ um einen vollständig neuen Entwurf, der auf keiner älteren Sprache aufbaut. Erklärtes Ziel der Entwicklung ist es, mit Eiffel ein Werkzeug zu schaffen, um damit umfangreiche Software aus zuverlässigen, wiederverwendbaren sowie leicht wart- und testbaren Modulen zu konstruieren. Dazu werden potentiell riskante Möglichkeiten des Programmieres (manuelle Speicherverwaltung, globale Variablen, undisziplinierte Typumwandlungen, direkte Zeigermanipulation, "GOTOs", usw.) weitgehend ausgeschlossen, Optimierungen (speziell die Ausführungsgeschwindigkeit betreffend, etwa Inline-Ersetzung) an den Compiler delegiert. Der konsequent objektorientierte Ansatz für das "Design im Großen" wird ergänzt durch (eher strikte) Anwendung der strukturierten Programmierung "im Detail" (auf der Ebene der einzelnen Routine).

Die Syntax ist beeinflusst von Ada und der ALGOL-Sprachfamilie. Sie soll vor allem "einfach" (leicht lesbar) 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 Entwicklungswerkzeug bezüglich der Konformität zum Standard zu validieren, bevor es den Namen "Eiffel" tragen darf.

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

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

Es gibt einige wenige kommerzielle Eiffel-Entwicklungsumgebungen und mit SmartEiffel (ehemals SmallEiffel, siehe Abschnitt Weblinks) mindestens einen Open Source-Compiler, die Sprache konnte bis heute (2003) allerdings nicht die Verbreitung von C++ oder Java erlangen. Es steht auch keine der großen 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 den Umweg der Umwandlung der Eiffel-Sourcen in C-Code), es gibt aber auch Ansätze, diesen in Bytecode für die Java Virtual Machine zu übersetzen. Die Effizienz sowohl bezüglich der Geschwindigkeit als auch bezüglich des Speicherbedarfs ist bei Native Code in etwa mit der von C++ vergleichbar.

Inhalt
1 Eigenschaften
2 Aufbau eines Eiffel-Programms
3
4

Eigenschaften

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

Aufbau eines Eiffel-Programms

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


Der Ursprungsartikel stammt von der deutschsprachigen Wiki pedia (siehe oben: "Original Artikel & Autoren Liste").
Der Text steht unter der GNU Freie Dokumentation Lizenz.