+
Point of view
ANY
class COUNTER
Summary
Overview
exported features
value: INTEGER_32
writable attribute
The value of the counter.
increment
effective procedure
Increment the value of Current counter.
decrement
effective procedure
Decrement the value of Current counter.
reset
effective procedure
Reset the value of Current counter.
append_in (buffer: STRING)
effective procedure
Append the value of the Current counter in the buffer.