INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES

indexing

title: "Sorted lists: containers which store their one element", "entries in a total relation order (ascending) based on the", "operations of class COMPARABLE from the Eiffel Kernel"
project: "Visual Eiffel"
revision: "$Revision: 1.2 $"
copyright: "Copyright (C) 1996-2005 Object Tools Group"
license: "http://visual-eiffel.com/license"
cluster: containers
class SORTED_LIST_ [G -> COMPARABLE]
inherit

LIST_ [G]
redefine
find_first,
find_next,
guide,
make
end
creation

make
feature -- Operations

make (is_unique: BOOLEAN)
-- tells the container if its entries must be unigue
feature -- Queries

cursor_after (x: G): CURSOR_
-- delivers a new cursor positioned to the entry closest to and
-- greater than 'x' - the presence of entry 'x' is not essential
-- but if currently there are at all no such entries in the list
-- then Void is delivered
require
valid_argument: x /= void
ensure
well_done: Result /= void implies is_protected

cursor_before (x: G): CURSOR_
-- delivers a new cursor positioned to the entry closest to and
-- less than 'x' - the presence of entry 'x' is not essential
-- but if currently there are at all no such entries in the list
-- then Void is delivered
require
valid_argument: x /= void
ensure
well_done: Result /= void implies is_protected
end -- class SORTED_LIST_

INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES