 |
11.1.5.2 Das generische Paket Storage_IO
Mit dem generischen Paket Storage_IO kann auf einen Pufferspeicher zugegriffen
werden. Dieses Paket unterstützt die Erzeugung benutzerdefinierter Ein-/Ausgabepakete.
Jede Instanz des Pakets hat eine konstante Puffergröße, die in Speichereinheiten
die Größe eines Objekts des Elementtyps angibt, wenn dieses entsprechend
der Implementierung gespeichert wird. Für jede Instanz existieren eigene
Schreib- und Lesefunktionen, die denen für Direktzugriffsdateien entsprechen,
die Ausgabe aber nicht in eine externe Datei, sondern in den Puffer leiten.
Spezifikation
des Paketes "Ada.Storage_IO"
|