Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
deferred class EV_ABSTRACT_PICK_AND_DROPABLE Ancestors IDENTIFIED Descendants EV_FIGURE* EV_MODEL* EV_PICK_AND_DROPABLE* Clients EV_ABSTRACT_PICK_AND_DROPABLE* EV_APPLICATION_I* EV_PICK_AND_DROPABLE_I* EV_PICK_AND_DROPABLE_IMP* Suppliers ARRAYED_LIST [G] BOOLEAN EV_ABSTRACT_PICK_AND_DROPABLE* EV_APPLICATION_I* EV_ENVIRONMENT EV_ENVIRONMENT_I* EV_PND_ACTION_SEQUENCE EV_STOCK_PIXMAPS FUNCTION [OPEN_ARGS -> detachable TUPLE create default_create end, RESULT_TYPE] HASH_TABLE [G, K -> detachable HASHABLE] READABLE_STRING_GENERAL*
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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