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