Package RASCAL.ToolboxGadget

DescriptionGeneric gadget methods and types.
Authorbbracke
Date2005/11/21 20:14:33
Revision1.1
 

Clauses

Quick access : ClausesGenericsDefinitionsSubprograms


 
Context clauses
RASCAL.Toolbox
RASCAL.OS
RASCAL.Utility
System.Unsigned_Types
System
 
Use clauses
RASCAL.Toolbox
RASCAL.OS
RASCAL.Utility
System.Unsigned_Types
System
 

Basic Objects

Quick access : ClausesGenericsDefinitionsSubprograms


Basic Objects
Name Type Default
ActionButton_Base128constant
AdjusterArrow_Base768constant
Button_Base960constant
DisplayField_Base448constant
Draggable_Base640constant
Label_Base320constant
LabelledBox_Base256constant
NumberRange_Base832constant
OptionButton_Base192constant
PopUp_Base704constant
RadioButton_Base384constant
ScrollList_Base16410constant
Slider_Base576constant
StringSet_Base896constant
TextArea_Base16408constant
WritableField_Base512constant
TreeView_Base16#140280#constant
 

Definitions

Quick access : ClausesGenericsDefinitionsSubprograms


Types
Name Declaration
Gadget_Base_Typenew Integer
Gadget_Type(ActionButton_Type, AdjusterArrow_Type, Button_Type, DisplayField_Type, Draggable_Type, Label_Type, LabelledBox_Type, NumberRange_Type, OptionButton_Type, PopUp_Type, RadioButton_Type, ScrollList_Type, ScrollBar_Type, Slider_Type, StringSet_Type, WritableField_Type, TextArea_Type, Tabs_Type, TreeView_Type)
Gadgets_Typearray (Natural) of Gadget
Gadgets_Pointeraccess Gadgets_Type
Icon_List_Typearray (Natural) of Icon_Handle_Type
Icon_List_Pointeraccess Icon_List_Type
   
ActionButton_Gadget record
Component Type Default
EventInteger
Click_ShowAddress
Max_Text_LengthInteger
TextAddress
   
OptionButton_Gadget record
Component Type Default
EventInteger
Max_Label_LengthInteger
LabelAddress
   
LabelledBox_Gadget record
Component Type Default
LabelAddress
   
Label_Gadget record
Component Type Default
LabelAddress
   
RadioButton_Gadget record
Component Type Default
EventInteger
Max_Label_LengthInteger
LabelAddress
Group_NumberInteger
   
DisplayField_Gadget record
Component Type Default
Max_Text_LengthInteger
TextAddress
   
WritableField_Gadget record
Component Type Default
AfterComponent_ID
BeforeComponent_ID
Allowable_LimitInteger
AllowableAddress
Text_LimitInteger
TextAddress
   
Slider_Gadget record
Component Type Default
Initial_ValueInteger
Step_SizeInteger
Upper_BoundInteger
Lower_BoundInteger
   
Draggable_Gadget record
Component Type Default
Max_Sprite_LengthInteger
SpriteAddress
Max_Text_LengthInteger
TextAddress
   
PopUp_Gadget record
Component Type Default
MenuAddress
   
Adjuster_Gadget record
Component Type Default
DummyInteger
   
NumberRange_Gadget record
Component Type Default
Display_LengthInteger
AfterComponent_ID
BeforeComponent_ID
PrecisionInteger
Initial_ValueInteger
Step_SizeInteger
Upper_BoundInteger
Lower_BoundInteger
   
StringSet_Gadget record
Component Type Default
AfterComponent_ID
BeforeComponent_ID
Allowable_LengthInteger
AllowableAddress
InitialValue_LengthInteger
InitialValueAddress
TitleAddress
StringSetAddress
   
Button_Gadget record
Component Type Default
Max_ValidationInteger
ValidationAddress
Max_ValueInteger
ValueAddress
Button_FlagsSystem.Unsigned_Types.Unsigned
   
TextArea_Gadget record
Component Type Default
BackgroundOS_Colour
ForegroundOS_Colour
TextAddress
EventInteger
Gadget_TypeInteger
   
Scrolllist_Gadget record
Component Type Default
BackgroundOS_Colour
ForegroundOS_Colour
EventInteger
   
ScrollBar_Gadget record
Component Type Default
Page_IncSystem.Unsigned_Types.Unsigned
Line_IncSystem.Unsigned_Types.Unsigned
VisibleSystem.Unsigned_Types.Unsigned
ValueSystem.Unsigned_Types.Unsigned
MaxSystem.Unsigned_Types.Unsigned
MinSystem.Unsigned_Types.Unsigned
EventInteger
Gadget_TypeInteger
   
Tabs_Gadget record
Component Type Default
TextAddress
BackGroundSystem.Unsigned_Types.Unsigned
ForeGroundSystem.Unsigned_Types.Unsigned
   
TreeView_Gadget record
Component Type Default
BackgroundSystem.Unsigned_Types.Unsigned
ForegroundSystem.Unsigned_Types.Unsigned
   
Gadget_Header_Type record
Component Type Default
HelpAddress
Max_Helpinteger
IdComponent_ID
BBoxToolbox_BBox_Type
Gadget_KindGadget_Base_Type
FlagsSystem.Unsigned_Types.Unsigned
   
Gadget_Data record
Discriminant Type Default
GadgetGadget_Type
Variant partGadget
Variant part => ActionButton_Type
Component Type Default
ActionButtonActionButton_Gadget
Variant part => AdjusterArrow_Type
Component Type Default
AdjusterArrowAdjuster_Gadget
Variant part => Button_Type
Component Type Default
ButtonButton_Gadget
Variant part => DisplayField_Type
Component Type Default
DisplayFieldDisplayField_Gadget
Variant part => Draggable_Type
Component Type Default
DraggableDraggable_Gadget
Variant part => Label_Type
Component Type Default
LabelLabel_Gadget
Variant part => LabelledBox_Type
Component Type Default
LabelledBoxLabelledBox_Gadget
Variant part => NumberRange_Type
Component Type Default
NumberRangeNumberRange_Gadget
Variant part => OptionButton_Type
Component Type Default
OptionButtonOptionButton_Gadget
Variant part => PopUp_Type
Component Type Default
PopUpPopUp_Gadget
Variant part => RadioButton_Type
Component Type Default
RadioButtonRadioButton_Gadget
Variant part => ScrollList_Type
Component Type Default
ScrollListScrollList_Gadget
Variant part => ScrollBar_Type
Component Type Default
ScrollBarScrollBar_Gadget
Variant part => Slider_Type
Component Type Default
SliderSlider_Gadget
Variant part => StringSet_Type
Component Type Default
StringSetStringSet_Gadget
Variant part => WritableField_Type
Component Type Default
WritableFieldWritableField_Gadget
Variant part => TextArea_Type
Component Type Default
TextAreaTextArea_Gadget
Variant part => TreeView_Type
Component Type Default
TreeViewTreeView_Gadget
Variant part => Tabs_Type
Component Type Default
TabsTabs_Gadget
   
Gadget record
Component Type Default
DataGadget_Data (Button_Type)
HeaderGadget_Header_Type
  
Exceptions
Gadget_Type_Incompatible_With_Set_Value
  
Pragmas
Convention(C, ActionButton_Gadget)
Convention(C, OptionButton_Gadget)
Convention(C, LabelledBox_Gadget)
Convention(C, Label_Gadget)
Convention(C, RadioButton_Gadget)
Convention(C, DisplayField_Gadget)
Convention(C, WritableField_Gadget)
Convention(C, Slider_Gadget)
Convention(C, Draggable_Gadget)
Convention(C, PopUp_Gadget)
Convention(C, Adjuster_Gadget)
Convention(C, NumberRange_Gadget)
Convention(C, StringSet_Gadget)
Convention(C, Button_Gadget)
Convention(C, TextArea_Gadget)
Convention(C, Scrolllist_Gadget)
Convention(C, ScrollBar_Gadget)
Convention(C, Tabs_Gadget)
Convention(C, TreeView_Gadget)
Convention(C, Gadget_Header_Type)
Convention(C, Gadget_Data)
pragma Unchecked_Union(Gadget_Data);
Convention(C, Gadget)
 

Subprograms

Quick access : ClausesGenericsDefinitionsSubprograms


  
Get_BufferSize function
ReturnInteger
Returns the size of the gadget's text buffer.
Parameter name Type Mode Default
ObjectObject_IDin
ComponentComponent_IDin
  
Get_Value function
ReturnString
Generic method to read the text value of a gadget.
(WritableField,DisplayField,ActionButton,OptionButton,RadioButton).
Parameter name Type Mode Default
ObjectObject_IDin
ComponentComponent_IDin
FlagsSystem.Unsigned_Types.Unsignedin0
  
Get_Value function
ReturnInteger
Generic method to read the integer value of a gadget.
(number range, slider).
Parameter name Type Mode Default
ObjectObject_IDin
ComponentComponent_IDin
FlagsSystem.Unsigned_Types.Unsignedin0
  
Set_Value procedure
Generic method to set the text value of a gadget.
(WritableField,DisplayField,ActionButton,OptionButton,RadioButton).
Parameter name Type Mode Default
WindowObject_IDin
ComponentComponent_IDin
ValueStringin
FlagsSystem.Unsigned_Types.Unsignedin0
  
Set_Value procedure
Generic method to set the integer value of a gadget.
(number range, slider).
Parameter name Type Mode Default
WindowObject_IDin
ComponentComponent_IDin
ValueIntegerin
FlagsSystem.Unsigned_Types.Unsignedin0
  
Set_TruncatedValue procedure
Generic method to set the text value of a gadget.
(WritableField,DisplayField,ActionButton,OptionButton,RadioButton).
The text is truncated to the size of the gadget and an ellipsis is added.
Parameter name Type Mode Default
WindowObject_IDin
ComponentComponent_IDin
New_ValueStringin
FlagsSystem.Unsigned_Types.Unsignedin0
  
Get_BBox function
ReturnToolbox_BBox_Type
Returns the bounding box of the gadget.
Parameter name Type Mode Default
WindowObject_IDin
ComponentComponent_IDin
FlagsSystem.Unsigned_Types.Unsignedin0
  
Set_Flags procedure
Sets the flags of the gadget.
Parameter name Type Mode Default
WindowObject_IDin
ComponentComponent_IDin
New_FlagsSystem.Unsigned_Types.Unsignedin
FlagsSystem.Unsigned_Types.Unsignedin0
  
Get_Flags function
Returninteger
Returns the flags of the specified gadget.
Parameter name Type Mode Default
WindowObject_IDin
ComponentComponent_IDin
FlagsSystem.Unsigned_Types.Unsignedin0
  
Get_Type function
ReturnGadget_Base_Type
Returns the type of the gadget.
Parameter name Type Mode Default
WindowObject_IDin
ComponentComponent_IDin
FlagsSystem.Unsigned_Types.Unsignedin0
  
Get_Help function
ReturnString
Returns the interactive help message of the gadget.
Parameter name Type Mode Default
WindowObject_IDin
ComponentComponent_IDin
FlagsSystem.Unsigned_Types.Unsignedin0
  
Set_Help procedure
Sets the interactive help message of the gadget.
Parameter name Type Mode Default
WindowObject_IDin
ComponentComponent_IDin
HelpStringin
FlagsSystem.Unsigned_Types.Unsignedin0
  
Get_IconList function
ReturnIcon_List_Type
Returns the list if Wimp icons making up the gadget.
Parameter name Type Mode Default
WindowObject_IDin
ComponentComponent_IDin
FlagsSystem.Unsigned_Types.Unsignedin0
  
Fade procedure
Fade gadget.
Parameter name Type Mode Default
WindowObject_IDin
ComponentComponent_IDin
FlagsSystem.Unsigned_Types.Unsignedin0
  
UnFade procedure
Unfade gadget.
Parameter name Type Mode Default
WindowObject_IDin
ComponentComponent_IDin
FlagsSystem.Unsigned_Types.Unsignedin0
  
Set_Focus procedure
Sets the gadget which will receive the inout focus when the window gets it.
Parameter name Type Mode Default
WindowObject_IDin
ComponentComponent_IDin
FlagsSystem.Unsigned_Types.Unsignedin0
  
Move procedure
Moves an already created gadget to another location.
Parameter name Type Mode Default
WindowObject_IDin
ComponentComponent_IDin
BBoxToolbox_BBox_Typein
FlagsSystem.Unsigned_Types.Unsignedin0