Gobo Eiffel Structure Library
Copyright (c) 1999-2001, Eric Bezault and others
Eiffel Forum License v2 (see forum.txt)
$Date: 2003/02/07 12:58:08 $
$Revision: 1.6 $
-- Routines that ought to be in class ANY
-- (From KL_IMPORTED_ANY_ROUTINES)
-- Equality tester;
-- A void equality tester means that =
-- will be used as comparison criterion.
-- (From DS_SEARCHABLE)
-- Number of items in container
-- (From DS_CONTAINER)
-- Number of times v appears in container
-- (Use equality_tester's comparison criterion
-- if not void, use = criterion otherwise.)
-- (From DS_SEARCHABLE)
-- Can set_equality_tester be called with a_tester
-- as argument in current state of container?
-- (Default answer: True.)
-- (From DS_SEARCHABLE)
-- Does container include v?
-- (Use equality_tester's comparison criterion
-- if not void, use = criterion otherwise.)
-- (From DS_SEARCHABLE)
-- Is container empty?
-- (From DS_CONTAINER)
-- Does container use the same comparison
-- criterion as other?
-- (From DS_SEARCHABLE)
-- Are v and u considered equal?
-- (Use equality_tester's comparison criterion
-- if not void, use = criterion otherwise.)
-- (From DS_SEARCHABLE)
-- Is container sorted according to a_sorter's criterion?
-- (From DS_SORTABLE)
-- Add items of other at i-th position.
-- Keep items of other in the same order.
-- Add items of other to end of container.
-- Keep items of other in the same order.
-- (From DS_EXTENDIBLE)
-- Add v at i-th position.
-- Add v to beginning of container.
-- Clone of current object
-- (From KL_CLONABLE)
-- Sort container using a_sorter's algorithm.
-- (From DS_SORTABLE)
-- Set equality_tester to a_tester.
-- A void equality tester means that =
-- will be used as comparison criterion.
-- (From DS_SEARCHABLE)
Data structures that can be traversed and %
%modified through integer access