Index

Package: Events.Input

Description

package Events.Input is

Classes

Key_Event (abstract)

type Key_Event is abstract new Event with private;

Ancestors:

Immediate Children:

Primitive operations:

Construct
Events.Construct (Inherited)
Objects.Adjust (Inherited)
Objects.Construct (Inherited)
Objects.Delete (Inherited)
Objects.Object_Read (Inherited)
Objects.Object_Write (Inherited)
To_String (overriding Events.To_String)

References:

events-input.ads:10:10 (declaration)
events-input.adb:12:45 (reference)
events-input.adb:26:47 (reference)
events-input.adb:33:46 (reference)
events-input.adb:40:58 (reference)
events-input.adb:48:50 (reference)
events-input.adb:55:51 (reference)
events-input.adb:62:47 (reference)
events-input.adb:69:48 (reference)
events-input.adb:76:49 (reference)
events-input.adb:84:39 (reference)
events-input.ads:11:36 (reference)
events-input.ads:13:47 (reference)
events-input.ads:15:46 (reference)
events-input.ads:17:58 (reference)
events-input.ads:20:51 (reference)
events-input.ads:22:47 (reference)
events-input.ads:24:48 (reference)
events-input.ads:26:49 (reference)
events-input.ads:31:50 (reference)
events-input.ads:35:32 (reference)
events-input.ads:36:33 (reference)
events-input.ads:37:35 (reference)
events-input.ads:131:10 (full declaration)
events-input.ads:138:45 (reference)
events-input.ads:144:39 (reference)
events-input.ads:148:32 (reference)
events-input.ads:149:33 (reference)
events-input.ads:150:35 (reference)

Key_Held_Event

type Key_Held_Event is new Key_Event with private;

Ancestors:

Primitive operations:

Construct (Inherited)
Events.Construct (Inherited)
Objects.Adjust (Inherited)
Objects.Construct (Inherited)
Objects.Delete (Inherited)
Objects.Object_Read (Inherited)
Objects.Object_Write (Inherited)
To_String (Inherited)

References:

events-input.ads:35:10 (declaration)
events-input.adb:220:34 (reference)
events-input.ads:148:10 (full declaration)

Key_Press_Event

type Key_Press_Event is new Key_Event with private;

Ancestors:

Primitive operations:

Construct (Inherited)
Events.Construct (Inherited)
Objects.Adjust (Inherited)
Objects.Construct (Inherited)
Objects.Delete (Inherited)
Objects.Object_Read (Inherited)
Objects.Object_Write (Inherited)
To_String (Inherited)

References:

events-input.ads:36:10 (declaration)
events-input.adb:233:34 (reference)
events-input.ads:149:10 (full declaration)

Key_Release_Event

type Key_Release_Event is new Key_Event with private;

Ancestors:

Primitive operations:

Construct (Inherited)
Events.Construct (Inherited)
Objects.Adjust (Inherited)
Objects.Construct (Inherited)
Objects.Delete (Inherited)
Objects.Object_Read (Inherited)
Objects.Object_Write (Inherited)
To_String (Inherited)

References:

events-input.ads:37:10 (declaration)
events-input.adb:246:34 (reference)
events-input.ads:150:10 (full declaration)

Mouse_Event (abstract)

type Mouse_Event is abstract new Event with private;

Ancestors:

Immediate Children:

Primitive operations:

Construct
Events.Construct (Inherited)
Objects.Adjust (Inherited)
Objects.Construct (Inherited)
Objects.Delete (Inherited)
Objects.Object_Read (Inherited)
Objects.Object_Write (Inherited)
To_String (overriding Events.To_String)

References:

events-input.ads:45:10 (declaration)
events-input.adb:118:43 (reference)
events-input.adb:129:44 (reference)
events-input.adb:136:44 (reference)
events-input.adb:143:46 (reference)
events-input.adb:152:39 (reference)
events-input.adb:167:9 (reference)
events-input.adb:204:9 (reference)
events-input.ads:46:38 (reference)
events-input.ads:48:44 (reference)
events-input.ads:50:44 (reference)
events-input.ads:52:46 (reference)
events-input.ads:56:34 (reference)
events-input.ads:62:36 (reference)
events-input.ads:72:45 (reference)
events-input.ads:154:10 (full declaration)
events-input.ads:159:43 (reference)
events-input.ads:163:39 (reference)
events-input.ads:167:34 (reference)
events-input.ads:171:36 (reference)
events-input.ads:184:45 (reference)

Mouse_Move_Event

type Mouse_Move_Event is new Mouse_Event with private;

Ancestors:

Primitive operations:

Construct (Inherited)
Events.Construct (Inherited)
Objects.Adjust (Inherited)
Objects.Construct (Inherited)
Objects.Delete (Inherited)
Objects.Object_Read (Inherited)
Objects.Object_Write (Inherited)
To_String (Inherited)

References:

events-input.ads:56:10 (declaration)
events-input.ads:167:10 (full declaration)

Mouse_Scroll_Event

type Mouse_Scroll_Event is new Mouse_Event with private;

Ancestors:

Primitive operations:

Construct
Construct (Inherited)
Events.Construct (Inherited)
Objects.Adjust (Inherited)
Objects.Construct (Inherited)
Objects.Delete (Inherited)
Objects.Object_Read (Inherited)
Objects.Object_Write (Inherited)
To_String (Inherited)

References:

events-input.ads:62:10 (declaration)
events-input.adb:199:43 (reference)
events-input.adb:210:49 (reference)
events-input.adb:323:43 (reference)
events-input.ads:63:45 (reference)
events-input.ads:65:49 (reference)
events-input.ads:171:10 (full declaration)
events-input.ads:176:43 (reference)

Mouse_Button_Event (abstract)

type Mouse_Button_Event is abstract new Mouse_Event with private;

Ancestors:

Immediate Children:

Primitive operations:

Construct (Inherited)
Construct
Events.Construct (Inherited)
Objects.Adjust (Inherited)
Objects.Construct (Inherited)
Objects.Delete (Inherited)
Objects.Object_Read (Inherited)
Objects.Object_Write (Inherited)
To_String (overriding To_String)

References:

events-input.ads:72:10 (declaration)
events-input.adb:161:45 (reference)
events-input.adb:174:49 (reference)
events-input.adb:181:52 (reference)
events-input.adb:189:39 (reference)
events-input.ads:73:45 (reference)
events-input.ads:75:49 (reference)
events-input.ads:77:52 (reference)
events-input.ads:81:35 (reference)
events-input.ads:82:41 (reference)
events-input.ads:83:34 (reference)
events-input.ads:84:35 (reference)
events-input.ads:85:37 (reference)
events-input.ads:184:10 (full declaration)
events-input.ads:190:45 (reference)
events-input.ads:196:39 (reference)
events-input.ads:200:41 (reference)
events-input.ads:201:41 (reference)
events-input.ads:202:41 (reference)
events-input.ads:203:41 (reference)
events-input.ads:204:41 (reference)

Mouse_Click_Event

type Mouse_Click_Event is new Mouse_Button_Event with private;

Ancestors:

Primitive operations:

Construct (Inherited)
Construct (Inherited)
Events.Construct (Inherited)
Objects.Adjust (Inherited)
Objects.Construct (Inherited)
Objects.Delete (Inherited)
Objects.Object_Read (Inherited)
Objects.Object_Write (Inherited)
To_String (Inherited)

References:

events-input.ads:81:10 (declaration)
events-input.adb:257:43 (reference)
events-input.ads:200:10 (full declaration)

Mouse_Doubleclick_Event

type Mouse_Doubleclick_Event is new Mouse_Button_Event with private;

Ancestors:

Primitive operations:

Construct (Inherited)
Construct (Inherited)
Events.Construct (Inherited)
Objects.Adjust (Inherited)
Objects.Construct (Inherited)
Objects.Delete (Inherited)
Objects.Object_Read (Inherited)
Objects.Object_Write (Inherited)
To_String (Inherited)

References:

events-input.ads:82:10 (declaration)
events-input.adb:266:43 (reference)
events-input.ads:201:10 (full declaration)

Mouse_Held_Event

type Mouse_Held_Event is new Mouse_Button_Event with private;

Ancestors:

Primitive operations:

Construct (Inherited)
Construct (Inherited)
Events.Construct (Inherited)
Objects.Adjust (Inherited)
Objects.Construct (Inherited)
Objects.Delete (Inherited)
Objects.Object_Read (Inherited)
Objects.Object_Write (Inherited)
To_String (Inherited)

References:

events-input.ads:83:10 (declaration)
events-input.adb:275:43 (reference)
events-input.adb:284:36 (reference)
events-input.ads:202:10 (full declaration)

Mouse_Press_Event

type Mouse_Press_Event is new Mouse_Button_Event with private;

Ancestors:

Primitive operations:

Construct (Inherited)
Construct (Inherited)
Events.Construct (Inherited)
Objects.Adjust (Inherited)
Objects.Construct (Inherited)
Objects.Delete (Inherited)
Objects.Object_Read (Inherited)
Objects.Object_Write (Inherited)
To_String (Inherited)

References:

events-input.ads:84:10 (declaration)
events-input.adb:295:43 (reference)
events-input.ads:203:10 (full declaration)

Mouse_Release_Event

type Mouse_Release_Event is new Mouse_Button_Event with private;

Ancestors:

Primitive operations:

Construct (Inherited)
Construct (Inherited)
Events.Construct (Inherited)
Objects.Adjust (Inherited)
Objects.Construct (Inherited)
Objects.Delete (Inherited)
Objects.Object_Read (Inherited)
Objects.Object_Write (Inherited)
To_String (Inherited)

References:

events-input.ads:85:10 (declaration)
events-input.adb:304:43 (reference)
events-input.adb:314:52 (reference)
events-input.ads:204:10 (full declaration)

Types

A_Key_Event

type A_Key_Event is access all Key_Event'Class;

References:

events-input.ads:11:10 (declaration)
events-input.adb:220:15 (reference)
events-input.adb:233:15 (reference)
events-input.adb:246:15 (reference)
game_views.adb:133:52 (reference)
game_views.adb:136:53 (reference)
game_views.adb:139:55 (reference)
widgets-buttons-checkboxes.adb:154:48 (reference)
widgets-buttons-checkboxes.ads:34:48 (reference)
widgets-buttons-pushes.adb:34:48 (reference)
widgets-buttons-pushes.adb:50:50 (reference)
widgets-buttons-pushes.ads:23:48 (reference)
widgets-buttons-pushes.ads:26:50 (reference)
widgets-buttons-toggles.adb:26:48 (reference)
widgets-buttons-toggles.ads:21:48 (reference)
widgets-containers-windows.adb:101:49 (reference)
widgets-containers-windows.adb:114:50 (reference)
widgets-containers-windows.adb:125:52 (reference)
widgets-containers-windows.adb:537:48 (reference)
widgets-containers-windows.ads:29:49 (reference)
widgets-containers-windows.ads:32:50 (reference)
widgets-containers-windows.ads:35:52 (reference)
widgets-containers-windows.ads:145:48 (reference)
widgets-input_boxes.adb:237:47 (reference)
widgets-input_boxes.adb:297:48 (reference)
widgets-input_boxes.adb:343:50 (reference)
widgets-input_boxes.ads:138:47 (reference)
widgets-input_boxes.ads:141:48 (reference)
widgets-input_boxes.ads:144:50 (reference)
widgets.adb:605:47 (reference)
widgets.adb:628:48 (reference)
widgets.adb:690:50 (reference)
widgets.ads:627:47 (reference)
widgets.ads:631:48 (reference)
widgets.ads:635:50 (reference)

A_Mouse_Event

type A_Mouse_Event is access all Mouse_Event'Class;

References:

events-input.ads:46:10 (declaration)
events-input.adb:284:15 (reference)
game_views.adb:146:43 (reference)
widgets-containers-panels-dialogs.adb:73:50 (reference)
widgets-containers-panels-dialogs.ads:45:50 (reference)
widgets-containers-windows.adb:161:52 (reference)
widgets-containers-windows.ads:41:52 (reference)
widgets-menubars.adb:176:50 (reference)
widgets-menubars.ads:67:50 (reference)
widgets-scrollbars.adb:144:50 (reference)
widgets-scrollbars.adb:252:50 (reference)
widgets-scrollbars.ads:66:50 (reference)
widgets-scrollbars.ads:83:50 (reference)
widgets.adb:717:50 (reference)
widgets.ads:643:50 (reference)

A_Mouse_Scroll_Event

type A_Mouse_Scroll_Event is access all Mouse_Scroll_Event'Class;

References:

events-input.ads:63:10 (declaration)
events-input.adb:323:15 (reference)
game_views.adb:162:56 (reference)
widgets-containers-scroll_panes.adb:275:51 (reference)
widgets-containers-scroll_panes.ads:62:51 (reference)
widgets-containers-windows.adb:295:53 (reference)
widgets-containers-windows.ads:50:53 (reference)
widgets.adb:751:51 (reference)
widgets.ads:655:51 (reference)

A_Mouse_Button_Event

type A_Mouse_Button_Event is access all Mouse_Button_Event'Class;

References:

events-input.ads:73:10 (declaration)
events-input.adb:257:15 (reference)
events-input.adb:266:15 (reference)
events-input.adb:275:15 (reference)
events-input.adb:295:15 (reference)
events-input.adb:304:15 (reference)
events-input.adb:313:65 (reference)
events-input.adb:314:24 (reference)
events-input.ads:124:65 (reference)
game_views.adb:142:43 (reference)
game_views.adb:150:44 (reference)
game_views.adb:154:46 (reference)
game_views.adb:158:38 (reference)
widgets-buttons-checkboxes.adb:170:51 (reference)
widgets-buttons-checkboxes.ads:37:51 (reference)
widgets-buttons-pushes.adb:67:50 (reference)
widgets-buttons-pushes.adb:78:51 (reference)
widgets-buttons-pushes.adb:89:53 (reference)
widgets-buttons-pushes.ads:29:50 (reference)
widgets-buttons-pushes.ads:32:51 (reference)
widgets-buttons-pushes.ads:35:53 (reference)
widgets-buttons-toggles.adb:42:51 (reference)
widgets-buttons-toggles.ads:24:51 (reference)
widgets-containers-panels-dialogs.adb:90:51 (reference)
widgets-containers-panels-dialogs.ads:48:51 (reference)
widgets-containers-windows.adb:80:47 (reference)
widgets-containers-windows.adb:140:52 (reference)
widgets-containers-windows.adb:213:53 (reference)
widgets-containers-windows.adb:257:55 (reference)
widgets-containers-windows.adb:268:18 (reference)
widgets-containers-windows.ads:26:47 (reference)
widgets-containers-windows.ads:38:52 (reference)
widgets-containers-windows.ads:44:53 (reference)
widgets-containers-windows.ads:47:55 (reference)
widgets-input_boxes.adb:375:51 (reference)
widgets-input_boxes.ads:147:51 (reference)
widgets-menu_items-menu_checkboxes.adb:60:53 (reference)
widgets-menu_items-menu_checkboxes.ads:32:53 (reference)
widgets-menu_items.adb:167:53 (reference)
widgets-menu_items.ads:117:53 (reference)
widgets-menubars.adb:228:51 (reference)
widgets-menubars.adb:253:53 (reference)
widgets-menubars.ads:70:51 (reference)
widgets-menubars.ads:73:53 (reference)
widgets-scrollbars.adb:45:53 (reference)
widgets-scrollbars.adb:128:49 (reference)
widgets-scrollbars.adb:161:51 (reference)
widgets-scrollbars.adb:236:50 (reference)
widgets-scrollbars.adb:269:51 (reference)
widgets-scrollbars.ads:52:53 (reference)
widgets-scrollbars.ads:63:50 (reference)
widgets-scrollbars.ads:69:51 (reference)
widgets-scrollbars.ads:80:50 (reference)
widgets-scrollbars.ads:86:51 (reference)
widgets.adb:546:45 (reference)
widgets.adb:707:49 (reference)
widgets.adb:727:51 (reference)
widgets.adb:739:53 (reference)
widgets.ads:596:45 (reference)
widgets.ads:639:50 (reference)
widgets.ads:647:51 (reference)
widgets.ads:651:53 (reference)

Constants & Global variables

KEY_HELD_ID (Events.Event_Id)

KEY_HELD_ID    : constant Event_Id := To_Event_Id( "Key_Held" );

References:

events-input.ads:39:5 (declaration)
game_views.adb:132:17 (reference)

KEY_PRESS_ID (Events.Event_Id)

KEY_PRESS_ID   : constant Event_Id := To_Event_Id( "Key_Press" );

References:

events-input.ads:40:5 (declaration)
game_views.adb:135:20 (reference)

KEY_RELEASE_ID (Events.Event_Id)

KEY_RELEASE_ID : constant Event_Id := To_Event_Id( "Key_Release" );

References:

events-input.ads:41:5 (declaration)
game_views.adb:138:20 (reference)

MOUSE_MOVE_ID (Events.Event_Id)

MOUSE_MOVE_ID : constant Event_Id := To_Event_Id( "Mouse_Move" );

References:

events-input.ads:58:5 (declaration)
game_views.adb:145:20 (reference)

MOUSE_SCROLL_ID (Events.Event_Id)

MOUSE_SCROLL_ID : constant Event_Id := To_Event_Id( "Mouse_Scroll" );

References:

events-input.ads:68:5 (declaration)
game_views.adb:161:20 (reference)

MOUSE_CLICK_ID (Events.Event_Id)

MOUSE_CLICK_ID       : constant Event_Id := To_Event_Id( "Mouse_Click" );

References:

events-input.ads:87:5 (declaration)
game_views.adb:157:20 (reference)

MOUSE_DOUBLECLICK_ID (Events.Event_Id)

MOUSE_DOUBLECLICK_ID : constant Event_Id := To_Event_Id( "Mouse_Doubleclick" );

References:

events-input.ads:88:5 (declaration)

MOUSE_HELD_ID (Events.Event_Id)

MOUSE_HELD_ID        : constant Event_Id := To_Event_Id( "Mouse_Held" );

References:

events-input.ads:89:5 (declaration)
game_views.adb:141:20 (reference)

MOUSE_PRESS_ID (Events.Event_Id)

MOUSE_PRESS_ID       : constant Event_Id := To_Event_Id( "Mouse_Press" );

References:

events-input.ads:90:5 (declaration)
game_views.adb:149:20 (reference)

MOUSE_RELEASE_ID (Events.Event_Id)

MOUSE_RELEASE_ID     : constant Event_Id := To_Event_Id( "Mouse_Release" );

References:

events-input.ads:91:5 (declaration)
game_views.adb:153:20 (reference)

Subprograms & Entries

Get_Char

function Get_Char
( this: not null access Key_Event'Class )
return Character;

References:

events-input.ads:13:14 (declaration)
events-input.adb:26:14 (body)
events-input.adb:29:9 (label)
widgets-input_boxes.adb:247:41 (reference)
widgets-input_boxes.adb:305:37 (reference)

Called by:

Widgets.Input_Boxes.Handle_Key_Held defined at widgets-input_boxes.ads:137:14
Widgets.Input_Boxes.Handle_Key_Press defined at widgets-input_boxes.ads:140:14

Get_Key

function Get_Key
( this: not null access Key_Event'Class )
return Positive;

References:

events-input.ads:15:14 (declaration)
events-input.adb:33:14 (body)
events-input.adb:36:9 (label)
widgets-buttons-checkboxes.adb:156:16 (reference)
widgets-buttons-checkboxes.adb:157:16 (reference)
widgets-buttons-checkboxes.adb:158:16 (reference)
widgets-buttons-pushes.adb:36:16 (reference)
widgets-buttons-pushes.adb:37:16 (reference)
widgets-buttons-pushes.adb:38:16 (reference)
widgets-buttons-pushes.adb:52:16 (reference)
widgets-buttons-pushes.adb:53:16 (reference)
widgets-buttons-pushes.adb:54:16 (reference)
widgets-buttons-toggles.adb:28:16 (reference)
widgets-buttons-toggles.adb:29:16 (reference)
widgets-buttons-toggles.adb:30:16 (reference)
widgets-containers-windows.adb:102:39 (reference)
widgets-containers-windows.adb:115:39 (reference)
widgets-containers-windows.adb:126:43 (reference)
widgets-containers-windows.adb:539:16 (reference)
widgets-input_boxes.adb:246:42 (reference)
widgets-input_boxes.adb:248:36 (reference)
widgets-input_boxes.adb:252:22 (reference)
widgets-input_boxes.adb:306:32 (reference)
widgets-input_boxes.adb:309:22 (reference)
widgets-input_boxes.adb:330:40 (reference)
widgets-input_boxes.adb:354:22 (reference)
widgets.adb:611:52 (reference)
widgets.adb:635:53 (reference)
widgets.adb:640:16 (reference)
widgets.adb:694:55 (reference)

Called by:

Widgets.Buttons.Checkboxes.Handle_Key_Press defined at widgets-buttons-checkboxes.ads:33:14
Widgets.Buttons.Checkboxes.Handle_Key_Press defined at widgets-buttons-checkboxes.ads:33:14
Widgets.Buttons.Checkboxes.Handle_Key_Press defined at widgets-buttons-checkboxes.ads:33:14
Widgets.Buttons.Pushes.Handle_Key_Press defined at widgets-buttons-pushes.ads:22:14
Widgets.Buttons.Pushes.Handle_Key_Press defined at widgets-buttons-pushes.ads:22:14
Widgets.Buttons.Pushes.Handle_Key_Press defined at widgets-buttons-pushes.ads:22:14
Widgets.Buttons.Pushes.Handle_Key_Release defined at widgets-buttons-pushes.ads:25:14
Widgets.Buttons.Pushes.Handle_Key_Release defined at widgets-buttons-pushes.ads:25:14
Widgets.Buttons.Pushes.Handle_Key_Release defined at widgets-buttons-pushes.ads:25:14
Widgets.Buttons.Toggles.Handle_Key_Press defined at widgets-buttons-toggles.ads:20:14
Widgets.Buttons.Toggles.Handle_Key_Press defined at widgets-buttons-toggles.ads:20:14
Widgets.Buttons.Toggles.Handle_Key_Press defined at widgets-buttons-toggles.ads:20:14
Widgets.Containers.Windows.Dispatch_Key_Held defined at widgets-containers-windows.ads:28:14
Widgets.Containers.Windows.Dispatch_Key_Press defined at widgets-containers-windows.ads:31:14
Widgets.Containers.Windows.Dispatch_Key_Release defined at widgets-containers-windows.ads:34:14
Widgets.Containers.Windows.Handle_Key_Press defined at widgets-containers-windows.ads:144:14
Widgets.Handle_Key_Held defined at widgets.ads:626:14
Widgets.Handle_Key_Press defined at widgets.ads:630:14
Widgets.Handle_Key_Press defined at widgets.ads:630:14
Widgets.Handle_Key_Release defined at widgets.ads:634:14
Widgets.Input_Boxes.Handle_Key_Held defined at widgets-input_boxes.ads:137:14
Widgets.Input_Boxes.Handle_Key_Held defined at widgets-input_boxes.ads:137:14
Widgets.Input_Boxes.Handle_Key_Held defined at widgets-input_boxes.ads:137:14
Widgets.Input_Boxes.Handle_Key_Press defined at widgets-input_boxes.ads:140:14
Widgets.Input_Boxes.Handle_Key_Press defined at widgets-input_boxes.ads:140:14
Widgets.Input_Boxes.Handle_Key_Press defined at widgets-input_boxes.ads:140:14
Widgets.Input_Boxes.Handle_Key_Release defined at widgets-input_boxes.ads:143:14

Get_Modifiers

procedure Get_Modifiers
( this: not null access Key_Event'Class;
modifiers: out Modifiers_Array );

References:

events-input.ads:17:15 (declaration)
events-input.adb:40:15 (body)
events-input.adb:44:9 (label)
widgets-input_boxes.adb:241:13 (reference)
widgets-input_boxes.adb:300:13 (reference)
widgets-input_boxes.adb:346:13 (reference)
widgets.adb:608:13 (reference)
widgets.adb:632:13 (reference)
widgets.adb:693:13 (reference)

Called by:

Widgets.Handle_Key_Held defined at widgets.ads:626:14
Widgets.Handle_Key_Press defined at widgets.ads:630:14
Widgets.Handle_Key_Release defined at widgets.ads:634:14
Widgets.Input_Boxes.Handle_Key_Held defined at widgets-input_boxes.ads:137:14
Widgets.Input_Boxes.Handle_Key_Press defined at widgets-input_boxes.ads:140:14
Widgets.Input_Boxes.Handle_Key_Release defined at widgets-input_boxes.ads:143:14

No_Modifiers

function No_Modifiers
( this: not null access Key_Event'Class )
return Boolean;

References:

events-input.ads:20:14 (declaration)
events-input.adb:55:14 (body)
events-input.adb:58:9 (label)

Calls:

Keyboard.None defined at keyboard.ads:13:14

Only_Alt

function Only_Alt
( this: not null access Key_Event'Class )
return Boolean;

References:

events-input.ads:22:14 (declaration)
events-input.adb:62:14 (body)
events-input.adb:65:9 (label)

Only_Ctrl

function Only_Ctrl
( this: not null access Key_Event'Class )
return Boolean;

References:

events-input.ads:24:14 (declaration)
events-input.adb:69:14 (body)
events-input.adb:72:9 (label)

Only_Shift

function Only_Shift
( this: not null access Key_Event'Class )
return Boolean;

References:

events-input.ads:26:14 (declaration)
events-input.adb:76:14 (body)
events-input.adb:79:9 (label)

Is_Readable

function Is_Readable
( this: not null access Key_Event'Class )
return Boolean;

References:

events-input.ads:31:14 (declaration)
events-input.adb:48:14 (body)
events-input.adb:51:9 (label)
widgets-input_boxes.adb:244:19 (reference)
widgets-input_boxes.adb:303:19 (reference)
widgets-input_boxes.adb:349:19 (reference)

Called by:

Widgets.Input_Boxes.Handle_Key_Held defined at widgets-input_boxes.ads:137:14
Widgets.Input_Boxes.Handle_Key_Press defined at widgets-input_boxes.ads:140:14
Widgets.Input_Boxes.Handle_Key_Release defined at widgets-input_boxes.ads:143:14
Returns True if the key is a human readable character and not a control key. If this function returns False then the key is a control key of some kind.

Get_X

function Get_X
( this: not null access Mouse_Event'Class )
return Integer;

References:

events-input.ads:48:14 (declaration)
events-input.adb:129:14 (body)
events-input.adb:132:9 (label)
widgets-buttons-pushes.adb:90:37 (reference)
widgets-containers-panels-dialogs.adb:74:38 (reference)
widgets-containers-panels-dialogs.adb:95:40 (reference)
widgets-containers-windows.adb:82:40 (reference)
widgets-containers-windows.adb:142:40 (reference)
widgets-containers-windows.adb:162:43 (reference)
widgets-containers-windows.adb:215:40 (reference)
widgets-containers-windows.adb:259:52 (reference)
widgets-input_boxes.adb:378:41 (reference)
widgets-menu_items-menu_checkboxes.adb:61:37 (reference)
widgets-menu_items.adb:168:37 (reference)
widgets-menubars.adb:177:40 (reference)
widgets-menubars.adb:229:40 (reference)
widgets-scrollbars.adb:152:46 (reference)
widgets-scrollbars.adb:167:20 (reference)
widgets-scrollbars.adb:170:23 (reference)
widgets-scrollbars.adb:175:37 (reference)

Called by:

Widgets.Buttons.Pushes.Handle_Mouse_Release defined at widgets-buttons-pushes.ads:34:15
Widgets.Containers.Panels.Dialogs.Handle_Mouse_Move defined at widgets-containers-panels-dialogs.ads:44:15
Widgets.Containers.Panels.Dialogs.Handle_Mouse_Press defined at widgets-containers-panels-dialogs.ads:47:15
Widgets.Containers.Windows.Dispatch_Click defined at widgets-containers-windows.ads:25:15
Widgets.Containers.Windows.Dispatch_Mouse_Held defined at widgets-containers-windows.ads:37:15
Widgets.Containers.Windows.Dispatch_Mouse_Move defined at widgets-containers-windows.ads:40:15
Widgets.Containers.Windows.Dispatch_Mouse_Press defined at widgets-containers-windows.ads:43:15
Widgets.Containers.Windows.Dispatch_Mouse_Release defined at widgets-containers-windows.ads:46:15
Widgets.Input_Boxes.Handle_Mouse_Press defined at widgets-input_boxes.ads:146:15
Widgets.Menu_Items.Handle_Mouse_Release defined at widgets-menu_items.ads:116:15
Widgets.Menu_Items.Menu_Checkboxes.Handle_Mouse_Release defined at widgets-menu_items-menu_checkboxes.ads:31:15
Widgets.Menubars.Handle_Mouse_Move defined at widgets-menubars.ads:66:15
Widgets.Menubars.Handle_Mouse_Press defined at widgets-menubars.ads:69:15
Widgets.Scrollbars.Handle_Mouse_Move defined at widgets-scrollbars.ads:65:15
Widgets.Scrollbars.Handle_Mouse_Press defined at widgets-scrollbars.ads:68:15
Widgets.Scrollbars.Handle_Mouse_Press defined at widgets-scrollbars.ads:68:15
Widgets.Scrollbars.Handle_Mouse_Press defined at widgets-scrollbars.ads:68:15

Get_Y

function Get_Y
( this: not null access Mouse_Event'Class )
return Integer;

References:

events-input.ads:50:14 (declaration)
events-input.adb:136:14 (body)
events-input.adb:139:9 (label)
widgets-buttons-pushes.adb:91:37 (reference)
widgets-containers-panels-dialogs.adb:75:38 (reference)
widgets-containers-panels-dialogs.adb:94:20 (reference)
widgets-containers-panels-dialogs.adb:96:40 (reference)
widgets-containers-windows.adb:83:40 (reference)
widgets-containers-windows.adb:143:40 (reference)
widgets-containers-windows.adb:163:43 (reference)
widgets-containers-windows.adb:216:40 (reference)
widgets-containers-windows.adb:259:63 (reference)
widgets-menu_items-menu_checkboxes.adb:62:37 (reference)
widgets-menu_items.adb:169:37 (reference)
widgets-menubars.adb:178:40 (reference)
widgets-menubars.adb:230:40 (reference)
widgets-scrollbars.adb:260:49 (reference)
widgets-scrollbars.adb:275:20 (reference)
widgets-scrollbars.adb:278:23 (reference)
widgets-scrollbars.adb:283:37 (reference)

Called by:

Widgets.Buttons.Pushes.Handle_Mouse_Release defined at widgets-buttons-pushes.ads:34:15
Widgets.Containers.Panels.Dialogs.Handle_Mouse_Move defined at widgets-containers-panels-dialogs.ads:44:15
Widgets.Containers.Panels.Dialogs.Handle_Mouse_Press defined at widgets-containers-panels-dialogs.ads:47:15
Widgets.Containers.Panels.Dialogs.Handle_Mouse_Press defined at widgets-containers-panels-dialogs.ads:47:15
Widgets.Containers.Windows.Dispatch_Click defined at widgets-containers-windows.ads:25:15
Widgets.Containers.Windows.Dispatch_Mouse_Held defined at widgets-containers-windows.ads:37:15
Widgets.Containers.Windows.Dispatch_Mouse_Move defined at widgets-containers-windows.ads:40:15
Widgets.Containers.Windows.Dispatch_Mouse_Press defined at widgets-containers-windows.ads:43:15
Widgets.Containers.Windows.Dispatch_Mouse_Release defined at widgets-containers-windows.ads:46:15
Widgets.Menu_Items.Handle_Mouse_Release defined at widgets-menu_items.ads:116:15
Widgets.Menu_Items.Menu_Checkboxes.Handle_Mouse_Release defined at widgets-menu_items-menu_checkboxes.ads:31:15
Widgets.Menubars.Handle_Mouse_Move defined at widgets-menubars.ads:66:15
Widgets.Menubars.Handle_Mouse_Press defined at widgets-menubars.ads:69:15
Widgets.Scrollbars.Handle_Mouse_Move defined at widgets-scrollbars.ads:82:15
Widgets.Scrollbars.Handle_Mouse_Press defined at widgets-scrollbars.ads:85:15
Widgets.Scrollbars.Handle_Mouse_Press defined at widgets-scrollbars.ads:85:15
Widgets.Scrollbars.Handle_Mouse_Press defined at widgets-scrollbars.ads:85:15

Set_XY

procedure Set_XY
( this: not null access Mouse_Event'Class;
x, y: Integer );

References:

events-input.ads:52:15 (declaration)
events-input.adb:143:15 (body)
events-input.adb:147:9 (label)
widgets-containers-windows.adb:91:17 (reference)
widgets-containers-windows.adb:93:17 (reference)
widgets-containers-windows.adb:151:17 (reference)
widgets-containers-windows.adb:153:17 (reference)
widgets-containers-windows.adb:189:21 (reference)
widgets-containers-windows.adb:191:21 (reference)
widgets-containers-windows.adb:202:21 (reference)
widgets-containers-windows.adb:204:21 (reference)
widgets-containers-windows.adb:247:17 (reference)
widgets-containers-windows.adb:249:17 (reference)

Get_Amount

function Get_Amount
( this: not null access Mouse_Scroll_Event'Class )
return Integer;

References:

events-input.ads:65:14 (declaration)
events-input.adb:210:14 (body)
events-input.adb:213:9 (label)
events-input.ads:66:27 (reference)
widgets-containers-scroll_panes.adb:281:40 (reference)

Called by:

Widgets.Containers.Scroll_Panes.Handle_Mouse_Scroll defined at widgets-containers-scroll_panes.ads:61:14

Get_Button

function Get_Button
( this: not null access Mouse_Button_Event'Class )
return Mouse_Button;

References:

events-input.ads:75:14 (declaration)
events-input.adb:174:14 (body)
events-input.adb:177:9 (label)
widgets-buttons-checkboxes.adb:172:16 (reference)
widgets-buttons-pushes.adb:69:16 (reference)
widgets-buttons-pushes.adb:80:16 (reference)
widgets-buttons-pushes.adb:93:16 (reference)
widgets-buttons-toggles.adb:44:16 (reference)
widgets-containers-panels-dialogs.adb:93:16 (reference)
widgets-containers-windows.adb:81:45 (reference)
widgets-containers-windows.adb:141:45 (reference)
widgets-containers-windows.adb:214:45 (reference)
widgets-containers-windows.adb:259:74 (reference)
widgets-menu_items-menu_checkboxes.adb:64:16 (reference)
widgets-menu_items.adb:172:16 (reference)
widgets-menubars.adb:234:16 (reference)
widgets-menubars.adb:255:16 (reference)
widgets-scrollbars.adb:47:16 (reference)
widgets-scrollbars.adb:165:16 (reference)
widgets-scrollbars.adb:273:16 (reference)
widgets.adb:729:16 (reference)
widgets.adb:741:16 (reference)

Called by:

Widgets.Buttons.Checkboxes.Handle_Mouse_Press defined at widgets-buttons-checkboxes.ads:36:15
Widgets.Buttons.Pushes.Handle_Mouse_Held defined at widgets-buttons-pushes.ads:28:15
Widgets.Buttons.Pushes.Handle_Mouse_Press defined at widgets-buttons-pushes.ads:31:15
Widgets.Buttons.Pushes.Handle_Mouse_Release defined at widgets-buttons-pushes.ads:34:15
Widgets.Buttons.Toggles.Handle_Mouse_Press defined at widgets-buttons-toggles.ads:23:15
Widgets.Containers.Panels.Dialogs.Handle_Mouse_Press defined at widgets-containers-panels-dialogs.ads:47:15
Widgets.Containers.Windows.Dispatch_Click defined at widgets-containers-windows.ads:25:15
Widgets.Containers.Windows.Dispatch_Mouse_Held defined at widgets-containers-windows.ads:37:15
Widgets.Containers.Windows.Dispatch_Mouse_Press defined at widgets-containers-windows.ads:43:15
Widgets.Containers.Windows.Dispatch_Mouse_Release defined at widgets-containers-windows.ads:46:15
Widgets.Handle_Mouse_Press defined at widgets.ads:646:15
Widgets.Handle_Mouse_Release defined at widgets.ads:650:15
Widgets.Menu_Items.Handle_Mouse_Release defined at widgets-menu_items.ads:116:15
Widgets.Menu_Items.Menu_Checkboxes.Handle_Mouse_Release defined at widgets-menu_items-menu_checkboxes.ads:31:15
Widgets.Menubars.Handle_Mouse_Press defined at widgets-menubars.ads:69:15
Widgets.Menubars.Handle_Mouse_Release defined at widgets-menubars.ads:72:15
Widgets.Scrollbars.Handle_Mouse_Press defined at widgets-scrollbars.ads:85:15
Widgets.Scrollbars.Handle_Mouse_Press defined at widgets-scrollbars.ads:68:15
Widgets.Scrollbars.Handle_Mouse_Release defined at widgets-scrollbars.ads:51:15

Get_Modifiers

function Get_Modifiers
( this: not null access Mouse_Button_Event'Class )
return Modifiers_Array;

References:

events-input.ads:77:14 (declaration)
events-input.adb:181:14 (body)
events-input.adb:184:9 (label)

Queue_Key_Held

procedure Queue_Key_Held
( key: Positive;
modifiers: Modifiers_Array;
capslock: Boolean );

References:

events-input.ads:95:15 (declaration)
events-input.adb:217:15 (body)
events-input.adb:226:9 (label)
input_handlers.adb:152:21 (reference)
input_handlers.adb:174:21 (reference)

Called by:

Input_Handlers.Input_Task.Tick_Keyboard defined at input_handlers.adb:133:19
Input_Handlers.Input_Task.Tick_Keyboard defined at input_handlers.adb:133:19

Queue_Key_Press

procedure Queue_Key_Press
( key: Positive;
modifiers: Modifiers_Array;
capslock: Boolean );

References:

events-input.ads:99:15 (declaration)
events-input.adb:230:15 (body)
events-input.adb:239:9 (label)
input_handlers.adb:149:25 (reference)
input_handlers.adb:171:25 (reference)

Called by:

Input_Handlers.Input_Task.Tick_Keyboard defined at input_handlers.adb:133:19
Input_Handlers.Input_Task.Tick_Keyboard defined at input_handlers.adb:133:19

Queue_Key_Release

procedure Queue_Key_Release
( key: Positive;
modifiers: Modifiers_Array;
capslock: Boolean );

References:

events-input.ads:103:15 (declaration)
events-input.adb:243:15 (body)
events-input.adb:252:9 (label)
input_handlers.adb:155:21 (reference)
input_handlers.adb:177:21 (reference)

Called by:

Input_Handlers.Input_Task.Tick_Keyboard defined at input_handlers.adb:133:19
Input_Handlers.Input_Task.Tick_Keyboard defined at input_handlers.adb:133:19

Queue_Mouse_Click

procedure Queue_Mouse_Click
( x, y: Integer;
btn: Mouse_Button );

References:

events-input.ads:107:15 (declaration)
events-input.adb:256:15 (body)
events-input.adb:261:9 (label)
input_handlers.adb:231:29 (reference)
input_handlers.adb:273:29 (reference)
input_handlers.adb:303:29 (reference)

Called by:

Input_Handlers.Input_Task.Tick_Mouse defined at input_handlers.adb:184:19
Input_Handlers.Input_Task.Tick_Mouse defined at input_handlers.adb:184:19
Input_Handlers.Input_Task.Tick_Mouse defined at input_handlers.adb:184:19

Queue_Mouse_Doubleclick

procedure Queue_Mouse_Doubleclick
( x, y: Integer;
btn: Mouse_Button );

References:

events-input.ads:109:15 (declaration)
events-input.adb:265:15 (body)
events-input.adb:270:9 (label)
input_handlers.adb:238:33 (reference)

Called by:

Input_Handlers.Input_Task.Tick_Mouse defined at input_handlers.adb:184:19

Queue_Mouse_Held

procedure Queue_Mouse_Held
( x, y: Integer;
btn: Mouse_Button );

References:

events-input.ads:111:15 (declaration)
events-input.adb:274:15 (body)
events-input.adb:279:9 (label)
input_handlers.adb:218:25 (reference)
input_handlers.adb:260:25 (reference)
input_handlers.adb:290:25 (reference)

Called by:

Input_Handlers.Input_Task.Tick_Mouse defined at input_handlers.adb:184:19
Input_Handlers.Input_Task.Tick_Mouse defined at input_handlers.adb:184:19
Input_Handlers.Input_Task.Tick_Mouse defined at input_handlers.adb:184:19

Queue_Mouse_Move

procedure Queue_Mouse_Move
( x, y: Integer );

References:

events-input.ads:113:15 (declaration)
events-input.adb:283:15 (body)
events-input.adb:288:9 (label)
input_handlers.adb:197:17 (reference)

Called by:

Input_Handlers.Input_Task.Tick_Mouse defined at input_handlers.adb:184:19

Queue_Mouse_Press

procedure Queue_Mouse_Press
( x, y: Integer;
btn: Mouse_Button;
modifiers: Modifiers_Array );

References:

events-input.ads:115:15 (declaration)
events-input.adb:292:15 (body)
events-input.adb:299:9 (label)
input_handlers.adb:209:25 (reference)
input_handlers.adb:252:25 (reference)
input_handlers.adb:282:25 (reference)

Called by:

Input_Handlers.Input_Task.Tick_Mouse defined at input_handlers.adb:184:19
Input_Handlers.Input_Task.Tick_Mouse defined at input_handlers.adb:184:19
Input_Handlers.Input_Task.Tick_Mouse defined at input_handlers.adb:184:19

Queue_Mouse_Release

procedure Queue_Mouse_Release
( x, y: Integer;
btn: Mouse_Button );

References:

events-input.ads:119:15 (declaration)
events-input.adb:303:15 (body)
events-input.adb:308:9 (label)
input_handlers.adb:225:25 (reference)
input_handlers.adb:267:25 (reference)
input_handlers.adb:297:25 (reference)

Called by:

Input_Handlers.Input_Task.Tick_Mouse defined at input_handlers.adb:184:19
Input_Handlers.Input_Task.Tick_Mouse defined at input_handlers.adb:184:19
Input_Handlers.Input_Task.Tick_Mouse defined at input_handlers.adb:184:19

Create_Mouse_Release

function Create_Mouse_Release
( x, y: Integer;
btn: Mouse_Button )
return A_Mouse_Button_Event;

References:

events-input.ads:123:14 (declaration)
events-input.adb:312:14 (body)
events-input.adb:318:9 (label)
widgets-containers-windows.adb:274:20 (reference)

Called by:

Widgets.Containers.Windows.Dispatch_Mouse_Release defined at widgets-containers-windows.ads:121:15

Calls:

Construct defined at events-input.ads:190:15
Used only for a special case in the Window widget. The event is never queued, it's passed directly to a handler procedure.

Queue_Mouse_Scroll

procedure Queue_Mouse_Scroll
( x, y, amount: Integer );

References:

events-input.ads:126:15 (declaration)
events-input.adb:322:15 (body)
events-input.adb:327:9 (label)
input_handlers.adb:201:17 (reference)

Called by:

Input_Handlers.Input_Task.Tick_Mouse defined at input_handlers.adb:184:19