stack.ads

package Stack is
 procedure Push(Obj : in Integer);
 procedure Pop(Obj : out Integer);

 function Is_Empty return Boolean;
 function Is_Full return Boolean;

 function Current_Size return Integer;

 procedure Clear;
end Stack;