Automatic generation produced by ISE Eiffel
class DV_TYPED_SEARCHER Ancestors DV_SEARCHER* Clients DV_CHOICE_CREATOR DV_TABLEROW_ID_PROVIDER DV_TABLE_COMPONENT DV_TYPED_SEARCHER Suppliers ABSTRACT_DB_TABLE_MANAGER* ANY ARRAYED_LIST [G] BOOLEAN DB_TABLE* DB_TABLES_ACCESS* DB_TABLE_DESCRIPTION* DV_TABLE_COMPONENT DV_TYPED_SEARCHER INTEGER_32 PROCEDURE [OPEN_ARGS -> detachable TUPLE create default_create end] -- Generated by Eiffel Studio --
For more details: eiffel.org