Automatic generation produced by ISE Eiffel




Classes
Clusters
Cluster hierarchy
Chart
Relations
Text
Flat
Contracts
Flat contracts
Go to: 

deferred class
	ROUTINE [BASE_TYPE, OPEN_ARGS -> TUPLE]

Ancestors
	HASHABLE
	MEMORY

Descendants
	FUNCTION [BASE_TYPE, OPEN_ARGS -> TUPLE, RESULT_TYPE]
	PROCEDURE [BASE_TYPE, OPEN_ARGS -> TUPLE]

Clients
	FUNCTION [BASE_TYPE, OPEN_ARGS -> TUPLE, RESULT_TYPE]
	ROUTINE [BASE_TYPE, OPEN_ARGS -> TUPLE]

Suppliers
	ARRAY [G]
	BOOLEAN
	INTEGER
	INTERNAL
	POINTER
	ROUTINE [BASE_TYPE, OPEN_ARGS -> TUPLE]
	STRING
	TUPLE





Classes
Clusters
Cluster hierarchy
Chart
Relations
Text
Flat
Contracts
Flat contracts
Go to:

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