watermark.h

Go to the documentation of this file.

 
#pragma once
 
// Inc HAA
#include "dbc.h"
 
 
class Watermark {
  size_t counter_ = 0,     
         watermark_ = 0;   
public: /* accessor */
  size_t getCounter() const { return counter_; }
 
 
  size_t getWatermark() const { return watermark_; }
 
 
public: /* other */
  void inc() {
    if( ++counter_ > watermark_ )
      watermark_ = counter_;
  }
 
 
  void dec() {
    DBC_PRE( counter_ > 0 );
 
    counter_--;
  }
 
 
  void set( size_t p_size ) {
    counter_ = p_size;
    if( counter_ > watermark_ )
      watermark_ = counter_;
  }
};