1. with Events.Listeners;                  use Events.Listeners; 
  2.  
  3. private with Ada.Containers.Indefinite_Vectors; 
  4. private with Events; 
  5.  
  6. package Widgets.Palettes.Items is 
  7.  
  8.     function Create_Item_Palette( view : not null access Game_Views.Game_View'Class; 
  9.                                   id   : String ) return A_Palette; 
  10.     pragma Precondition( id'Length > 0 ); 
  11.     pragma Postcondition( Create_Item_Palette'Result /= null ); 
  12.  
  13. private 
  14.  
  15.     use Events; 
  16.  
  17.     package Item_Types is new Ada.Containers.Indefinite_Vectors( Positive, String, "=" ); 
  18.  
  19.     type Item_Palette is new Palette and Event_Listener with 
  20.         record 
  21.             itemTypes : Item_Types.Vector;  -- vector of item ids 
  22.         end record; 
  23.  
  24.     procedure Construct( this : access Item_Palette; 
  25.                          view : not null access Game_Views.Game_View'Class; 
  26.                          id   : String ); 
  27.     pragma Precondition( id'Length > 0 ); 
  28.  
  29.     procedure Delete( this : in out Item_Palette ); 
  30.  
  31.     procedure Get_Item_Details( this   : access Item_Palette; 
  32.                                 row, 
  33.                                 col    : Natural; 
  34.                                 bmp    : out A_Bitmap; 
  35.                                 border : out Color_Type ); 
  36.  
  37.     function Get_Scroll_Inc_Y( this : access Item_Palette ) return Integer; 
  38.  
  39.     function Get_Item_Count( this : access Item_Palette ) return Natural; 
  40.  
  41.     procedure Handle_Event( this : access Item_Palette; 
  42.                             evt  : in out A_Event; 
  43.                             resp : out Response_Type ); 
  44.     pragma Precondition( evt /= null ); 
  45.  
  46.     procedure Handle_Mouse_Press( this : access Item_Palette; 
  47.                                   evt  : not null A_Mouse_Button_Event ); 
  48.  
  49. end Widgets.Palettes.Items;