Index

Package: Application

Description

package Events.Application 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

App_Blur_Event

type App_Blur_Event is new Event with private;

Ancestors:

Primitive operations:

Construct (overriding Objects.Construct)
Events.Construct (Inherited)
Events.To_String (Inherited)
Objects.Adjust (Inherited)
Objects.Delete (Inherited)
Objects.Object_Read (Inherited)
Objects.Object_Write (Inherited)
A notification that the application window has lost focus.

App_Focus_Event

type App_Focus_Event is new Event with private;

Ancestors:

Primitive operations:

Construct (overriding Objects.Construct)
Events.Construct (Inherited)
Events.To_String (Inherited)
Objects.Adjust (Inherited)
Objects.Delete (Inherited)
Objects.Object_Read (Inherited)
Objects.Object_Write (Inherited)
A notification that the application window has regained focus.

Close_Request_Event

type Close_Request_Event is new Event with private;

Ancestors:

Primitive operations:

Construct (overriding Objects.Construct)
Events.Construct (Inherited)
Events.To_String (Inherited)
Objects.Adjust (Inherited)
Objects.Delete (Inherited)
Objects.Object_Read (Inherited)
Objects.Object_Write (Inherited)
A command to attempt to close the application. This does not have to be obeyed, for instance if the player hasn't saved his game yet.

Close_Window_Event

type Close_Window_Event is new Event with private;

Ancestors:

Primitive operations:

Construct (overriding Objects.Construct)
Events.Construct (Inherited)
Events.To_String (Inherited)
Objects.Adjust (Inherited)
Objects.Delete (Inherited)
Objects.Object_Read (Inherited)
Objects.Object_Write (Inherited)
A command to close the application, no questions asked. This event is queued when it's time for the application to quit.

Constants & Global variables

APP_BLUR_ID (Events.Event_Id)

APP_BLUR_ID      : constant Event_Id := To_Event_Id( "App_Blur" );

APP_FOCUS_ID (Events.Event_Id)

APP_FOCUS_ID     : constant Event_Id := To_Event_Id( "App_Focus" );

CLOSE_REQUEST_ID (Events.Event_Id)

CLOSE_REQUEST_ID : constant Event_Id := To_Event_Id( "Close_Request" );

CLOSE_WINDOW_ID (Events.Event_Id)

CLOSE_WINDOW_ID  : constant Event_Id := To_Event_Id( "Close_Window" );

Subprograms & Entries

Queue_App_Blur

procedure Queue_App_Blur;
Queues an App_Blur_Event.

Queue_App_Focus

procedure Queue_App_Focus;
Queues an App_Focus_Event.

Queue_Close_Request

procedure Queue_Close_Request;

Queue_Close_Window

procedure Queue_Close_Window;