timestamper.h

Go to the documentation of this file.

 
#ifndef CPROVER_UTIL_TIMESTAMPER_H
#define CPROVER_UTIL_TIMESTAMPER_H
 
#ifdef _WIN32
#define OPT_TIMESTAMP ""
#define HELP_TIMESTAMP ""
#else
#define OPT_TIMESTAMP "(timestamp):"
 
#define HELP_TIMESTAMP                                                         \
  " --timestamp <monotonic|wall> print microsecond-precision timestamps.\n"    \
  "                              monotonic: stamps increase monotonically.\n"  \
  "                              wall: ISO-8601 wall clock timestamps.\n"
#endif
 
#include <memory>
#include <string>
 
class timestampert
{
public:
  enum class clockt
  {
    NONE,
    MONOTONIC,
    WALL_CLOCK
  };
  virtual ~timestampert() = default;
 
  virtual std::string stamp() const
  {
    return "";
  }
 
  static std::unique_ptr<const timestampert> make(clockt clock_type);
};
 
#ifndef _WIN32
class monotonic_timestampert : public timestampert
{
public:
  virtual std::string stamp() const override;
};
 
class wall_clock_timestampert : public timestampert
{
public:
  virtual std::string stamp() const override;
};
#endif
 
#endif /* CPROVER_UTIL_TIMESTAMPER_H */