Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class DATA_RESOURCE_FACTORY_IMPL General cluster: transfer description: "Implementation of data resource factory" create: make Ancestors ANY Queries address: detachable STRING_8 default_service: STRING_8 is_address_correct: BOOLEAN is_address_set: BOOLEAN is_service_supported: BOOLEAN resource: detachable DATA_RESOURCE service: detachable STRING_8 url: detachable URL Commands create_resource set_address (addr: STRING_8) set_default_service (service_name: STRING_8) Constraints default service specified
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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