-- S P E C --
-- --
------------------------------------------------------------------------------
--- Copyright (c) 1998-2004,2006 Free Software Foundation, Inc. --
+-- Copyright (c) 1998-2006,2009 Free Software Foundation, Inc. --
-- --
-- Permission is hereby granted, free of charge, to any person obtaining a --
-- copy of this software and associated documentation files (the --
------------------------------------------------------------------------------
-- Author: Juergen Pfeifer, 1996
-- Version Control:
--- $Revision: 1.27 $
--- $Date: 2006/06/25 14:30:22 $
+-- $Revision: 1.28 $
+-- $Date: 2009/12/26 17:38:58 $
-- Binding Version 01.00
------------------------------------------------------------------------------
include(`Mouse_Base_Defs')
-- Return true if a mouse device is supported, false otherwise.
procedure Register_Reportable_Event
- (Button : in Mouse_Button;
- State : in Button_State;
+ (Button : Mouse_Button;
+ State : Button_State;
Mask : in out Event_Mask);
-- Stores the event described by the button and the state in the mask.
-- Before you call this the first time, you should init the mask
pragma Inline (Register_Reportable_Event);
procedure Register_Reportable_Events
- (Button : in Mouse_Button;
- State : in Button_States;
+ (Button : Mouse_Button;
+ State : Button_States;
Mask : in out Event_Mask);
-- Register all events described by the Button and the State bitmap.
-- Before you call this the first time, you should init the mask
-- AKA
pragma Inline (Start_Mouse);
- procedure End_Mouse (Mask : in Event_Mask := No_Events);
+ procedure End_Mouse (Mask : Event_Mask := No_Events);
-- Terminates the mouse, restores the specified event mask
pragma Inline (End_Mouse);
-- AKA
pragma Inline (Get_Mouse);
- procedure Get_Event (Event : in Mouse_Event;
+ procedure Get_Event (Event : Mouse_Event;
Y : out Line_Position;
X : out Column_Position;
Button : out Mouse_Button;
pragma Inline (Get_Event);
-- ANCHOR(`ungetmouse()',`Unget_Mouse')
- procedure Unget_Mouse (Event : in Mouse_Event);
+ procedure Unget_Mouse (Event : Mouse_Event);
-- AKA
pragma Inline (Unget_Mouse);