Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
deferred class EIFFEL_RUNTIME_EXCEPTION Ancestors EIF_EXCEPTION* Descendants DATA_EXCEPTION* EXTERNAL_FAILURE NO_MORE_MEMORY
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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