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

⟦39f0cc6d7⟧ Ada Source

    Length: 3072 (0xc00)
    Types: Ada Source
    Notes: 03_class, FILE, R1k_Segment, e3_tag, generic, package T_Stack, seg_03fde3

Derivation

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

E3 Source Code



generic
    type P is private;

package T_Stack is

    type Tstack is limited private;

    Error_Tstack_Allocation : exception;

-------------------------------------------------
-- Create : -> Tstack
-------------------------------------------------
    procedure Create (Thetop : in out Tstack);

-------------------------------------------------
-- Empty : Tstack -> BOOLEAN
-------------------------------------------------
    function Empty (Thetop : Tstack) return Boolean;

--------------------------------------------------
-- Push :  P,Tstack ->Tstack
--------------------------------------------------
    procedure Push (Thetop : in out Tstack; X : P);

--------------------------------------------------
-- Pop : Tstack -> Tstack
--------------------------------------------------
    procedure Pop (Thetop : in out Tstack);


------------------------------------------------
-- Get :  Tstack  -> P
------------------------------------------------
    function Get (Thetop : Tstack) return P;

private
    type Stack_Cell;

    type Tstack is access Stack_Cell;

    type Stack_Cell is
        record
            Element : P;
            Next_Cell : Tstack;
        end record;


end T_Stack;

E3 Meta Data

    nblk1=2
    nid=0
    hdr6=4
        [0x00] rec0=22 rec1=00 rec2=01 rec3=048
        [0x01] rec0=10 rec1=00 rec2=02 rec3=001
    tail 0x2173fdd9a860c588d5881 0x42a00088462060003