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

#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

Constructor & Destructor Documentation

◆ utf8_buffered_reader()

TOML_NODISCARD_CTOR utf8_buffered_reader::utf8_buffered_reader ( utf8_reader_interface & reader)
inlineexplicitnoexcept

Member Function Documentation

◆ error()

TOML_NODISCARD optional< parse_error > && utf8_buffered_reader::error ( )
inlinenoexcept

◆ peek_eof()

TOML_NODISCARD bool utf8_buffered_reader::peek_eof ( ) const
inlinenoexcept

◆ read_next()

TOML_NODISCARD const utf8_codepoint * utf8_buffered_reader::read_next ( )
inlinenoexcept

◆ source_path()

TOML_PURE_INLINE_GETTER const source_path_ptr & utf8_buffered_reader::source_path ( ) const
inlinenoexcept

◆ step_back()

TOML_NODISCARD const utf8_codepoint * utf8_buffered_reader::step_back ( size_t count)
inlinenoexcept

Member Data Documentation

◆ buffer

utf8_codepoint utf8_buffered_reader::buffer[history_buffer_size]

◆ count

size_t utf8_buffered_reader::count

◆ first

size_t utf8_buffered_reader::first

◆ max_history_length

size_t utf8_buffered_reader::max_history_length = 128
staticconstexpr

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