Automatic generation produced by ISE Eiffel

Classes
Clusters
Cluster hierarchy
Chart
Relations
Flat contracts
Go to: 
class
	HOST_VALIDITY_CHECKER

General
	cluster: transfer
	description: "Facility to check the validity of hosts"

Ancestors
	ANY

Queries
	host_ok (h: STRING_8): BOOLEAN



Classes
Clusters
Cluster hierarchy
Chart
Relations
Flat contracts
Go to: 

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