Package RASCAL.Wimp

DescriptionWimp related types and methods.
Authorbbracke
Date2005/11/21 20:14:33
Revision1.1
 

Clauses

Quick access : ClausesGenericsDefinitionsSubprograms


 
Context clauses
system.Unsigned_Types
Kernel
Interfaces.C
RASCAL.WimpWindow
RASCAL.Utility
RASCAL.OS
 
Use clauses
Kernel
Interfaces.C
RASCAL.WimpWindow
RASCAL.Utility
RASCAL.OS
 

Basic Objects

Quick access : ClausesGenericsDefinitionsSubprograms


Basic Objects
Name Type Default
wimpblocksize63constant
wimpmessagesize255constant
nullmemadrint
validation_r4_strString"R4" &Character'Val (0)
validation_r4Integer
validation_r53_strString"R5,3" &Character'Val (0)
validation_r53Integer
texticonbufferadrInteger
taskid16#4B534154#constant
nullmemnullmemtyp
blkwimpblocktyp
blkadrint
wimpmessagewimpmessagetyp
wimpmessageadrint
registerKernel.swi_regs
currentosversionInteger
fertigBooleanfalse
wimp_appnameUstring
 

Definitions

Quick access : ClausesGenericsDefinitionsSubprograms


Types
Name Declaration
Reason_NullReason_Pointeraccess Reason_NullReason
Reason_OpenWindow_Pointeraccess Reason_OpenWindow
Reason_CloseWindow_Pointeraccess Reason_CloseWindow
Reason_PointerLeavingWindow_Pointeraccess Reason_PointerLeavingWindow
Reason_PointerEnteringWindow_Pointeraccess Reason_PointerEnteringWindow
Reason_MouseClick_Pointeraccess Reason_MouseClick
Reason_UserDrag_Pointeraccess Reason_UserDrag
Reason_KeyPressed_Pointeraccess Reason_KeyPressed
Reason_ScrollRequest_Pointeraccess Reason_ScrollRequest
Mouse_Button_Type(none, right, middle, right_middle, left, right_left, middle_left)
taskhandletypnew Integer
fontarraytypnew Integer
pollmasknew Integer
reasoncodetypnew Integer
wimpblocktyparray (0..wimpblocksize) of Integer
wimpmessagetyparray (0..wimpmessagesize) of Character
nullmemtyparray (0..1) of Integer
   
Reason_NullReason null record
Nothing has happened, its just your turn.
   
AWEL_Reason_NullReason abstract tagged record
inheritance from Wimp_EventListener (Reason_Event_NullReason, -1, -1)
Component Type Default
EventReason_NullReason_Pointer
   
Reason_OpenWindow record
The window size or scrollbars have been altered. You should call
Wimp_OpenWindow.
Component Type Default
OpenWindowWimp_WindowState_Type
   
AWEL_Reason_OpenWindow abstract tagged record
inheritance from Wimp_EventListener (Reason_Event_OpenWindow, -1, -1)
Component Type Default
EventReason_OpenWindow_Pointer
   
Reason_CloseWindow record
The user has clicked on the close icon of the window.
Call Wimp_CloseWindow to close the window.
Component Type Default
WindowWimp_Handle_Type
   
AWEL_Reason_CloseWindow abstract tagged record
inheritance from Wimp_EventListener (Reason_Event_CloseWindow, -1, -1)
Component Type Default
EventReason_CloseWindow_Pointer
   
Reason_PointerLeavingWindow record
The pointer is no longer over this window, either because it has been moved
outside or because something has been opened in front of the window.
Component Type Default
WindowWimp_Handle_Type
   
AWEL_Reason_PointerLeavingWindow abstract tagged record
inheritance from Wimp_EventListener (Reason_Event_PointerLeavingWindow, -1, -1)
Component Type Default
EventReason_PointerLeavingWindow_Pointer
   
Reason_PointerEnteringWindow record
The pointer is now over the window either because it has been moved there or
because it is no longer obstructed by other objects.
Component Type Default
WindowWimp_Handle_Type
   
AWEL_Reason_PointerEnteringWindow abstract tagged record
inheritance from Wimp_EventListener (Reason_Event_PointerEnteringWindow, -1, -1)
Component Type Default
EventReason_PointerEnteringWindow_Pointer
   
Reason_MouseClick record
The mouse has been clicked.
Component Type Default
Button_StateInteger
IconIcon_Handle_Type
WindowWimp_Handle_Type
ButtonsInteger
Mouse_YInteger
Mouse_XInteger
   
AWEL_Reason_MouseClick abstract tagged record
inheritance from Wimp_EventListener (Reason_Event_MouseClick, -1, -1)
Component Type Default
EventReason_MouseClick_Pointer
   
Reason_UserDrag record
All buttons have been released to finish a user drag operation.
The coordinates are the final position of the dragbox.
Call Wimp_GetPointerInfo to find out where the user dropped the box.
Component Type Default
Max_YSystem.Unsigned_Types.Unsigned
Max_XSystem.Unsigned_Types.Unsigned
Min_YSystem.Unsigned_Types.Unsigned
Min_XSystem.Unsigned_Types.Unsigned
   
AWEL_Reason_UserDrag abstract tagged record
inheritance from Wimp_EventListener (Reason_Event_UserDrag, -1, -1)
Component Type Default
EventReason_UserDrag_Pointer
   
Reason_KeyPressed record
The user has pressed a key.
If you are not interested in this keypress, then pass it on
with Wimp_ProcessKey.
Component Type Default
Character_CodeInteger
Index into string (if icon)
Caret_IndexInteger
Caret height and flags
Caret_HeightInteger
Window origin
Caret_Y_OffsetInteger
relative to
Caret_X_OffsetInteger
Icon_HandleIcon_Handle_Type
WindowWimp_Handle_Type
   
AWEL_Reason_KeyPressed abstract tagged record
inheritance from Wimp_EventListener (Reason_Event_KeyPressed, -1, -1)
Component Type Default
EventReason_KeyPressed_Pointer
   
Reason_ScrollRequest record
The user wants to scroll the window.
Use the scroll directions to update the scroll offsets,
and then call Wimp_OpenWindow.
Component Type Default
Scroll_Direction_YInteger
Scroll_Direction_XInteger
Open_BehindWimp_Handle_Type
Scroll_Offset_YSystem.Unsigned_Types.Unsigned
Scroll_Offset_XSystem.Unsigned_Types.Unsigned
Visible_Max_YSystem.Unsigned_Types.Unsigned
Visible_Max_XSystem.Unsigned_Types.Unsigned
Visible_Min_YSystem.Unsigned_Types.Unsigned
Visible_Min_XSystem.Unsigned_Types.Unsigned
WindowWimp_Handle_Type
   
AWEL_Reason_ScrollRequest abstract tagged record
inheritance from Wimp_EventListener (Reason_Event_ScrollRequest, -1, -1)
Component Type Default
EventReason_ScrollRequest_Pointer
  
Pragmas
Convention(C, Reason_NullReason)
Convention(C, Reason_OpenWindow)
Convention(C, Reason_CloseWindow)
Convention(C, Reason_PointerLeavingWindow)
Convention(C, Reason_PointerEnteringWindow)
Convention(C, Reason_MouseClick)
Convention(C, Reason_UserDrag)
Convention(C, Reason_KeyPressed)
Convention(C, Reason_ScrollRequest)