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 "llvm/Support/DataTypes.h"
#include <string>

namespace klee {
  class Statistic;
  class StatisticManager;
  class StatisticRecord;

  class Statistic {
    friend class StatisticManager;
    friend class StatisticRecord;

  private:
    unsigned id;
    const std::string name;
    const std::string shortName;

  public:
    Statistic(const std::string &_name, 
              const std::string &_shortName);
    ~Statistic();

    unsigned getID() { return id; }

    const std::string &getName() const { return name; }

    const std::string &getShortName() const { return shortName; }

    uint64_t getValue() const;

    operator uint64_t () const { return getValue(); }

    Statistic &operator ++() { return (*this += 1); }

    Statistic &operator +=(const uint64_t addend);
  };
}

#endif