cprover
|
#include <source_location.h>
Static Public Member Functions | |
static std::string | diagnostics_as_string (const source_locationt &source_location) |
static std::string | diagnostics_as_string (const source_locationt &) |
Definition at line 224 of file source_location.h.
|
static |
|
inlinestatic |
Definition at line 227 of file source_location.h.