| Class DS_SORTER |
indexing
description:
"Data structure sorters"
library: "Gobo Eiffel Structure Library"
author: "Eric Bezault <ericb@gobosoft.com>"
copyright: "Copyright (c) 1999, Eric Bezault and others"
license: "Eiffel Forum Freeware License v1 (see forum.txt)"
deferred class interface
DS_SORTER [G]
feature -- Status report
sorted (a_container: DS_SORTABLE [G]): BOOLEAN
-- Is a_container sorted?
require
a_container_not_void: a_container /= Void
deferred
feature -- Sort
sort (a_container: DS_SORTABLE [G])
-- Sort a_container.
require
a_container_not_void: a_container /= Void
deferred
ensure
sorted: sorted (a_container)
end -- class DS_SORTER
|
Copyright © 1999, Eric
Bezault mailto:ericb@gobosoft.com http://www.gobosoft.com Last Updated: 8 August 1999 |