--::::::::::
--stacnten.adb
--::::::::::
--\\with text_io;
package body Stack_Cntl_En is

function Empty return boolean is
   begin
      return PPS.Empty (Stack);
   end Empty;
   ------------------------------------------------------
function Top_Of return Object_Type is
   begin -- Top_Of
      return PPS.Top_Of (Stack);
   end Top_Of;
   ------------------------------------------------------
procedure Pop (Object: in out Object_Type) is
   begin
      PPS.Pop (Stack, Object);
   end Pop;
   ------------------------------------------------------
procedure Pop is
   begin -- Pop
      PPS.Pop (Stack);
   end Pop;
   -------------------------------------------------------
procedure Push (Object: in out Object_Type) is
   begin -- Push
      PPS.Push (Object, Stack);
   end Push;
   ------------------------------------------------------

end Stack_Cntl_En;