Automatic generation produced by ISE Eiffel

ClassesClustersCluster hierarchyChartRelationsTextFlatContractsFlat contracts
deferred class USER_MANAGER Ancestors ANY Descendants USER_MANAGER_FILE_IMPL Clients INFORMATICS_HANDLER* USER_HANDLER USER_MANAGER* Suppliers BOOLEAN HASH_TABLE [G, H -> HASHABLE] INTEGER_32 STRING_8 USER USER_MANAGER*
ClassesClustersCluster hierarchyChartRelationsTextFlatContractsFlat contracts

-- Generated by ISE Eiffel --

For more details: www.eiffel.com