Automatic generation produced by ISE Eiffel
class PREFERENCE_FACTORY [G, H -> TYPED_PREFERENCE [G] create make, make_from_string_value end] General cluster: preference description: "Helper factory to create new TYPED_PREFERENCE's. This class is used by PREFERENCE_MANAGER to create new preferences and values. Use PREFERENCE_MANAGER to manipulate PREFERENCE objects in your code." Ancestors PREFERENCE_EXPORTER Queries new_preference (preferences: PREFERENCES; a_manager: PREFERENCE_MANAGER; a_name: STRING_8; a_fallback_value: G): H -- Generated by Eiffel Studio --
For more details: eiffel.org