Index

Package: Keen

Description

package Game_Views.Keen is
Copyright (c) 2012 Kevin Wellwood All rights reserved. This source code is distributed under the Modified BSD License. For terms and conditions, see license.txt.

Classes

Keen_View

type Keen_View is new Game_View with private;

Ancestors:

Primitive operations:

Events.Listeners.To_String (Inherited)
Game_Views.Construct (Inherited)
Game_Views.Delete (Inherited)
Game_Views.Get_Process_Name (Inherited)
Game_Views.Initialize_Widgets (Inherited)
Game_Views.On_Close_Window (Inherited)
Game_Views.On_Finalize (Inherited)
Game_Views.On_Game_Paused (Inherited)
Game_Views.On_Game_State_Changed (Inherited)
Game_Views.On_Initialize (Inherited)
Game_Views.On_Loading_Begin (Inherited)
Game_Views.On_Loading_End (Inherited)
Game_Views.On_World_Property_Changed (Inherited)
Handle_Event (overriding Game_Views.Handle_Event)
Initialize_Widgets
Objects.Construct (Inherited)
Objects.To_String (Inherited)
On_Close_Window
On_Finalize
On_Game_Paused
On_Game_State_Changed
On_Initialize
On_Loading_Begin
On_Loading_End
On_World_Property_Changed
Tick (overriding Game_Views.Tick)

Types

A_Keen_View

type A_Keen_View is access all Keen_View'Class;

Subprograms & Entries

Pause_By_Menu

procedure Pause_By_Menu
( this: not null access Keen_View'Class;
enabled: Boolean );
Pauses or resumes the game, in the context of a menu or dialog on the screen. For every pause by a menu, there must be a corresponding resume as a menu. Nested menus may all pause the game, so a menu pause count is preserved and tracked by this procedure. The first time a menu calls Pause_By_Menu(True), the game play will be paused (if it wasn't already paused by the player.) When the same menu calls the corresponding Pause_By_Menu(False), the menu pause count is decremented. When the count reaches zero, play will resume (again, if it wasn't already paused by the player.)

Pause_By_Player

procedure Pause_By_Player
( this: not null access Keen_View'Class;
enabled: Boolean );
Pauses or resumes the game, in the context of the player. If game has already been paused by a menu (via Pause_By_Menu) then the player will not be allowed to pause or resume play.