Automatic generation produced by ISE Eiffel
class DB_DYN_CHANGE Ancestors DB_CHANGE PARAMETER_HDL* Clients DB_DYN_CHANGE Suppliers ARRAYED_LIST [G] BOOLEAN DATABASE_DYN_CHANGE [G -> DATABASE create default_create end] DB [reference G -> DATABASE create default_create end] DB_DYN_CHANGE DB_STRING_HASH_TABLE [G] HANDLE INTEGER_32 STRING_32 STRING_8 -- Generated by Eiffel Studio --
For more details: eiffel.org