cprover
diagnostics_helpert< source_locationt > Struct Template Reference

#include <source_location.h>

Static Public Member Functions

static std::string diagnostics_as_string (const source_locationt &source_location)
 

Detailed Description

template<>
struct diagnostics_helpert< source_locationt >

Definition at line 212 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 215 of file source_location.h.


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