DataMuseum.dk

top - download

    Length: 1021 (0x3fd)
    Types: TextFile
    Names: »V«

└─⟦a7d1ea751⟧ Bits:30000550 8mm tape, Rational 1000, !users!projects 94_04_11
    └─ ⟦129cab021⟧ »DATA« 
        └─⟦this⟧ 
└─⟦2f6cfab89⟧ Bits:30000547 8mm tape, Rational 1000, !projects 94-01-04
    └─ ⟦d65440be7⟧ »DATA« 
        └─⟦this⟧ 

TextFile

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;