Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
deferred class ABSTRACT_ARRAY_PREFERENCE [G -> READABLE_STRING_GENERAL] General cluster: preference Ancestors ABSTRACT_CHOICE_PREFERENCE* [G] TYPED_PREFERENCE* [G] Action sequences change_actions: ACTION_SEQUENCE typed_change_actions: ACTION_SEQUENCE [ARRAY [G]] Queries auto_preference: [detachable like Current] detachable ABSTRACT_ARRAY_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_choice: 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 unescaped_string (s: STRING_32): STRING_32 valid_value_string (a_string: READABLE_STRING_GENERAL): BOOLEAN validation_agent: detachable FUNCTION [READABLE_STRING_GENERAL, BOOLEAN] value: ARRAY [G] value_as_list_of_text: LIST [STRING_32] Commands reset select_value_from_string (s: READABLE_STRING_32) set_auto_preference (a_pref: [like Current] ABSTRACT_ARRAY_PREFERENCE [G]) set_default_value (a_value: READABLE_STRING_GENERAL) set_description (new_description: READABLE_STRING_GENERAL) set_hidden (a_flag: BOOLEAN) set_is_choice (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 (a_value: ARRAY [G]) set_value_from_string (a_value: READABLE_STRING_GENERAL) set_value_to_auto
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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