|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
#include <toml.hpp>
Public Member Functions | |
| template<typename U, typename String = std::string_view> | |
| TOML_NODISCARD_CTOR | utf8_reader (U &&source, String &&source_path={}) noexcept(std::is_nothrow_constructible_v< utf8_byte_stream< T >, U && >) |
| TOML_PURE_INLINE_GETTER const source_path_ptr & | source_path () const noexcept final |
| TOML_NODISCARD const utf8_codepoint * | read_next () noexcept(!TOML_COMPILER_HAS_EXCEPTIONS) final |
| TOML_NODISCARD bool | peek_eof () const noexcept(!TOML_COMPILER_HAS_EXCEPTIONS) final |
| TOML_NODISCARD optional< parse_error > && | error () noexcept final |
| Public Member Functions inherited from utf8_reader_interface | |
| virtual | ~utf8_reader_interface () noexcept=default |
|
inlineexplicitnoexcept |
|
inlinefinalvirtualnoexcept |
Implements utf8_reader_interface.
|
inlinefinalvirtualnoexcept |
Implements utf8_reader_interface.
|
inlinefinalvirtualnoexcept |
Implements utf8_reader_interface.
|
inlinefinalvirtualnoexcept |
Implements utf8_reader_interface.