DataMuseum.dk

top - metrics - download

    Length: 753 (0x2f1)
    Types: TextFile
    Names: »B«

└─⟦a7d1ea751⟧ Bits:30000550 8mm tape, Rational 1000, !users!projects 94_04_11
    └─⟦129cab021⟧ »DATA« 
        └─⟦this⟧ 

TextFile

package body Gen_Stack is

    procedure Push (On : in out Object; The_Object : in Element) is
    begin
        On.The_Top := On.The_Top + 1;
        On.The_Content (On.The_Top) := The_Object;
    end Push;

    procedure Pop (From : in out Object) is
    begin
        From.The_Top := From.The_Top - 1;
    end Pop;

    function Get_Top (From : in Object) return Element is
    begin
        return From.The_Content (From.The_Top);
    end Get_Top;

    function Is_Full (The_Stack : in Object) return Boolean is
    begin
        return The_Stack.The_Top = The_Stack.The_Content'Last;
    end Is_Full;

    function Is_Empty (The_Stack : in Object) return Boolean is
    begin
        return The_Stack.The_Top = 0;
    end Is_Empty;

end Gen_Stack;