Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
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
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

-- Generated by Eiffel Studio --
For more details: eiffel.org