1. -- 
  2. -- Copyright (c) 2012 Kevin Wellwood 
  3. -- All rights reserved. 
  4. -- 
  5. -- This source code is distributed under the Modified BSD License. For terms and 
  6. -- conditions, see license.txt. 
  7. -- 
  8.  
  9. private with Tools; 
  10. private with Tools.Pointers; 
  11.  
  12. package Games.Sessions.Ked is 
  13.  
  14. private 
  15.  
  16.     use Tools; 
  17.     use Tools.Pointers; 
  18.  
  19.     type Ked_Session is new Game_Session with 
  20.         record 
  21.             tool : A_Tool := Create_Pointer; 
  22.         end record; 
  23.  
  24.     procedure Delete( this : in out Ked_Session ); 
  25.  
  26.     procedure Handle_Event( this : access Ked_Session; 
  27.                             evt  : in out A_Event; 
  28.                             resp : out Response_Type ); 
  29.     pragma Precondition( evt /= null ); 
  30.  
  31.     procedure On_New_Game( this : access Ked_Session ); 
  32.  
  33.     procedure On_End_Game( this      : access Ked_Session; 
  34.                            completed : Boolean ); 
  35.  
  36. end Games.Sessions.Ked;