package Applications.Ked is
pragma Elaborate_Body;
private
type Ked_Application is new Application with null record;
procedure Construct( this : access Ked_Application );
function Get_Name( this : access Ked_Application ) return String;
pragma Postcondition( Get_Name'Result'Length > 0 );
function Get_Window_Title( this : access Ked_Application ) return String;
function Init( this : access Ked_Application ) return Boolean;
end Applications.Ked;