ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
TOML_PARSE_ERROR_BASE Class Reference

#include <toml.hpp>

Public Member Functions

TOML_NODISCARD_CTOR parse_error (std::string &&desc, source_region &&src) noexcept
TOML_NODISCARD_CTOR parse_error (std::string &&desc, const source_region &src) noexcept
TOML_NODISCARD_CTOR parse_error (std::string &&desc, const source_position &position, const source_path_ptr &path={}) noexcept
TOML_NODISCARD std::string_view description () const noexcept
TOML_NODISCARD const source_region & source () const noexcept

Friends

std::ostream & operator<< (std::ostream &lhs, const parse_error &rhs)

Member Function Documentation

◆ description()

TOML_NODISCARD std::string_view TOML_PARSE_ERROR_BASE::description ( ) const
inlinenoexcept

◆ parse_error() [1/3]

TOML_NODISCARD_CTOR TOML_PARSE_ERROR_BASE::parse_error ( std::string && desc,
const source_position & position,
const source_path_ptr & path = {} )
inlinenoexcept

◆ parse_error() [2/3]

TOML_NODISCARD_CTOR TOML_PARSE_ERROR_BASE::parse_error ( std::string && desc,
const source_region & src )
inlinenoexcept

◆ parse_error() [3/3]

TOML_NODISCARD_CTOR TOML_PARSE_ERROR_BASE::parse_error ( std::string && desc,
source_region && src )
inlinenoexcept

◆ source()

TOML_NODISCARD const source_region & TOML_PARSE_ERROR_BASE::source ( ) const
inlinenoexcept

◆ operator<<

std::ostream & operator<< ( std::ostream & lhs,
const parse_error & rhs )
friend

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