Grundlagen der Informatik I “Programmierung”

3.8.2 Export geerbter Features
Normalerweise werden alle features einer Elternklasse unverändert übernommen. Es gibt jedoch Gründe,
Ausnahmen von dieser Regel zu vereinbaren. Manche Merkmale der Elternklasse PERSON machen im Zusammenhang
mit der Verwaltung von Entleihern nur wenig Sinn: weder das Todesdatum noch die Nationalität
sind von irgendeinem Interesse. Daher sollten diese features von der Klasse ENTLEIHER nicht wieder als Dienstleistungen
bereitgestellt werden. Da sie nicht innerhalb der Klasse ENTLEIHER definiert, sondern geerbt
wurden, kann man ihre Verbreitung auch nicht durch die Form der feature-Klausel kontrollieren, sondern
benötigt eine explizite Export-Vereinbarung. In Eiffel wird dies durch Angabe einer export-Klausel innerhalb
der Beschreibung der Vererbungseigenschaften ermöglicht.
class ENTLEIHER
inherit PERSON
export
name, vornamen, geburtsdatum
end -- feature-Anpassung von PERSON
feature
straße, hausnummer, stadt: STRING;
postleitzahl : INTEGER;
ausweisnummer: INTEGER
end -- class ENTLEIHER
Abbildung 3.29: Klassendefinition mit Export geerbter features
Die Angabe des Schlüsselwortes export besagt, daß die dahinter aufgezählten von PERSON geerbten features
zusammen mit den neuen features als Dienstleistungen der Klasse ENTLEIHER bereitstehen. Die nicht genannten
features todesjahr und nationalität sind nicht mehr benutzbar. Fehlt die export-Klausel, so sind alle
von PERSON geerbten features erneut verfügbar. Das Schlüsselwort end beendet Modifikationen der geerbten
features.
Auch beim Export geerbter features kann es sinnvoll sein, die Weitergabe von Informationen von der Kundenklasse
abhängig zu machen. So könnte es zum Beispiel sein, daß die Nationalität eines Arbeitnehmers –
ebenfalls ein Spezialfall von Personen – für das Finanzamt aus steuerrechtlichen Gründen von Bedeutung ist,
nicht aber für den Arbeitgeber. Aus diesem Grunde erlaubt Eiffel einen selektiven Export geerbter features.
Die Syntax ist vergleichbar mit der in Abschnitt 3.4 angegebenen Form für feature-Klauseln:
export
{ Klassenliste1} featurelist1;
.
{ Klassenlisten} featurelistn
Die Klasse ARBEITNEHMER in Abbildung 3.30 exportiert an die Klasse ARBEITGEBER – und an alle Erben dieser
Klasse– die geerbten features name, vornamen, geburtsjahr sowie alle neu vereinbarten features 20 , an die
Klasse FINANZAMT jedoch alle geerbten (und die neuen) features. Zur Vereinfachung der Schreibweise gibt es
hierfür in Eiffel (Version 3) das Schlüsselwort all. Es besagt, daß alle features der Elternklasse an die in der
Klassenliste aufgezählten Klassen geliefert werden.
Fehlt die export-Klausel, so bleibt ein geerbtes geheimes feature geheim und ein exportiertes features wird
weiter exportiert. Dieses Verhalten kann jedoch in der export-Klauseln nach Belieben verändert werden, da
die Erben einer Klasse – im Gegensatz zu den Kunden – alle Rechte (und Pflichten) ihrer Ahnen besitzen und
damit umgehen dürfen, wie sie es für richtig halten. Sie dürfen daher für ihre Kunden ein geheimes feature
wieder exportieren bzw. ein exportiertes feature verstecken 21 .
20Wir haben hier der Einfachheit halber die vier Komponenten straße, hausnummer, stadt, postleitzahl einer Adresse
in einem Objekt zusammengefaßt.
21Hier gibt es allerdings feine Grenzen, da sonst die Korrektheit des Gesamtsystems verletzt werden könnte.