indexing
	description: "Structure sorters"
	library: "Gobo Eiffel Structure Library"
	author: "Eric Bezault <ericb@gobo.demon.co.uk>"
	copyright: "Copyright (c) 1997, Eric Bezault"

deferred class interface
	DS_SORTER [G]

feature -- Status report

	sorted (container: DS_SORTABLE [G]): BOOLEAN
			-- Is container sorted?
		require
			container_not_void: container /= void
	
feature -- Sort

	sort (container: DS_SORTABLE [G])
			-- Sort container.
		require
			container_not_void: container /= void
		ensure
			sorted: sorted (container)
	
invariant

		-- from GENERAL
	reflexive_equality: standard_is_equal (Current);
	reflexive_conformance: conforms_to (Current);

end -- class DS_SORTER