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 - download

⟦d2b6a9319⟧ Ada Source

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

Derivation

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

WITH Unbounded;

PACKAGE Destinations IS

   -- This package provides an abstract state machine for defining the set
   -- of users known to the application, looking up users given their string
   -- representations, and iterating over all of the currently defined
   -- users.


   TYPE User IS PRIVATE;


   PROCEDURE Define (New_User : String);

   FUNCTION Image (The_User : User) RETURN String;


   FUNCTION Lookup (Name : String) RETURN User;

   Undefined : EXCEPTION;
   -- Raised by Lookup if the user name is not defined.


   TYPE User_Iterator IS PRIVATE;
   -- For iterating over all of the currently-defined users.

   FUNCTION  Initialize                     RETURN User_Iterator;
   PROCEDURE Next    (Iter : IN OUT User_Iterator);
   FUNCTION  Value   (Iter : User_Iterator) RETURN User;
   FUNCTION  Is_Done (Iter : User_Iterator) RETURN Boolean;


PRIVATE
   TYPE User          IS NEW Unbounded.Variable_String;
   TYPE User_Iterator IS NEW Boolean; -- substitute your own type here.
END Destinations;

    nblk1=2
    nid=0
    hdr6=4
        [0x00] rec0=25 rec1=00 rec2=01 rec3=018
        [0x01] rec0=02 rec1=00 rec2=02 rec3=000
    tail 0x2152194f083d36a9d5eca 0x489e0066482863001