Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
deferred class NETWORK_RESOURCE_URL Ancestors HOST_VALIDITY_CHECKER URL* Descendants FTP_URL HTTP_URL Clients HTTP_PROTOCOL NETWORK_RESOURCE* NETWORK_RESOURCE_URL* Suppliers BOOLEAN CHARACTER_SET INTEGER_32 NETWORK_RESOURCE_URL* STRING_8
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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