Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Text Flat Contracts Flat contracts Go to:
class PROCEDURE [BASE_TYPE, OPEN_ARGS -> TUPLE] Ancestors ROUTINE [BASE_TYPE, OPEN_ARGS -> TUPLE] Clients ACTION_SEQUENCE [EVENT_DATA -> TUPLE create make end] DIRECTORY LINEAR [G] LINEAR_ITERATOR [G] PROCEDURE [BASE_TYPE, OPEN_ARGS -> TUPLE] Suppliers PROCEDURE [BASE_TYPE, OPEN_ARGS -> TUPLE]
Classes Clusters Cluster hierarchy Chart Relations Text Flat Contracts Flat contracts Go to:

-- Generated by ISE Eiffel --
For more details: www.eiffel.com