package Ada_Store.PoST.Application

with Ada_Store.Log;

package Ada_Store.PoST.Application is

   type App_Action	is ( Start_Up, Close_Down );
   type Application_Log (Action : App_Action) is new Ada_Store.Log.Element
      with null record;

   function To_String(Element : Application_Log) return String;

end Ada_Store.PoST.Application;

package body Ada_Store.PoST.Application is

   function To_String(Element : Application_Log) return String is
      Base_String : String := Log.To_String(Log.Element(Element));
   begin
      case Element.Action is
	 when Start_Up   => return Base_String & " - Application Starting.";
	 when Close_Down => return Base_String & " - Application Terminating.";
      end case;
   end To_String;

end Ada_Store.PoST.Application;

Contents Page

Copyright © 1996 Simon Johnston &
Addison Wesley Longman