monotonic_timestampert Class Reference
#include <timestamper.h>
Inheritance diagram for monotonic_timestampert: Collaboration diagram for monotonic_timestampert:Public Member Functions | |
| virtual std::string | stamp () const override |
| See HELP_TIMESTAMP in util/timestamper.h for time stamp format. More... | |
| Public Member Functions inherited from timestampert | |
| virtual | ~timestampert ()=default |
Additional Inherited Members | |
| Public Types inherited from timestampert | |
| enum | clockt { clockt::NONE, clockt::MONOTONIC, clockt::WALL_CLOCK } |
| Derived types of timestampert. More... | |
| Static Public Member Functions inherited from timestampert | |
| static std::unique_ptr< const timestampert > | make (clockt clock_type) |
| Factory method to build timestampert subclasses. More... | |
Detailed Description
Definition at line 67 of file timestamper.h.
Member Function Documentation
◆ stamp()
|
overridevirtual |
See HELP_TIMESTAMP in util/timestamper.h for time stamp format.
Reimplemented from timestampert.
Definition at line 41 of file timestamper.cpp.
The documentation for this class was generated from the following files:
- /home/runner/work/cbmc-documentation/cbmc-documentation/src/util/timestamper.h
- /home/runner/work/cbmc-documentation/cbmc-documentation/src/util/timestamper.cpp
