home
wiki
classes/clusters list
class information
+
Point of view
ANY
ANY
INTERNALS_HANDLER
All features
class COUNTER
Summary
top
Simple counter object (useful as a once function).
Direct parents
insert list:
ANY
Overview
top
exported features
value
:
INTEGER_32
The
value
of the counter.
increment
Increment the
value
of
Current
counter.
decrement
Decrement the
value
of
Current
counter.
reset
Reset the
value
of
Current
counter.
append_in
(buffer:
STRING
)
Append the
value
of the
Current
counter in the
buffer
.
value
:
INTEGER_32
writable attribute
top
The
value
of the counter.
increment
effective procedure
top
Increment the
value
of
Current
counter.
ensure
value
= 1 + old
value
decrement
effective procedure
top
Decrement the
value
of
Current
counter.
ensure
value
+ 1 = old
value
reset
effective procedure
top
Reset the
value
of
Current
counter.
ensure
value
= 0
append_in
(buffer:
STRING
)
effective procedure
top
Append the
value
of the
Current
counter in the
buffer
.