Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class DATABASE_FORMAT [G -> DATABASE create default_create end] General cluster: dbms-support description: "Implementation of DB_FORMAT" Ancestors HANDLE_SPEC [G -> DATABASE create default_create end] Queries boolean_format (object: BOOLEAN): STRING_8 date_format (object: DATE_TIME): STRING_8 db_spec: DATABASE 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