Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
deferred class OBJECT_GRAPH_TRAVERSABLE Ancestors ANY Descendants OBJECT_GRAPH_BREADTH_FIRST_TRAVERSABLE OBJECT_GRAPH_DEPTH_FIRST_TRAVERSABLE Clients OBJECT_GRAPH_TRAVERSABLE* SED_SESSION_SERIALIZER Suppliers ARRAYED_LIST [G] BOOLEAN DEVELOPER_EXCEPTION DISPENSER* [G] HASH_TABLE [G, K -> detachable HASHABLE] INTEGER_32 OBJECT_GRAPH_MARKER OBJECT_GRAPH_TRAVERSABLE* PROCEDURE [OPEN_ARGS -> detachable TUPLE create default_create end] REFLECTED_OBJECT* REFLECTED_REFERENCE_OBJECT REFLECTOR_CONSTANTS SPECIAL [T] TUPLE
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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