Weiter: 6 Exceptions Hinauf: 5 Unterprogramme Zurück: Überladen von Operatoren

5.7 Abstrakte Unterprogramme

  

Abstrakte Unterprogramme treten zusammen mit abstrakten Typen (vgl. 2.7.3) auf. Ein abstraktes Unterprogramm ist ein Unterprogram, das keinen Implementationsteil besitzt, von dem aber erwartet wird, das es ,,weiter unten`` im Ableitungsbaum einen solchen besitzen wird.

Wenn der Vatertyp eines abgeleiteten Typs ein abstraktes Unterprogramm ,,besitzt``, dann

• muß das abgeleitete Unterprogramm abstrakt sein, wenn der abgeleitete Typ abstrakt oder nicht getaggt ist, oder
• es muß einen Body besitzen, d.h., es darf nicht abstrakt sein.

Beispiele für ein abstrakte Unterprogramme sind:

function is_empty(s:set) return boolean is abstract;$$
function union(left,right: set) return set is abstract;$$
procedure take(el: out element; from: in out set) is abstract;$$