indexing
	description: "Facility to check the validity of hosts"
	status: "See notice at end of class"
	date: "$Date$"
	revision: "$Revision$"

class interface
	HOST_VALIDITY_CHECKER

feature -- Status report

	host_ok (h: STRING): BOOLEAN
			-- Is h a valid host?
	
invariant

		-- from ANY
	reflexive_equality: standard_is_equal (Current)
	reflexive_conformance: conforms_to (Current)

end -- class HOST_VALIDITY_CHECKER