|
DataMuseum.dkPresents historical artifacts from the history of: Rational R1000/400 Tapes |
This is an automatic "excavation" of a thematic subset of
See our Wiki for more about Rational R1000/400 Tapes Excavated with: AutoArchaeologist - Free & Open Source Software. |
top - metrics - downloadIndex: T V
Length: 1010 (0x3f2)
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⟧
with Monitor;
generic
type Item is private;
package Stack_Multiple_Bounded_Managed_Noniterator 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;
Overflow : exception;
Underflow : exception;
private
type Items is array (Positive range <>) of Item;
type Stack (The_Size : Positive) is
record
Guard : Monitor.Kind;
The_Top : Natural := 0;
The_Items : Items (1 .. The_Size);
end record;
end Stack_Multiple_Bounded_Managed_Noniterator;