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