GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
smarteiffel
>
RUNNER_FRAME_WATERMARK
+
Point of view
All features
ANY
RUNNER_FRAME
All features
expanded class RUNNER_FRAME_WATERMARK
Summary
top
The Memo design pattern.
Direct parents
Insert list:
ANY
Overview
top
Features
some utils
{
RUNNER_FRAME
}
item
:
INTEGER_32
set
(a_item:
INTEGER_32
)
item
:
INTEGER_32
writable attribute
{
RUNNER_FRAME
}
top
set
(a_item:
INTEGER_32
)
effective procedure
{
RUNNER_FRAME
}
top
ensure
item
= a_item