+
Point of view
All features
class EXAMPLE5
Summary
There is also a for_all routine in COLLECTION (i.e. ARRAY, FAST_ARRAY, LINKED_LIST, TWO_WAY_LINKED_LIST). You can watch the result using sedb, the Liberty Eiffel DeBugger.
Direct parents
Insert list: ANY
Overview
Creation features
{ANY}
Features
{ANY}
{}
make
effective procedure
{ANY}
greater_than (item: INTEGER_32, value: INTEGER_32): BOOLEAN
effective function
{}