+
Point of view
All features
class COUNTER
Summary
Overview
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
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.