Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
deferred class EV_APPLICATION_ACTION_SEQUENCES_I Ancestors ANY Descendants EV_APPLICATION_I* Clients EV_APPLICATION_ACTION_SEQUENCES* EV_APPLICATION_ACTION_SEQUENCES_I* Suppliers EV_APPLICATION_ACTION_SEQUENCES_I* EV_LITE_ACTION_SEQUENCE [EVENT_DATA -> detachable TUPLE create default_create end] EV_NOTIFY_ACTION_SEQUENCE EV_PND_ACTION_SEQUENCE EV_PND_MOTION_ACTION_SEQUENCE
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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