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

#include <toml.hpp>

Public Member Functions

TOML_NODISCARD_CTOR TOML_EXPORTED_MEMBER_FUNCTION path_component ()
TOML_NODISCARD_CTOR TOML_EXPORTED_MEMBER_FUNCTION path_component (size_t index) noexcept
TOML_NODISCARD_CTOR TOML_EXPORTED_MEMBER_FUNCTION path_component (std::string_view key)
TOML_NODISCARD_CTOR TOML_EXPORTED_MEMBER_FUNCTION path_component (const path_component &pc)
TOML_NODISCARD_CTOR TOML_EXPORTED_MEMBER_FUNCTION path_component (path_component &&pc) noexcept
TOML_EXPORTED_MEMBER_FUNCTION path_component & operator= (const path_component &rhs)
TOML_EXPORTED_MEMBER_FUNCTION path_component & operator= (path_component &&rhs) noexcept
TOML_EXPORTED_MEMBER_FUNCTION path_component & operator= (size_t new_index) noexcept
TOML_EXPORTED_MEMBER_FUNCTION path_component & operator= (std::string_view new_key)
 ~path_component () noexcept
TOML_PURE_GETTER size_t index () const noexcept
TOML_PURE_INLINE_GETTER operator size_t () const noexcept
TOML_PURE_GETTER const std::string & key () const noexcept
TOML_PURE_INLINE_GETTER operator const std::string & () const noexcept
TOML_PURE_INLINE_GETTER path_component_type type () const noexcept

Friends

TOML_PURE_INLINE_GETTER friend bool operator== (const path_component &lhs, const path_component &rhs) noexcept
TOML_PURE_INLINE_GETTER friend bool operator!= (const path_component &lhs, const path_component &rhs) noexcept

Constructor & Destructor Documentation

◆ path_component() [1/5]

TOML_NODISCARD_CTOR TOML_EXPORTED_MEMBER_FUNCTION path_component::path_component ( )

◆ path_component() [2/5]

TOML_NODISCARD_CTOR TOML_EXPORTED_MEMBER_FUNCTION path_component::path_component ( size_t index)
noexcept

◆ path_component() [3/5]

TOML_NODISCARD_CTOR TOML_EXPORTED_MEMBER_FUNCTION path_component::path_component ( std::string_view key)

◆ path_component() [4/5]

TOML_NODISCARD_CTOR TOML_EXPORTED_MEMBER_FUNCTION path_component::path_component ( const path_component & pc)

◆ path_component() [5/5]

TOML_NODISCARD_CTOR TOML_EXPORTED_MEMBER_FUNCTION path_component::path_component ( path_component && pc)
noexcept

◆ ~path_component()

path_component::~path_component ( )
inlinenoexcept

Member Function Documentation

◆ index()

TOML_PURE_GETTER size_t path_component::index ( ) const
inlinenoexcept

◆ key()

TOML_PURE_GETTER const std::string & path_component::key ( ) const
inlinenoexcept

◆ operator const std::string &()

TOML_PURE_INLINE_GETTER path_component::operator const std::string & ( ) const
inlineexplicitnoexcept

◆ operator size_t()

TOML_PURE_INLINE_GETTER path_component::operator size_t ( ) const
inlineexplicitnoexcept

◆ operator=() [1/4]

TOML_EXPORTED_MEMBER_FUNCTION path_component & path_component::operator= ( const path_component & rhs)

◆ operator=() [2/4]

TOML_EXPORTED_MEMBER_FUNCTION path_component & path_component::operator= ( path_component && rhs)
noexcept

◆ operator=() [3/4]

TOML_EXPORTED_MEMBER_FUNCTION path_component & path_component::operator= ( size_t new_index)
noexcept

◆ operator=() [4/4]

TOML_EXPORTED_MEMBER_FUNCTION path_component & path_component::operator= ( std::string_view new_key)

◆ type()

TOML_PURE_INLINE_GETTER path_component_type path_component::type ( ) const
inlinenoexcept

◆ operator!=

TOML_PURE_INLINE_GETTER friend bool operator!= ( const path_component & lhs,
const path_component & rhs )
friend

◆ operator==

TOML_PURE_INLINE_GETTER friend bool operator== ( const path_component & lhs,
const path_component & rhs )
friend

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