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