Automatic generation produced by ISE Eiffel
class DV_INTERACTIVE_SEARCHER Ancestors DV_SEARCHER* Clients DV_INTERACTIVE_SEARCHER Suppliers ABSTRACT_DB_TABLE_MANAGER* ARRAYED_LIST [G] BOOLEAN DV_INTERACTIVE_SEARCHER DV_SENSITIVE_CHECK* DV_SENSITIVE_CONTROL* DV_SENSITIVE_INTEGER* DV_SENSITIVE_STRING* DV_TABLE_COMPONENT PROCEDURE [OPEN_ARGS -> detachable TUPLE create default_create end] STRING_32 -- Generated by Eiffel Studio --
For more details: eiffel.org