|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
#include <toml.hpp>
Public Member Functions | |
| virtual TOML_NODISCARD const source_path_ptr & | source_path () const noexcept=0 |
| virtual TOML_NODISCARD const utf8_codepoint * | read_next () noexcept(!TOML_COMPILER_HAS_EXCEPTIONS)=0 |
| virtual TOML_NODISCARD bool | peek_eof () const noexcept(!TOML_COMPILER_HAS_EXCEPTIONS)=0 |
| virtual TOML_NODISCARD optional< parse_error > && | error () noexcept=0 |
| virtual | ~utf8_reader_interface () noexcept=default |
|
virtualdefaultnoexcept |
|
pure virtualnoexcept |
Implemented in utf8_reader< T >.
|
pure virtualnoexcept |
Implemented in utf8_reader< T >.
|
pure virtualnoexcept |
Implemented in utf8_reader< T >.
|
pure virtualnoexcept |
Implemented in utf8_reader< T >.