GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
tutorial
>
EXAMPLE3
+
Point of view
All features
ANY
All features
class EXAMPLE3
Summary
top
In the
DICTIONARY
class, the
for_each
feature has an agent argument which is a procedure with two arguments, one for the value (type
V
) and one for the key (type
K
).
Direct parents
Insert list:
ANY
Overview
top
Creation features
{
ANY
}
make
Features
{
ANY
}
make
{}
my_dictionary
:
HASHED_DICTIONARY
[
INTEGER_32
,
STRING
]
fill_it
(value:
STRING
)
next_key
:
INTEGER_32
counter
:
COUNTER
print_key_value
(key:
INTEGER_32
, value:
STRING
)
make
effective procedure
{
ANY
}
top
my_dictionary
:
HASHED_DICTIONARY
[
INTEGER_32
,
STRING
]
writable attribute
{}
top
fill_it
(value:
STRING
)
effective procedure
{}
top
next_key
:
INTEGER_32
effective function
{}
top
counter
:
COUNTER
once function
{}
top
print_key_value
(key:
INTEGER_32
, value:
STRING
)
effective procedure
{}
top