CBMC
wall_clock_timestampert Class Reference

#include <timestamper.h>

+ Inheritance diagram for wall_clock_timestampert:
+ Collaboration diagram for wall_clock_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 class  clockt { NONE , MONOTONIC , WALL_CLOCK }
 Derived types of timestampert. More...
 
- Static Public Member Functions inherited from timestampert
static std::unique_ptr< const timestampertmake (clockt clock_type)
 Factory method to build timestampert subclasses. More...
 

Detailed Description

Definition at line 75 of file timestamper.h.

Member Function Documentation

◆ stamp()

std::string wall_clock_timestampert::stamp ( ) const
overridevirtual

See HELP_TIMESTAMP in util/timestamper.h for time stamp format.

Reimplemented from timestampert.

Definition at line 57 of file timestamper.cpp.


The documentation for this class was generated from the following files: