5 #ifndef CPROVER_UTIL_TIMESTAMPER_H 6 #define CPROVER_UTIL_TIMESTAMPER_H 9 #define OPT_TIMESTAMP "" 10 #define HELP_TIMESTAMP "" 12 #define OPT_TIMESTAMP "(timestamp):" 14 #define HELP_TIMESTAMP \ 15 " --timestamp <monotonic|wall> print microsecond-precision timestamps.\n" \ 16 " monotonic: stamps increase monotonically.\n" \ 17 " wall: ISO-8601 wall clock timestamps.\n" 57 virtual std::string
stamp()
const 63 static std::unique_ptr<const timestampert>
make(
clockt clock_type);
72 virtual std::string
stamp()
const override;
80 virtual std::string
stamp()
const override;
virtual std::string stamp() const override
See HELP_TIMESTAMP in util/timestamper.h for time stamp format.
Timestamp class hierarchy.
virtual ~timestampert()=default
clockt
Derived types of timestampert.
virtual std::string stamp() const override
See HELP_TIMESTAMP in util/timestamper.h for time stamp format.
virtual std::string stamp() const
Default timestamp: the empty string.
static std::unique_ptr< const timestampert > make(clockt clock_type)
Factory method to build timestampert subclasses.