Automatic generation produced by ISE Eiffel
class FONT_PREFERENCE General cluster: preference description: "Font preference." create: make, make_from_string_value Ancestors EV_FONT_CONSTANTS TYPED_PREFERENCE* [G] Action sequences change_actions: ACTION_SEQUENCE typed_change_actions: ACTION_SEQUENCE [EV_FONT] Queries auto_preference: [detachable like Current] detachable FONT_PREFERENCE default_value: detachable STRING_32 description: detachable STRING_32 Family_modern: INTEGER_32 Family_roman: INTEGER_32 Family_sans: INTEGER_32 Family_screen: INTEGER_32 Family_typewriter: INTEGER_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 Shape_italic: INTEGER_32 Shape_regular: INTEGER_32 String_type: STRING_8 valid_family (a_family: INTEGER_32): BOOLEAN valid_shape (a_shape: INTEGER_32): BOOLEAN valid_value_string (a_string: READABLE_STRING_GENERAL): BOOLEAN valid_weight (a_weight: INTEGER_32): BOOLEAN validation_agent: detachable FUNCTION [READABLE_STRING_GENERAL, BOOLEAN] value: EV_FONT Weight_black: INTEGER_32 Weight_bold: INTEGER_32 Weight_regular: INTEGER_32 Weight_thin: INTEGER_32 Commands reset select_value_from_string (s: READABLE_STRING_32) set_as_default_value (a_value: EV_FONT) set_auto_preference (a_pref: [like Current] FONT_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_validation_agent (agt: [like validation_agent] detachable FUNCTION [READABLE_STRING_GENERAL, BOOLEAN]) set_value (a_value: EV_FONT) set_value_from_string (a_value: READABLE_STRING_GENERAL) set_value_to_auto -- Generated by Eiffel Studio --
For more details: eiffel.org