Automatic generation produced by ISE Eiffel
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 -- Generated by Eiffel Studio --
For more details: eiffel.org