Timer.h

Go to the documentation of this file.

//===-- Timer.h -------------------------------------------------*- C++ -*-===//
//
//                     The KLEE Symbolic Virtual Machine
//
// This file is distributed under the University of Illinois Open Source
// License. See LICENSE.TXT for details.
//
//===----------------------------------------------------------------------===//
 
#ifndef KLEE_TIMER_H
#define KLEE_TIMER_H
 
#include "klee/System/Time.h"
 
#include "llvm/ADT/SmallVector.h"
 
#include <functional>
#include <memory>
 
namespace klee {
 
  class WallTimer {
    const time::Point start;
  public:
    WallTimer();
 
    time::Span delta() const;
  };
 
 
  class Timer {
    time::Span interval;
    time::Point nextInvocationTime;
    std::function<void()> run;
  public:
    Timer(const time::Span &interval, std::function<void()> &&callback);
 
    time::Span getInterval() const;
    void invoke(const time::Point &currentTime);
    void reset(const time::Point &currentTime);
  };
 
 
  class TimerGroup {
    llvm::SmallVector<std::unique_ptr<Timer>, 4> timers;
    Timer invocationTimer;
    time::Point currentTime;
  public:
    explicit TimerGroup(const time::Span &minInterval);
 
    void add(std::unique_ptr<Timer> timer);
    void invoke();
    void reset();
  };
 
} // klee
#endif /* KLEE_TIMER_H */