Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class DV_TABLEROW_ID_PROVIDER Ancestors DB_TABLES_ACCESS_USE* DV_TABLEROWS_COMPONENT* Clients DV_CHOICE_CREATOR DV_TABLEROW_ID_PROVIDER Suppliers ARRAYED_LIST [G] BOOLEAN DB_TABLE* DB_TABLES_ACCESS* DB_TABLE_DESCRIPTION* DV_CHOICE_CREATOR DV_SENSITIVE_CONTROL* DV_TABLEROWS_NAVIGATOR* DV_TABLEROW_ID_PROVIDER DV_TYPED_SEARCHER PROCEDURE [OPEN_ARGS -> detachable TUPLE create default_create end]
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

-- Generated by Eiffel Studio --
For more details: eiffel.org