GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
libraries
>
COUNTER
+
Point of view
All features
ANY
All features
class COUNTER
Summary
top
Simple counter object (useful as a once function).
Direct parents
Insert list:
REFERENCE
Known children
Insert list:
MOCK_TIMES_COUNTER
Overview
top
Creation features
{
ANY
}
set_item
(i: E_) assign
item
Features
{
ANY
}
increment
Increment the
item
of
Current
counter.
next
Increment the
item
of
Current
counter.
decrement
Decrement the
item
of
Current
counter.
previous
Decrement the
item
of
Current
counter.
reset
Reset the
item
of
Current
counter.
start
Reset the
item
of
Current
counter.
append_in
(buffer:
STRING
)
Append the
item
of the
Current
counter in the
buffer
.
value
:
INTEGER_32
{
ANY
}
item
: E_
set_item
(i: E_) assign
item
clear
Reset
item
with the default value.
increment
effective procedure
{
ANY
}
top
Increment the
item
of
Current
counter.
ensure
item
= 1 + old
item
next
effective procedure
{
ANY
}
top
Increment the
item
of
Current
counter.
ensure
item
= 1 + old
item
decrement
effective procedure
{
ANY
}
top
Decrement the
item
of
Current
counter.
ensure
item
+ 1 = old
item
previous
effective procedure
{
ANY
}
top
Decrement the
item
of
Current
counter.
ensure
item
+ 1 = old
item
reset
effective procedure
{
ANY
}
top
Reset the
item
of
Current
counter.
ensure
item
= 0
start
effective procedure
{
ANY
}
top
Reset the
item
of
Current
counter.
ensure
item
= 0
append_in
(buffer:
STRING
)
effective procedure
{
ANY
}
top
Append the
item
of the
Current
counter in the
buffer
.
value
:
INTEGER_32
effective function
{
ANY
}
top
This feature is obsolete:
Use `item' instead.
item
: E_
writable attribute
{
ANY
}
top
set_item
(i: E_) assign
item
effective procedure
{
ANY
}
top
ensure
item
= i
clear
effective procedure
{
ANY
}
top
Reset
item
with the default value.