ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
parse_key_buffer Struct Reference

#include <toml.hpp>

Public Member Functions

void clear () noexcept
void push_back (std::string_view segment, source_position b, source_position e)
TOML_PURE_INLINE_GETTER std::string_view operator[] (size_t i) const noexcept
TOML_PURE_INLINE_GETTER std::string_view back () const noexcept
TOML_PURE_INLINE_GETTER bool empty () const noexcept
TOML_PURE_INLINE_GETTER size_t size () const noexcept

Public Attributes

std::string buffer
std::vector< std::pair< size_t, size_t > > segments
std::vector< source_position > starts
std::vector< source_position > ends

Member Function Documentation

◆ back()

TOML_PURE_INLINE_GETTER std::string_view parse_key_buffer::back ( ) const
inlinenoexcept

◆ clear()

void parse_key_buffer::clear ( )
inlinenoexcept

◆ empty()

TOML_PURE_INLINE_GETTER bool parse_key_buffer::empty ( ) const
inlinenoexcept

◆ operator[]()

TOML_PURE_INLINE_GETTER std::string_view parse_key_buffer::operator[] ( size_t i) const
inlinenoexcept

◆ push_back()

void parse_key_buffer::push_back ( std::string_view segment,
source_position b,
source_position e )
inline

◆ size()

TOML_PURE_INLINE_GETTER size_t parse_key_buffer::size ( ) const
inlinenoexcept

Member Data Documentation

◆ buffer

std::string parse_key_buffer::buffer

◆ ends

std::vector<source_position> parse_key_buffer::ends

◆ segments

std::vector<std::pair<size_t, size_t> > parse_key_buffer::segments

◆ starts

std::vector<source_position> parse_key_buffer::starts

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