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 " {y--timestamp} [{ymonotonic}|{ywall}] \t " \
16 "print microsecond-precision timestamps. {ymonotonic}: stamps increase " \
17 "monotonically. {ywall}: 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.
clockt
Derived types of timestampert.
@ MONOTONIC
monotonic_timestampert
@ WALL_CLOCK
wall_clock_timestampert
virtual ~timestampert()=default
static std::unique_ptr< const timestampert > make(clockt clock_type)
Factory method to build timestampert subclasses.
virtual std::string stamp() const
Default timestamp: the empty string.
virtual std::string stamp() const override
See HELP_TIMESTAMP in util/timestamper.h for time stamp format.