Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class STRING_CHOICE_PREFERENCE General cluster: preference description: "Preference for a choice among STRING_32 values." create: make, make_from_string_value Ancestors CHOICE_PREFERENCE* [G] STRING_LIST_PREFERENCE Action sequences change_actions: ACTION_SEQUENCE typed_change_actions: ACTION_SEQUENCE [LIST [STRING_32]] Queries auto_preference: [detachable like Current] detachable STRING_CHOICE_PREFERENCE 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 STRING_32 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: LIST [STRING_32] value_as_array: ARRAY [STRING_32] value_as_list_of_text: LIST [STRING_32] value_count: INTEGER_32 Commands reset select_value_from_string (s: READABLE_STRING_32) set_auto_preference (a_pref: [like Current] STRING_CHOICE_PREFERENCE) 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 (a_value: LIST [STRING_32]) 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