1. package Applications.Ked is 
  2.  
  3.     pragma Elaborate_Body; 
  4.  
  5. private 
  6.  
  7.     type Ked_Application is new Application with null record; 
  8.  
  9.     procedure Construct( this : access Ked_Application ); 
  10.  
  11.     function Get_Name( this : access Ked_Application ) return String; 
  12.     pragma Postcondition( Get_Name'Result'Length > 0 ); 
  13.  
  14.     function Get_Window_Title( this : access Ked_Application ) return String; 
  15.  
  16.     function Init( this : access Ked_Application ) return Boolean; 
  17.  
  18. end Applications.Ked;