Automatic generation produced by ISE Eiffel
deferred class ABSTRACT_CHOICE_PREFERENCE [G] General cluster: preference Ancestors PREFERENCE* Action sequences change_actions: ACTION_SEQUENCE Queries auto_preference: [detachable like Current] detachable ABSTRACT_CHOICE_PREFERENCE [G] default_value: detachable STRING_32 description: detachable STRING_32 escaped_string (s: STRING_32): STRING_32 generating_preference_type: STRING_8 has_default_value: BOOLEAN has_validation_agent: BOOLEAN has_value: BOOLEAN is_auto: BOOLEAN is_default_value: BOOLEAN is_hidden: BOOLEAN is_string_value_validated (a_string: READABLE_STRING_GENERAL): BOOLEAN is_valid_string_for_selection (s: READABLE_STRING_32): BOOLEAN manager: PREFERENCE_MANAGER name: STRING_8 restart_required: BOOLEAN selected_index: INTEGER_32 selected_value: detachable G selected_value_as_text: detachable STRING_32 string_type: STRING_8 valid_value_string (a_string: READABLE_STRING_GENERAL): BOOLEAN validation_agent: detachable FUNCTION [READABLE_STRING_GENERAL, BOOLEAN] value_as_list_of_text: LIST [STRING_32] Commands reset select_value_from_string (s: READABLE_STRING_32) set_default_value (a_value: READABLE_STRING_GENERAL) set_description (new_description: READABLE_STRING_GENERAL) set_hidden (a_flag: BOOLEAN) set_name (new_name: STRING_8) set_restart_required (is_required: BOOLEAN) set_selected_index (a_index: INTEGER_32) set_validation_agent (agt: [like validation_agent] detachable FUNCTION [READABLE_STRING_GENERAL, BOOLEAN]) set_value_from_string (a_value: READABLE_STRING_GENERAL) -- Generated by Eiffel Studio --
For more details: eiffel.org