--::::::::::
--statagen.adb
--::::::::::
package body Stack_Tag_En is

function Empty return boolean is
   begin -- Empty
      return stk.Empty (Stack);
   end Empty;
   ------------------------------------------------------
procedure Pop (Object: in out Object_Ptr) is
   begin -- Pop
      stk.Pop (Stack, Object);
   end Pop;
   ------------------------------------------------------
procedure Pop (Object:    out Object_Type'Class) is
   begin -- Pop
      stk.Pop (Stack, Object);
   end Pop;
   ------------------------------------------------------
procedure Push (Object: in     Object_Type'Class) is
   begin -- Push
      stk.Push (Object, Stack);
   end Push;
   ------------------------------------------------------

end Stack_Tag_En;