DataMuseum.dk Presents historical artifacts from the history of: Rational R1000/400

This is an automatic "excavation" of a thematic subset of artifacts from Datamuseum.dk's BitArchive. See our Wiki for more about Rational R1000/400 Excavated with: AutoArchaeologist - Free & Open Source Software.

top - metrics - download

⟦87af07f9a⟧ Ada Source

    Length: 3072 (0xc00)
    Types: Ada Source
    Notes: 03_class, FILE, R1k_Segment, e3_tag, package Files, seg_0046d7

Derivation

└─⟦8527c1e9b⟧ Bits:30000544 8mm tape, Rational 1000, Arrival backup of disks in PAM's R1000
    └─⟦5a81ac88f⟧ »Space Info Vol 1« 
        └─⟦this⟧ 

--| @SUMMARY This package provides a means for creating line iterators from
--| the contents of files, and for saving line iterators to files.
--|
--| @INDICES (Text_Processing, Utility)
--|
with Lines;
package Files is

    subtype Iterator is Lines.Iterator;

    --| @SUMMARY Creates an initialized iterator of lines from the contents
    --| of the specified file.
    --|
    --| @SPECIAL_NOTES If the file is empty, sets "Done" to True; otherwise,
    --| resets the iterator to the first line in the iterator.
    --|
    --| @RAISES Io_Failure (if difficulty is encountered opening,
    --| reading from, or closing the specified file).
    --|
    function Create (From_File : in String) return Iterator;

    --| @SUMMARY Saves the specified iterator to the specified file by writing
    --| the string image of each line to the file.
    --|
    --| @RAISES Not_Initialized (if the specified iterator is not initialized).
    --|
    --| Io_Failure (if difficulty is encountered opening,
    --| writing to, or closing the specified file).
    --|
    procedure Save (To_File : in String; This_Iterator : in out Iterator);

    Not_Initialized : exception;
    Io_Failure      : exception;

end Files;

    nblk1=2
    nid=0
    hdr6=4
        [0x00] rec0=1c rec1=00 rec2=01 rec3=02a
        [0x01] rec0=09 rec1=00 rec2=02 rec3=000
    tail 0x215004be6815c67295feb 0x42a00088462061e03