5.6 Resources
argument_value datatype has the following declaration:
datatype argument_value =
INT of int |
STRING of string |
BOOL of bool |
COMPOUND_STRING of compound_string |
EDIT_MODE_VALUE of edit_mode |
SELECTION_POLICY_VALUE of selection_policy |
WINDOW of drawable |
PIXMAP of drawable |
LABEL_TYPE_VALUE of label_type |
FONT_VALUE of font |
FONT_LIST_VALUE of font_list |
PIXEL of pixel |
ROW_COLUMN_TYPE_VALUE of row_column_type |
WIDGET of widget |
ORIENTATION_VALUE of orientation |
PACKING_VALUE of packing_type |
DIALOG_TYPE_VALUE of dialog_type |
SCROLLING_POLICY_VALUE of scrolling_policy |
SCROLLBAR_DISPLAY_POLICY_VALUE of scrollbar_display_policy |
ATTACHMENT of attachment |
DELETE_RESPONSE_VALUE of delete_response
The arguments of these constructors are either built-in ML types, abstract types defined in Section 5.4, or enumerated types of the values that can be legally associated with that resource (see the XM signature declaration for details).
When an argument list is passed to a function, the Xm structure checks that the (argument name * argument value) pairs are legal combinations. It does not check whether the argument_name is legal for the particular function.
Here is an example:
val applicationShell =
Xm.initialize
(name, title,
[(Xm.TITLE, Xm.STRING title),
(Xm.ICON_NAME, Xm.STRING title)])
Generated with Harlequin WebMaker