Grundlagen der Informatik I “Programmierung”

Gegenlesen nicht findet(, aber auch bei Denkfehlern, die entstehen, wenn das Programm nicht verifiziert wurde.
In den meisten Sprachen muß man hierzu Ergänzungen im Programmtext vornehmen, die man später wieder
rückgängig macht. Da dies auch wieder zu Fehlern führen kann, bietet Eiffel die Möglichkeit an, bestimmte
Anweisungen in eine debug-Anweisung zu verlagern. Die Syntax
debug Anweisung1; ...; Anweisungn end
beschreibt eine Anweisung, die nur übersetzt wird, wenn die Compiler-Option DEBUG im System Description
File entsprechend gesetzt ist. In diesem Falle verhält sich die debug-Anweisung wie eine gewöhnliche Anweisung,
d.h. die Folge Anweisung1; ...; Anweisungn wird ausgeführt, wann immer sie an der Reihe ist. Ist
die Option ausgeschaltet, so wird die debug-Anweisung einfach ignoriert, als ob sie gar nicht da wäre.
4.3.9 Einfache Ein- und Ausgabe
Im Gegensatz zu den üblichen Programmiersprachen hat Eiffel als Sprache keine Ein- und Ausgabe. Jedoch
stellt das Eiffel System die Bibliotheksklassen FILE und STANDARD FILES zur Verfügung, deren features alle
nötigen Prozeduren und Funktionen anbieten.
• Die Klasse FILE bietet als Objekte sequentielle Dateien an. Eine sequentielle Datei kann man sich als ein
Band vorstellen, von dem man entweder nur von vorne nach hinten stückweise lesen kann (Eingabeband),
oder an dem man nur am Ende neue Werte anfügen kann (Ausgabeband).
• Die Klasse STANDARD FILES bietet als Attribute drei sequentielle Dateien vom Typ FILE an:
– input für die Eingabe,
– output für die Ausgabe und
– error für Fehlermeldungen
Darüber hinaus liefert sie Routinen, um die Ein- und Ausgabe am Bildschirm realisieren zu können.
Abbildungen 4.12 und 4.13 stellen die wichtigsten davon zusammen.
Routine Vorbedingung Nachbedingung
readchar Das erste Zeichen des Eingabebands wurde
entfernt und in den Puffer eingelesen
lastchar readchar wurde durchgeführt Result = das im Puffer gespeicherte Zeichen
readint Am Eingabeband steht als
nächstes eine Ziffernfolge
Die Zifferfolge wurde gelesen, vom Band entfernt,
als INTEGER-Wert interpretiert und im
Puffer gespeichert
lastint readint wurde durchgeführt Result = der Integerwert im Puffer
readreal Am Eingabeband steht eine Zeichenfolge,
darstellt
die eine REAL-Zahl
Die Zifferfolge wurde gelesen, vom Band entfernt,
als REAL-Wert interpretiert und im Puffer
gespeichert
lastreal readreal wurde durchgeführt Result = der Realwert im Puffer
readline Alle Zeichen bis zum Return-Zeichen wurden
eingelesen und im STRING-Puffer gespeichert
laststring readline wurde durchgeführt Result = Verweis auf den Stringpuffer 35
next line Ignoriert den Rest der Zeile. Der nächste Wert
wird in der nächsten Zeile erwartet
Abbildung 4.12: Die wichtigsten Routinen für die Eingabe
35 Mit laststring.duplicate erhält man eine Kopie des gelesenen Strings statt des Verweises auf den Puffer