Automatic generation produced by ISE Eiffel
class BASIC_PREFERENCE_FACTORY General cluster: interface description: "This is a helper class used to initialize preferences. To initialize a preference use the `new_*_preference_value' functions. In doing so the following rules apply: 1. The preference name must be unique to the manager. Note: it is possible to have a preference with the same name in a different manager. For example you may have two preferences name `editor.width' and `application.width' in the same system, but not `editor.width' and `editor.width'. 2. If the preference is found in the underlying data store (registry or XML) from a previous session this saved value shall be used when the preference is initialized. If there is no value in the underlying data store the value specified in a default file will be used. If there is no default file or the preference does appear in the specified default file the value passed to the `new_*_preference_value' will be used. To add custom preferences inherit this class and implement a creation of custom preferences." Ancestors ANY Queries new_array_preference_value (a_manager: PREFERENCE_MANAGER; a_name: STRING_8; a_fallback_value: ARRAY [STRING_8]): ARRAY_PREFERENCE new_boolean_preference_value (a_manager: PREFERENCE_MANAGER; a_name: STRING_8; a_fallback_value: BOOLEAN): BOOLEAN_PREFERENCE new_integer_preference_value (a_manager: PREFERENCE_MANAGER; a_name: STRING_8; a_fallback_value: INTEGER_32): INTEGER_PREFERENCE new_string_preference_value (a_manager: PREFERENCE_MANAGER; a_name, a_fallback_value: STRING_8): STRING_PREFERENCE -- Generated by Eiffel Studio --
For more details: docs.eiffel.com