|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
#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) |
|
inlinenoexcept |
|
inlinenoexcept |
|
inlinenoexcept |
|
inlinenoexcept |
|
inlinenoexcept |
|
friend |