Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
deferred class PREFERENCE General cluster: preference description: "Resource type abstraction." Ancestors ANY Action sequences change_actions: ACTION_SEQUENCE [TUPLE] Queries auto_preference: [detachable like Current] detachable PREFERENCE default_value: detachable STRING_8 description: detachable STRING_8 generating_preference_type: STRING_8 has_default_value: BOOLEAN has_value: BOOLEAN is_auto: BOOLEAN is_default_value: BOOLEAN is_hidden: BOOLEAN manager: PREFERENCE_MANAGER name: STRING_8 restart_required: BOOLEAN string_type: STRING_8 string_value: STRING_8 valid_value_string (a_string: STRING_8): BOOLEAN Commands reset set_default_value (a_value: STRING_8) set_description (new_description: STRING_8) set_hidden (a_flag: BOOLEAN) set_name (new_name: STRING_8) set_restart_required (is_required: BOOLEAN) set_value_from_string (a_value: STRING_8) Constraints has manager name not void has change actions
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

-- Generated by Eiffel Studio --
For more details: docs.eiffel.com