ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
error_builder Struct Reference

#include <toml.hpp>

Public Member Functions

TOML_NODISCARD_CTOR error_builder (std::string_view scope) noexcept
template<typename T>
void append (const T &arg) noexcept
TOML_RETURNS_BY_THROWING auto finish (const source_position &pos, const source_path_ptr &source_path) const
 TOML_DELETE_DEFAULTS (error_builder)

Public Attributes

char buf [buf_size]
char * write_pos = buf
char *const max_write_pos

Static Public Attributes

static constexpr std::size_t buf_size = 512

Constructor & Destructor Documentation

◆ error_builder()

TOML_NODISCARD_CTOR error_builder::error_builder ( std::string_view scope)
inlinenoexcept

Member Function Documentation

◆ append()

template<typename T>
void error_builder::append ( const T & arg)
inlinenoexcept

◆ finish()

TOML_RETURNS_BY_THROWING auto error_builder::finish ( const source_position & pos,
const source_path_ptr & source_path ) const
inline

◆ TOML_DELETE_DEFAULTS()

error_builder::TOML_DELETE_DEFAULTS ( error_builder )

Member Data Documentation

◆ buf

char error_builder::buf[buf_size]

◆ buf_size

std::size_t error_builder::buf_size = 512
staticconstexpr

◆ max_write_pos

char* const error_builder::max_write_pos
Initial value:
=
buf + (buf_size - std::size_t{1})
char buf[buf_size]
Definition toml.hpp:14066
static constexpr std::size_t buf_size
Definition toml.hpp:14065

◆ write_pos

char* error_builder::write_pos = buf

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