Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class EV_PND_FINISHED_ACTION_SEQUENCE Ancestors EV_ACTION_SEQUENCE* [EVENT_DATA -> TUPLE create default_create end] Clients EV_PICK_AND_DROPABLE_ACTION_SEQUENCES_I* EV_PICK_AND_DROPABLE_IMP* EV_PND_FINISHED_ACTION_SEQUENCE Suppliers EV_PND_FINISHED_ACTION_SEQUENCE 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