poll_timeout_counter.h

/*
 * Copyright (C) 2012 Technische Universität Dresden.
 * Author(s): Adam Lackorzynski <adam@os.inf.tu-dresden.de>
 *
 * License: see LICENSE.spdx (in this directory or the directories above)
 */
#pragma once
 
namespace L4 {
 
class Poll_timeout_counter
{
public:
  Poll_timeout_counter(unsigned counter_val)
  {
    set(counter_val);
  }
  Poll_timeout_counter(unsigned counter_val) {…}
 
  void set(unsigned counter_val)
  {
    _c = counter_val;
  }
  void set(unsigned counter_val) {…}
 
  bool test(bool expression = true)
  {
    if (!expression)
      return false;
 
    if (_c)
      {
        --_c;
        return true;
      }
 
    return false;
  }
  bool test(bool expression = true) {…}
 
  bool timed_out() const { return _c == 0; }
 
private:
  unsigned _c;
};
class Poll_timeout_counter {…};
 
}