Grundlagen der Informatik I “Programmierung”

haben wie z.B. “(jahr:INTEGER)” in den Routinen alter und setze todesjahr, aber das muß nicht sein. Formale
Argumente werden beschrieben durch ihren Namen und ihren Typ, getrennt durch einen Doppelpunkt.
Die Routinen alter und anzahl vornamen sind zusammen mit einem Ergebnistyp deklariert, der – getrennt
durch einen Doppelpunkt – hinter der Argumentenliste auftritt. Dies bedeutet, daß beide Routinen als Funktionen
deklariert werden, während die Routine setze todesjahr eine Prozedur ohne Ergebnistyp ist.
Der Rumpf einer Routine besteht aus einer Folge von Anweisungen, die durch ein Semikolon voneinander
getrennt sind und von den Schlüsselworten do und end begrenzt werden. 10 In Eiffel gibt es nur wenige Arten von
Anweisungen. Neben der kursiv geschriebenen, nicht näher erklärten Bestimmung der Anzahl von Vornamen
verwenden die Routinen von PERSON nur die im Zuweisung :=, die einer Größe den Wert eines Ausdrucks
zuweist (siehe Abschnitt 3.3.4). Dabei wird – neben den Attributnamen – auch der besondere Name Result
als Bezeichner für Größen benutzt.
Result bezeichnet das Ergebnis einer Funktion. Beim Eintritt in die Funktion wird Result mit einem fest
vereinbarten Standardwert (siehe Tabelle 3.12) initialisiert, beim Verlassen der Funktion wird als Ergebnis der
derzeitige Wert von Result als Funktionswert zurückgegeben. So ist z.B. der Funktionswert von alter(1993)
genau die Differenz von 1993 und der Komponente geburtsjahr des angesprochenen Objektes.
Prozeduren verändern Werte gemäß der in ihnen enthaltenen Anweisungen. So setzt zum Beispiel die Prozedur
setze todesjahr(1993) die Komponente todesjahr auf 1993 (die Notwendigkeit einer solchen Prozedur
diskutieren wir im Abschnitt 3.4). Prozeduren liefern keine Ergebnisse.
Routinen einer Klasse dürfen sich in ihrer Implementierung auch auf andere Routinen derselben Klasse beziehen.
Man darf zum Beispiel in einer weiteren Routine der Klasse PERSON die Funktion alter aufrufen.
Den nach außen hin uninteressanten Unterschied zwischen Attributen, Funktionen und Prozeduren kann man
in einer Deklaration leicht an der Syntax einer feature-Deklaration erkennen.
• Folgt auf den Namen des Features f bis zum Semikolon oder end nur die Typdeklaration wie in
f:Typ
so beschreibt f ein Attribut.
• Folgt auf den Namen des Features eine Argumentenliste, eine Typdeklaration und die Schlüsselwortfolge
is...do...end wie in
f(x1:A1,..xn:An):Typ is do ... end
so beschreibt f eine Funktion. Das ist auch dann der Fall, wenn die Argumentenliste fehlt, wie in
f:Typ is do ... end
• Folgt auf den Namen des Features eine Argumentenliste und die Schlüsselwortfolge is...do...end wie in
f(x1:A1,..xn:An) is do ... end
so beschreibt f eine Prozedur. Das ist auch dann der Fall, wenn die Argumentenliste fehlt, wie in
f is do ... end
• Eine Besonderheit, welche die Verwendung des Schlüsselwortes is notwendig macht, haben wir noch
nicht besprochen. Eine Deklaration
f:Typ is Wert
beschreibt ein Konstanten-Attribut, welches zusammen mit einem festen Wert deklariert wird.
3.3.3 Lokale Variablen
In vielen Routinen ist es notwendig, Zwischenwerte zu berechnen, bevor die eigentliche Aktion ausgeführt
wird. So ist es z.B. sinnvoll, in der Funktion anzahl vornamen zunächst die Liste der einzelnen Vornamen aus
10 Diese Form ist nur eine Heraushebung des Verwendungszwecks einer Folge von Anweisungen. Mathematisch betrachtet
ist “do anweisung1; anweisung2; ...;anweisungn end” einfach eine Liste .
Die Verwendung derartiger Notationen aber würde ein Programm unlesbar machen.