Watermark class.
More...
#include <watermark.h>
|
|
size_t | getCounter () const |
| | Getter for counter.
|
| |
|
size_t | getWatermark () const |
| | Getter for the watermark.
|
| |
|
void | inc () |
| | Increment counter and watermark if neccessary.
|
| |
| void | dec () |
| | Decrement counter.
|
| |
| void | set (size_t p_size) |
| | Set and check given size.
|
| |
Watermark class.
- Invariant
- watermark_ >= counter_
-
counter_ >= 0
◆ dec()
Decrement counter.
- Precondition
- counter_ > 0
◆ set()
| void Watermark::set |
( |
size_t |
p_size | ) |
|
|
inline |
Set and check given size.
- Parameters
-
| [in] | p_size | This size should be set and checked against the current watermark. |
The documentation for this class was generated from the following file: