Grundlagen der Informatik I “Programmierung”

der Komponente vornamen (durch Suche nach Leerzeichen) zu extrahieren und dann deren Größe mithilfe
gewöhnlicher Listenfunktionen zu berechnen. Hierzu ist es notwendig, lokale Variablen zu vereinbaren, also Variablen,
die nur für interne Berechnungen der Funktion anzahl vornamen verwendet werden. Die Verwendung
lokaler Variablen entspricht der Verwendung von Schmierzetteln bei der Lösung komplizierterer Aufgaben –
sie werden nur zum Finden der Lösung gebraucht, gehören aber nicht zur eigentlichen Lösung dazu. Lokale
Variablen machen die Implementierung von Routinen übersichtlicher und oft effizienter.
anzahl vornamen: INTEGER is
-- Anzahl der Vornamen bestimmen
local
vornamen liste : ARRAY[STRING]
do
vornamen liste := einzelne Vornamen aus vornamen
Result := Länge der Liste vornamen liste
end; -- anzahl vornamen
Abbildung 3.11: Routinendeklaration mit lokalen Variablen
In Eiffel werden lokale Variablen durch das (optionale) Schlüsselwort local am Anfang eines Routinenrumpfes
deklariert. In Abbildung 3.11 wird also innerhalb der Routine anzahl vornamen eine lokale Variable vornamen liste
vom Typ ARRAY[STRING] definiert (über arrays sprechen wir im Abschnitt 3.6.3). Diese Variable ist nur innerhalb
der Routine anzahl vornamen bekannt und kann auch innerhalb der Klasse PERSON von keiner anderen
Routine benutzt werden.
Lokale Variablen sind eine weitere Art von Größen, die innerhalb von Eiffel verwendet werden, um Objekte
zu bezeichnen. Die folgende Definition summiert alle Formen, die eine Größe annehmen kann.
Definition 3.3.3 (Entities / Größen) Eine Größe (entity) ist ein Bezeichner für Objekte, der folgende
Formen annehmen kann
• ein Klassenattribut
• eine lokale Variable einer Routine
• ein formales Argument einer Routine
• Result, eine vordefinierte Größe für das Ergebnis einer Funktion.
3.3.4 Standardoperationen für alle Klassen
Zusätzlich zu den in einer Klasse definierten Routinen gibt es in Eiffel eine Reihe vordefinierter Operationen,
die in allen Klassen angewandt werden können(, was natürlich auch bedeutet, daß deren Namen nicht mehr für
andere Routinen benutzt werden können). Diese werden benutzt zur Erzeugung neuer Objekte einer Klasse,
zur Zuweisung von Werten, zum Zugriff auf Komponenten, zur Auflösung eines Verweises auf ein Objekt,
zur Überprüfung des Verweiszustandes, Duplizierung von Objekten, zum Kopieren von Objektzuständen und
zum Vergleich von Objekten.
Erzeugung von Objekten: In Abbildung 3.7 hatten wir die Klasse BUCH mit einem Attribut autor vom
Typ PERSON definiert (BUCH ist also Kunde von PERSON). Da PERSON selbst ein Klassentyp ist, enthalten
alle Objekte der Klasse BUCH an der entsprechenden Komponente einen Verweis. Solch ein Verweis kann
entweder auf ein konkretes Objekt zeigen oder leer sein – also den Wert Void haben.
Sinnvollerweise ist ein solcher Verweis leer, solange man noch nichts anderes festgelegt hat. Um dies aber
zu ändern, könnte man der entsprechenden Komponente einen Wert zuweisen (siehe unten). Aber da
Objekte nicht von selbst entstehen können, muß man irgendwann damit anfangen, Objekte zu erzeugen