Statistic.h

Go to the documentation of this file.

//===-- Statistic.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_STATISTIC_H
#define KLEE_STATISTIC_H
 
#include <string>
 
namespace klee {
  class Statistic;
  class StatisticManager;
  class StatisticRecord;
 
  class Statistic final {
    friend class StatisticManager;
    friend class StatisticRecord;
 
  private:
    std::uint32_t id;
    const std::string name;
    const std::string shortName;
 
  public:
    Statistic(const std::string &name, const std::string &shortName);
    ~Statistic() = default;
 
    std::uint32_t getID() const { return id; }
 
    const std::string &getName() const { return name; }
 
    const std::string &getShortName() const { return shortName; }
 
    std::uint64_t getValue() const;
 
    operator std::uint64_t() const { return getValue(); }
 
    Statistic &operator++() { return (*this += 1); }
 
    Statistic &operator+=(std::uint64_t addend);
  };
}
 
#endif /* KLEE_STATISTIC_H */