Weiter: 8.3 Generische formale Hinauf: 8 Generische Einheiten Zurück: 8.1 Ein einleitendes

8.2 Generische formale Objekte

  

Generische formale Objekte sind am ehesten mit normalen Parametern zu vergleichen. Sie können die Übergabemechanismen in oder in out haben. Erstere werden bei der Instantiierung versorgt und verhalten sich innerhalb der Instanz wie eine Konstante, zweitere werden ebenfalls bei der Instantiierung versorgt und verhalten sich wie eine Variable. Wird kein Übergabemechanismus spezifiziert, so wird default-mäßig in angenommen. Im Falle des Übergabemechanismus in kann auch ein Default-Wert für den Parameter angegeben werden. Ein Beispiel könnte etwa sein:

generic$$
size: in positive;$$
package Buffer is$$
$$
$...$$$
$$
end Buffer;$$

Hier wird die Größe eines Buffers als generisches formales Objekt festgelegt. Die für den Buffer definierten Operationen haben wir nicht explizit angeführt.