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

#include <toml.hpp>

Public Types

using iterator = table_iterator
using const_iterator = const_table_iterator

Public Member Functions

TOML_NODISCARD_CTOR parse_result () noexcept
TOML_NODISCARD_CTOR parse_result (toml::table &&tbl) noexcept
TOML_NODISCARD_CTOR parse_result (parse_error &&err) noexcept
TOML_NODISCARD_CTOR parse_result (parse_result &&res) noexcept
parse_result & operator= (parse_result &&rhs) noexcept
 ~parse_result () noexcept
TOML_NODISCARD bool succeeded () const noexcept
TOML_NODISCARD bool failed () const noexcept
TOML_NODISCARD operator bool () const noexcept
TOML_NODISCARD toml::table & table () &noexcept
TOML_NODISCARD toml::table && table () &&noexcept
TOML_NODISCARD const toml::table & table () const &noexcept
TOML_NODISCARD operator toml::table & () noexcept
TOML_NODISCARD operator toml::table && () noexcept
TOML_NODISCARD operator const toml::table & () const noexcept
TOML_NODISCARD parse_error & error () &noexcept
TOML_NODISCARD parse_error && error () &&noexcept
TOML_NODISCARD const parse_error & error () const &noexcept
TOML_NODISCARD operator parse_error & () noexcept
TOML_NODISCARD operator parse_error && () noexcept
TOML_NODISCARD operator const parse_error & () const noexcept
TOML_NODISCARD table_iterator begin () noexcept
TOML_NODISCARD const_table_iterator begin () const noexcept
TOML_NODISCARD const_table_iterator cbegin () const noexcept
TOML_NODISCARD table_iterator end () noexcept
TOML_NODISCARD const_table_iterator end () const noexcept
TOML_NODISCARD const_table_iterator cend () const noexcept
TOML_NODISCARD node_view< node > at_path (std::string_view path) noexcept
TOML_NODISCARD node_view< const node > at_path (std::string_view path) const noexcept
TOML_NODISCARD node_view< node > at_path (const toml::path &path) noexcept
TOML_NODISCARD node_view< const node > at_path (const toml::path &path) const noexcept
TOML_NODISCARD node_view< node > operator[] (const toml::path &path) noexcept
TOML_NODISCARD node_view< const node > operator[] (const toml::path &path) const noexcept
TOML_NODISCARD node_view< node > operator[] (std::string_view key) noexcept
TOML_NODISCARD node_view< const node > operator[] (std::string_view key) const noexcept

Friends

std::ostream & operator<< (std::ostream &os, const parse_result &result)

Member Typedef Documentation

◆ const_iterator

using parse_result::const_iterator = const_table_iterator

◆ iterator

using parse_result::iterator = table_iterator

Constructor & Destructor Documentation

◆ parse_result() [1/4]

TOML_NODISCARD_CTOR parse_result::parse_result ( )
inlinenoexcept

◆ parse_result() [2/4]

TOML_NODISCARD_CTOR parse_result::parse_result ( toml::table && tbl)
inlineexplicitnoexcept

◆ parse_result() [3/4]

TOML_NODISCARD_CTOR parse_result::parse_result ( parse_error && err)
inlineexplicitnoexcept

◆ parse_result() [4/4]

TOML_NODISCARD_CTOR parse_result::parse_result ( parse_result && res)
inlinenoexcept

◆ ~parse_result()

parse_result::~parse_result ( )
inlinenoexcept

Member Function Documentation

◆ at_path() [1/4]

TOML_NODISCARD node_view< const node > parse_result::at_path ( const toml::path & path) const
inlinenoexcept

◆ at_path() [2/4]

TOML_NODISCARD node_view< node > parse_result::at_path ( const toml::path & path)
inlinenoexcept

◆ at_path() [3/4]

TOML_NODISCARD node_view< const node > parse_result::at_path ( std::string_view path) const
inlinenoexcept

◆ at_path() [4/4]

TOML_NODISCARD node_view< node > parse_result::at_path ( std::string_view path)
inlinenoexcept

◆ begin() [1/2]

TOML_NODISCARD const_table_iterator parse_result::begin ( ) const
inlinenoexcept

◆ begin() [2/2]

TOML_NODISCARD table_iterator parse_result::begin ( )
inlinenoexcept

◆ cbegin()

TOML_NODISCARD const_table_iterator parse_result::cbegin ( ) const
inlinenoexcept

◆ cend()

TOML_NODISCARD const_table_iterator parse_result::cend ( ) const
inlinenoexcept

◆ end() [1/2]

TOML_NODISCARD const_table_iterator parse_result::end ( ) const
inlinenoexcept

◆ end() [2/2]

TOML_NODISCARD table_iterator parse_result::end ( )
inlinenoexcept

◆ error() [1/3]

TOML_NODISCARD parse_error && parse_result::error ( ) &&
inlinenoexcept

◆ error() [2/3]

TOML_NODISCARD parse_error & parse_result::error ( ) &
inlinenoexcept

◆ error() [3/3]

TOML_NODISCARD const parse_error & parse_result::error ( ) const &
inlinenoexcept

◆ failed()

TOML_NODISCARD bool parse_result::failed ( ) const
inlinenoexcept

◆ operator bool()

TOML_NODISCARD parse_result::operator bool ( ) const
inlineexplicitnoexcept

◆ operator const parse_error &()

TOML_NODISCARD parse_result::operator const parse_error & ( ) const
inlineexplicitnoexcept

◆ operator const toml::table &()

TOML_NODISCARD parse_result::operator const toml::table & ( ) const
inlinenoexcept

◆ operator parse_error &()

TOML_NODISCARD parse_result::operator parse_error & ( )
inlineexplicitnoexcept

◆ operator parse_error &&()

TOML_NODISCARD parse_result::operator parse_error && ( )
inlineexplicitnoexcept

◆ operator toml::table &()

TOML_NODISCARD parse_result::operator toml::table & ( )
inlinenoexcept

◆ operator toml::table &&()

TOML_NODISCARD parse_result::operator toml::table && ( )
inlinenoexcept

◆ operator=()

parse_result & parse_result::operator= ( parse_result && rhs)
inlinenoexcept

◆ operator[]() [1/4]

TOML_NODISCARD node_view< const node > parse_result::operator[] ( const toml::path & path) const
inlinenoexcept

◆ operator[]() [2/4]

TOML_NODISCARD node_view< node > parse_result::operator[] ( const toml::path & path)
inlinenoexcept

◆ operator[]() [3/4]

TOML_NODISCARD node_view< const node > parse_result::operator[] ( std::string_view key) const
inlinenoexcept

◆ operator[]() [4/4]

TOML_NODISCARD node_view< node > parse_result::operator[] ( std::string_view key)
inlinenoexcept

◆ succeeded()

TOML_NODISCARD bool parse_result::succeeded ( ) const
inlinenoexcept

◆ table() [1/3]

TOML_NODISCARD toml::table && parse_result::table ( ) &&
inlinenoexcept

◆ table() [2/3]

TOML_NODISCARD toml::table & parse_result::table ( ) &
inlinenoexcept

◆ table() [3/3]

TOML_NODISCARD const toml::table & parse_result::table ( ) const &
inlinenoexcept

◆ operator<<

std::ostream & operator<< ( std::ostream & os,
const parse_result & result )
friend
The documentation for this class was generated from the following file: