class COUNTER

All features

Simple counter object (useful as a once function).

Direct parents

non-conformant parents

ANY

Summary

exported features

Details

value: INTEGER

The value of the counter.

increment

Increment the value of Current counter.

ensure

  • value = 1 + old value

decrement

Decrement the value of Current counter.

ensure

  • value + 1 = old value

reset

Reset the value of Current counter.

ensure

  • value = 0

append_in (buffer: STRING)

Append the value of the Current counter in the buffer.