CBMC
Loading...
Searching...
No Matches
Public Member Functions | List of all members
wall_clock_timestampert Class Reference

#include <timestamper.h>

+ Inheritance diagram for wall_clock_timestampert:
[フレーム]
[legend]
+ Collaboration diagram for wall_clock_timestampert:
[フレーム]
[legend]

Public Member Functions

virtual std::string  stamp () const override
  See HELP_TIMESTAMP in util/timestamper.h for time stamp format.
 
- 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 timestampert >  make (clockt clock_type)
  Factory method to build timestampert subclasses.
 

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:

AltStyle によって変換されたページ (->オリジナル) /