Weiter: 9 Tasks Hinauf: 8 Generische Einheiten Zurück: 8.4 Generische formale

8.5 Generische Formale Pakete

Mittels solcher generischer Parameter können Instanzen von generischen Paketen übergeben werden. Die Syntax lautet

with package Name_1$>$ is new Name_2$>$($>$);$$

Dabei steht Name_2 für das generische Paket, von dem eine Instanz übergeben werden muß. Der interne Name dieses Paketes ist Name_1. (<>) bedeutet, daß die übergebene Instanz beliebige aktuelle generische Parameter besitzen darf. Man jedoch auch Einschränkungen vorschreiben.

Die Wahl des richtigen Parametertyps ist keine leichte Aufgabe; einerseits empfiehlt es sich, einen möglichst allgemeinen Typ zu wählen, andererseits sollte die Anzahl der generischen formalen Unterprogramme gering und die der implizit definierten Operation groß sein.