diagnostics_helpert< source_locationt > Struct Reference

#include <source_location.h>

Static Public Member Functions
static std::string	diagnostics_as_string (const source_locationt &source_location)

Detailed Description

Definition at line 201 of file source_location.h.

Member Function Documentation

diagnostics_as_string()

static std::string diagnostics_helpert< source_locationt >::diagnostics_as_string ( const source_locationt &  source_location )

inlinestatic

Definition at line 204 of file source_location.h.

---

The documentation for this struct was generated from the following file:

• /home/runner/work/cbmc-documentation/cbmc-documentation/src/util/source_location.h