Delegation in Eiffel

Abstract

Vererbung ist ein bekannter, weit verbreiteter Mechanismus in der objektorientierten Softwareentwicklung, um Eigenschaften und Verhalten in mehreren Klassen gemeinsam zu nutzen. In bestimmten Situationen, z.B. bei einer rollenbasierter Sicht auf ein Softwaresystem, ist Vererbung jedoch nicht flexibel genug um den Anwendungsbereich in natürlicher Weise zu modellieren. In diesen Situationen bietet Delegation, ein in Prototyping-Sprachen wohlbekanntes Konstrukt, oft die geforderte Flexibilität. Delegation realisiert Vererbug zwischen einzelnen Objekten. In dieser Diplomarbeit wird die statisch getypte, objektorientierte Programmiersprache Eiffel um Delegation erweitert. Die Sprache wird um einige wenige neue Schlüsselwörter ergänzt, zusätzlich wird die Semantik bestehender Konstrukte zur Unterstützung von Delegation erweitert. An Beispielen wird gezeigt, daß die neu entwickelte Sprache mehr Flexibilität bietet, jedoch auch an einigen Stellen zusätzliche Quellen für Laufzeitfehler enthält. Diese möglichen Laufzeitfehler und ihre Vermeidung werden in der Arbeit genau untersucht.