EiffelStudio-Befehle: Die offizielle Eiffel-IDE kompakt

EiffelStudio ist die offizielle integrierte Entwicklungsumgebung für die Sprache Eiffel (Eiffel Software, Bertrand Meyer). Sie vereint den Kommandozeilen-Compiler ec mit Editor, Debugger, Profiler und Werkzeugen rund um Design by Contract. Projekte werden über ECF-Dateien (Eiffel Configuration File, XML-basiert) beschrieben.

Compiler ec von der Kommandozeile

Der Compiler ec übernimmt die Root-Klasse oder eine ECF-Konfiguration als Argument. Ohne vorhandene Konfigurationsdatei erzeugt ec automatisch eine .ecf-Datei für das Projekt.

ec -config app.ecf               # Projekt aus ECF kompilieren (Workbench)
ec -config app.ecf -finalize     # finalisierte, optimierte Version bauen
ec -finalize -keep               # Assertions/Contracts auch final beibehalten
estudio                          # grafische IDE starten

Melt, Freeze, Finalize

EiffelStudio unterscheidet klassisch drei Build-Stufen: Melting (schnelles Übersetzen im Workbench-Modus für die Entwicklung), Freezing (teilweise Übersetzung für mittlere Konsistenz) und Finalize (voll optimierte, auslieferungsreife Übersetzung). Die Assertions aus Design by Contract werden dabei je nach Einstellung geprüft oder entfernt.

Das eiffel-Tool

Seit EiffelStudio 18.01 gibt es zusätzlich das Kommando eiffel, das als einfacher Build-Tool-Aufruf genutzt werden kann:

eiffel build --target hello path/to/hello.ecf hello_exe

Verwandte Grundlagen: Eiffel-Befehle, Gobo-Eiffel-Befehle, Liberty-Eiffel-Befehle.