DataMuseum.dk

top - metrics - download

    Length: 1153 (0x481)
    Types: TextFile
    Names: »V«

└─⟦180fe333a⟧ Bits:30000405 8mm tape, Rational 1000, SW CATALOG, 10_20_0
└─⟦180fe333a⟧ Bits:30000537 8mm tape, Rational 1000, SW Catalog 10_20_0
    └─⟦5cb1d1d7f⟧ »DATA« 
        └─⟦3b1ee7bd8⟧ 
            └─⟦this⟧ 

TextFile

with Semaphore;
generic
    type Item is private;
package Stack_Concurrent_Bounded_Managed_Iterator is

    type Stack (The_Size : Positive) is limited private;

    procedure Copy (From_The_Stack : in Stack; To_The_Stack : in out Stack);
    procedure Clear (The_Stack : in out Stack);
    procedure Push (The_Item : in Item; On_The_Stack : in out Stack);
    procedure Pop (The_Stack : in out Stack);

    function Is_Equal (Left : in Stack; Right : in Stack) return Boolean;
    function Depth_Of (The_Stack : in Stack) return Natural;
    function Is_Empty (The_Stack : in Stack) return Boolean;
    function Top_Of (The_Stack : in Stack) return Item;

    generic
        with procedure Process (The_Item : in Item; Continue : out Boolean);
    procedure Iterate (Over_The_Stack : in Stack);

    Overflow : exception;
    Underflow : exception;

private
    type Items is array (Positive range <>) of Item;
    type Stack (The_Size : Positive) is
        record
            Guard : Semaphore.Kind;
            The_Top : Natural := 0;
            The_Items : Items (1 .. The_Size);
        end record;
end Stack_Concurrent_Bounded_Managed_Iterator;