Grundlagen der Informatik I “Programmierung”

Entwurfsprinzip 3.3.2 (Punktnotation) Alle Aufrufe von Funktionen, Prozeduren und Komponentenzugriffen
auf ein Objekt werden in Eiffel einheitlich in der Notation entity.operation(argumente) ausgedrückt.
Eine Operation entity.operation(argumente) greift auf ein Objekt über den Verweis zu, der durch entity
bezeichnet wird. Damit dies fehlerfrei geschehen kann, muß das zugehörige Objekt natürlich existieren, d.h. der
zu entity gehörende Verweis darf nicht leer sein. Dies gilt für alle Operationen, insbesondere auch für Zugriffe
auf Komponenten. Der Versuch, auf ein Merkmal eines leeren Verweises zuzugreifen, ist einer der häufigsten
Ursachen für Laufzeitfehler, die bei der Eiffel-Programmierung auftauchen.
In “klassischen” Programmiersprachen wie Pascal wird anstelle von entity.operation(argumente) die Notation
operation(objekt,argumente) benutzt. Bei einer ersten Betrachtung scheint diese Form symmetrischer
zu sein als die von Eiffel. Jedoch benutzt Pascal beim Zugriff auf Komponenten eines Verbundes ebenfalls die
Punktnotation und verlangt also vom Benutzer, die Unterscheidung zwischen Zugriff und Funktion vorzunehmen.
Eiffel ist da einheitlicher. Der spezielle Grund für die Punktnotation, bei der das Objekt am Anfang
jedes Aufrufs genannt wird, ist wiederum die objektorientierte Denkweise: es ist das wichtigste zu sagen,
auf welchem Objekt eine Operation ausgeführt wird. Aus diesem Grunde soll das Objekt durch die Notation
besonders hervorgehoben werden.
3.3.2 Definition von Routinen
Nachdem wir gesehen haben, wie man Routinen aufruft, wollen wir nun zeigen, wie man sie definiert. Dazu
muß als wichtigstes herausgehoben werden, daß Routinen prinzipiell nur als Dienstleistungen einer Klasse
definiert werden können und nicht etwa als unabhängige “Unterprogramme”. 9 Routinen werden daher gleichberechtigt
zu den Attributen einer Klasse als Features aufgeschrieben. Abbildung 3.10 zeigt eine abstrahierte
Implementierung der in Beispiel 3.3.1 benutzten Routinen innerhalb der Klasse PERSON.
class PERSON
feature
name, vornamen: STRING;
geburtsjahr, todesjahr: INTEGER;
nationalität: STRING;
vater, mutter: PERSON;
anzahl vornamen: INTEGER is -- Anzahl der Vornamen bestimmen
do
Result := Anzahl der Vornamen in vornamen
end; -- anzahl vornamen
alter(jahr:INTEGER): INTEGER is -- Alter im gegebenen Jahr bestimmen
do
Result := jahr - geburtsjahr
end; -- alter
setze todesjahr(jahr:INTEGER) is -- todesjahr auf jahr setzen
do
todesjahr := jahr
end -- setze todesjahr
end -- class PERSON
Abbildung 3.10: Klassendefinition mit Routinen
Neben den Attributen name, vornamen, geburtsjahr, todesjahr, nationalität, vater und mutter
enthält die Klasse PERSON drei Routinen, die man an dem Vorhandensein der Schlüsselwortfolge is...do...end
erkennt. Diese Folge begrenzt den Rumpf einer Routine. Eine Routine kann formale Argumente in Klammern
9 Die im Abschnitt 3.3.4 vorgestellten Operationen, die auf allen Klassen Gültigkeit haben, sind daher in Eiffel als Dienstleistungen
einer Klasse ANY realisiert, die ihre Konzepte auf alle Klassen vererbt.