Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class DB_FORMAT General cluster: support description: "Different formats of the database" create: make Ancestors HANDLE_USE Queries boolean_format (object: BOOLEAN): STRING_8 date_format (object: DATE_TIME): STRING_8 is_database_set: BOOLEAN Manager: DATABASE_SESSION_MANAGER string_format_32 (object: READABLE_STRING_GENERAL): STRING_32
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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