|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
#include <toml.hpp>
Public Member Functions | |
| TOML_NODISCARD_CTOR | utf8_buffered_reader (utf8_reader_interface &reader) noexcept |
| TOML_PURE_INLINE_GETTER const source_path_ptr & | source_path () const noexcept |
| TOML_NODISCARD const utf8_codepoint * | read_next () noexcept(!TOML_COMPILER_HAS_EXCEPTIONS) |
| TOML_NODISCARD const utf8_codepoint * | step_back (size_t count) noexcept |
| TOML_NODISCARD bool | peek_eof () const noexcept(!TOML_COMPILER_HAS_EXCEPTIONS) |
| TOML_NODISCARD optional< parse_error > && | error () noexcept |
Static Public Attributes | |
| static constexpr size_t | max_history_length = 128 |
|
inlineexplicitnoexcept |
|
inlinenoexcept |
|
inlinenoexcept |
|
inlinenoexcept |
|
inlinenoexcept |
|
inlinenoexcept |
| utf8_codepoint utf8_buffered_reader::buffer[history_buffer_size] |
| size_t utf8_buffered_reader::count |
| size_t utf8_buffered_reader::first |
|
staticconstexpr |