Verfeinerung und spätes Binden

Genau wie Attribute werden auch Operationen vom Obertyp an alle Untertypen vererbt. Zum Beispiel steht der bei Angestellte definierte Observer Gehalt() auch bei den Objekttypen Professoren und Assistenten zur Verfügung.

Wir hätten auch eine Verfeinerung bzw. Spezialisierung (engl. Refinement) vornehmen können. Das Gehalt würde danach für jeden Objekttyp unterschiedlich berechnet:

• Angestellte erhalten 2000 + (Alter() - 21) * 100 DM,
• Assistenten erhalten 2500 + (Alter() - 21) * 125 DM,
• Professoren erhalten 3000 + (Alter() - 21) * 150 DM.

In Abbildung 15.10 ist dies durch den kursiven Schrifttyp der geerbten Gehalt-Eigenschaft gekennzeichnet.

Die Extension AlleAngestellten mit drei Objekten

Abbildung 15.12 zeigt die Extension AlleAngestellten mit drei Elementen:

• Objekt id₁ ist eine direkte Professoren-Instanz,
• Objekt id₁ ist eine direkte Assistenten-Instanz,
• Objekt id₇ ist eine direkte Angestellte-Instanz.

Es werde nun die folgende Query abgesetzt:

select sum(a.Gehalt())
from a in AlleAngestellten;

Offensichtlich kann erst zur Laufzeit die jeweils spezialisierteste Version von Gehalt ermittelt werden. Diesen Vorgang bezeichnet man als spätes Binden (engl. late binding).