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
To add a loop variant for any kind of
ITERATOR
(for loop variant fans only ;-).
Direct parents
Insert list:
ANY
Overview
top
Creation features
{
ANY
}
make
Features
{}
iterator
:
ITERATOR_WITH_VARIANT
[
INTEGER_32
]
make
traverse
iterator
:
ITERATOR_WITH_VARIANT
[
INTEGER_32
]
writable attribute
{}
top
make
effective procedure
{}
top
traverse
effective procedure
{}
top