Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class I18N_FILE_MANAGER General cluster: datasource description: "Implementation of DATASOURCE_MANAGER that uses message catalog files as a data source." create: make Ancestors I18N_DATASOURCE_MANAGER* Queries available_languages: LINEAR [I18N_LANGUAGE_ID] available_locales: LINEAR [I18N_LOCALE_ID] dictionary (a_locale: I18N_LOCALE_ID): I18N_DICTIONARY has_language (a_language_id: I18N_LANGUAGE_ID): BOOLEAN has_locale (a_locale_id: I18N_LOCALE_ID): BOOLEAN Constraints directory exists locale file list exists locale list exists language file list exists language list exists
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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