Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
deferred class EV_RIBBON_SPINNER General cluster: ribbon description: "The Spinner is a composite control that consists of an increment button, a decrement button, and an edit control, all of which are used to provide decimal values to the application." Ancestors EV_RIBBON_BUTTON* Action sequences select_actions: EV_NOTIFY_ACTION_SEQUENCE Queries command_list: ARRAY [NATURAL_32] decimal_value: REAL_64 execute (a_command_id: NATURAL_32; a_execution_verb: INTEGER_32; a_property_key, a_property_value, a_command_execution_properties: POINTER): NATURAL_32 is_enabled: BOOLEAN label_title: detachable STRING_32 ribbon: detachable EV_RIBBON tooltip_description: detachable STRING_32 tooltip_title: detachable STRING_32 update_property (a_command_id: NATURAL_32; a_property_key, a_property_current_value, a_property_new_value: POINTER): NATURAL_32 Commands set_decimal_value (a_value: REAL_64) set_enabled (a_bool: BOOLEAN) set_large_image (a_image: EV_PIXEL_BUFFER) set_small_image (a_image: EV_PIXEL_BUFFER) set_text (a_text: STRING_32) set_tooltip_description (a_text: STRING_32) set_tooltip_title (a_text: STRING_32)
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

-- Generated by Eiffel Studio --
For more details: eiffel.org