|
DataMuseum.dkPresents historical artifacts from the history of: Rational R1000/400 |
This is an automatic "excavation" of a thematic subset of
See our Wiki for more about Rational R1000/400 Excavated with: AutoArchaeologist - Free & Open Source Software. |
top - download
Length: 3072 (0xc00) Types: Ada Source Notes: 03_class, FILE, R1k_Segment, e3_tag, generic, package Stack_Generic, pragma Module_Name 4 714, pragma Subsystem Abstract_Types, seg_006450
└─⟦8527c1e9b⟧ Bits:30000544 8mm tape, Rational 1000, Arrival backup of disks in PAM's R1000 └─ ⟦cfc2e13cd⟧ »Space Info Vol 2« └─⟦this⟧
generic type Element is private; pragma Must_Be_Constrained (Yes => Element); package Stack_Generic is pragma Subsystem (Abstract_Types, Private_Part => Open); pragma Module_Name (4, 714); type Stack is private; Empty_Stack : constant Stack; -- It is expected that a declared stack is initialized to Empty_Stack procedure Make_Empty (S : in out Stack); procedure Pop (S : in out Stack); procedure Push (X : Element; S : in out Stack); function Empty (S : Stack) return Boolean; function Top (S : Stack) return Element; procedure Copy (Target : in out Stack; Source : Stack); Underflow : exception; type Iterator is private; procedure Init (Iter : out Iterator; S : Stack); procedure Next (Iter : in out Iterator); function Value (Iter : Iterator) return Element; function Done (Iter : Iterator) return Boolean; private type Stack_Node; type Stack is access Stack_Node; Empty_Stack : constant Stack := null; type Iterator is new Stack; end Stack_Generic;
nblk1=2 nid=0 hdr6=4 [0x00] rec0=22 rec1=00 rec2=01 rec3=022 [0x01] rec0=05 rec1=00 rec2=02 rec3=000 tail 0x21701b26a81bf8277f6d9 0x42a00088462065003