+
Point of view
All features
deferred class SEARCHABLE [E_]
Summary
top
A SEARCHABLE sequence is INDEXABLE, and the index of each element may be retrieved.
Direct parents
Inherit list: INDEXABLE
Known children
Inherit list: ABSTRACT_STRING, COLLECTION, UNICODE_STRING
Overview
top
Features
Looking and Searching:
{ANY}
Indexing:
{ANY}
Accessing:
{ANY}
Agent-based features:
{ANY}
Printing:
{ANY}
Counting:
{ANY}
Agent-based features:
{ANY}
{}
has (x: ANY): BOOLEAN
deferred function
{ANY}
top
Look for x using is_equal for comparison.
fast_has (x: ANY): BOOLEAN
deferred function
{ANY}
top
Look for x using basic = for comparison.
first_index_of (element: ANY): INTEGER_32
deferred function
{ANY}
top
Give the index of the first occurrence of element using is_equal for comparison.
index_of (element: ANY, start_index: INTEGER_32): INTEGER_32
deferred function
{ANY}
top
Using is_equal for comparison, gives the index of the first occurrence of element at or after start_index.
reverse_index_of (element: ANY, start_index: INTEGER_32): INTEGER_32
deferred function
{ANY}
top
Using is_equal for comparison, gives the index of the first occurrence of element at or before start_index.
last_index_of (element: ANY): INTEGER_32
deferred function
{ANY}
top
Using is_equal for comparison, gives the index of the last occurrence of element at or before upper.
fast_first_index_of (element: ANY): INTEGER_32
deferred function
{ANY}
top
Give the index of the first occurrence of element using basic = for comparison.
fast_index_of (element: ANY, start_index: INTEGER_32): INTEGER_32
deferred function
{ANY}
top
Using basic = for comparison, gives the index of the first occurrence of element at or after start_index.
fast_reverse_index_of (element: ANY, start_index: INTEGER_32): INTEGER_32
deferred function
{ANY}
top
Using basic = comparison, gives the index of the first occurrence of element at or before start_index.
fast_last_index_of (element: ANY): INTEGER_32
deferred function
{ANY}
top
Using basic = for comparison, gives the index of the last occurrence of element at or before upper.
lower: INTEGER_32
deferred function
{ANY}
top
Minimum index.
upper: INTEGER_32
deferred function
{ANY}
top
Maximum index.
valid_index (i: INTEGER_32): BOOLEAN
effective function
{ANY}
top
True when i is valid (i.e., inside actual bounds).
item (i: INTEGER_32): E_
deferred function
{ANY}
top
Item at the corresponding index i.
first: E_
deferred function
{ANY}
top
The very first item.
last: E_
deferred function
{ANY}
top
The last item.
for_each (action: PROCEDURE[TUPLE[TUPLE 1[E_]]])
effective procedure
{ANY}
top
Apply action to every item of Current.
for_all (test: FUNCTION[TUPLE[TUPLE 1[E_]]]): BOOLEAN
effective function
{ANY}
top
Do all items satisfy test?
exists (test: FUNCTION[TUPLE[TUPLE 1[E_]]]): BOOLEAN
effective function
{ANY}
top
Does at least one item satisfy test?
aggregate (action: FUNCTION[TUPLE[TUPLE 2[E_, E_], E_]], initial: E_): E_
effective function
{ANY}
top
Aggregate all the elements starting from the initial value.
out_in_tagged_out_memory
effective procedure
{ANY}
top
Append terse printable representation of current object in tagged_out_memory.
count: INTEGER_32
deferred function
{ANY}
top
Number of available items in the hoard.
is_empty: BOOLEAN
deferred function
{ANY}
top
Is the hoard empty ?
See also count.
do_all (action: ROUTINE[TUPLE[TUPLE 1[E_]]])
frozen
effective procedure
{ANY}
top
Apply action to every item of Current.
_inline_agent1 (a: ROUTINE[TUPLE[TUPLE 1[E_]]], e: E_)
frozen
effective procedure
{}
top