ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
table_iterator< IsConst > Class Template Reference

#include <toml.hpp>

Public Types

using value_type = table_proxy_pair<IsConst>
using reference = value_type &
using pointer = value_type *
using difference_type
using iterator_category

Public Member Functions

TOML_NODISCARD_CTOR table_iterator () noexcept=default
TOML_NODISCARD_CTOR table_iterator (mutable_map_iterator iter) noexcept
TOML_NODISCARD_CTOR table_iterator (const_map_iterator iter) noexcept
TOML_NODISCARD_CTOR table_iterator (const table_iterator< false > &other) noexcept
TOML_NODISCARD_CTOR table_iterator (const table_iterator &other) noexcept
table_iterator & operator= (const table_iterator &rhs) noexcept
table_iterator & operator++ () noexcept
table_iterator operator++ (int) noexcept
table_iterator & operator-- () noexcept
table_iterator operator-- (int) noexcept
TOML_PURE_INLINE_GETTER reference operator* () const noexcept
TOML_PURE_INLINE_GETTER pointer operator-> () const noexcept
TOML_PURE_INLINE_GETTER operator const map_iterator & () const noexcept
TOML_PURE_INLINE_GETTER operator const const_map_iterator () const noexcept

Friends

template<bool>
class table_iterator
TOML_PURE_INLINE_GETTER friend bool operator== (const table_iterator &lhs, const table_iterator &rhs) noexcept
TOML_PURE_INLINE_GETTER friend bool operator!= (const table_iterator &lhs, const table_iterator &rhs) noexcept

Member Typedef Documentation

◆ difference_type

template<bool IsConst>
using table_iterator< IsConst >::difference_type
Initial value:
typename std::iterator_traits<map_iterator>::difference_type

◆ iterator_category

template<bool IsConst>
using table_iterator< IsConst >::iterator_category
Initial value:
typename std::iterator_traits<map_iterator>::iterator_category

◆ pointer

template<bool IsConst>
using table_iterator< IsConst >::pointer = value_type *

◆ reference

template<bool IsConst>
using table_iterator< IsConst >::reference = value_type &

◆ value_type

template<bool IsConst>
using table_iterator< IsConst >::value_type = table_proxy_pair<IsConst>

Constructor & Destructor Documentation

◆ table_iterator() [1/5]

template<bool IsConst>
TOML_NODISCARD_CTOR table_iterator< IsConst >::table_iterator ( )
defaultnoexcept

◆ table_iterator() [2/5]

template<bool IsConst>
TOML_NODISCARD_CTOR table_iterator< IsConst >::table_iterator ( mutable_map_iterator iter)
inlineexplicitnoexcept

◆ table_iterator() [3/5]

template<bool IsConst>
TOML_NODISCARD_CTOR table_iterator< IsConst >::table_iterator ( const_map_iterator iter)
inlineexplicitnoexcept

◆ table_iterator() [4/5]

template<bool IsConst>
TOML_NODISCARD_CTOR table_iterator< IsConst >::table_iterator ( const table_iterator< false > & other)
inlinenoexcept

◆ table_iterator() [5/5]

template<bool IsConst>
TOML_NODISCARD_CTOR table_iterator< IsConst >::table_iterator ( const table_iterator< IsConst > & other)
inlinenoexcept

Member Function Documentation

◆ operator const const_map_iterator()

template<bool IsConst>
TOML_PURE_INLINE_GETTER table_iterator< IsConst >::operator const const_map_iterator ( ) const
inlineexplicitnoexcept

◆ operator const map_iterator &()

template<bool IsConst>
TOML_PURE_INLINE_GETTER table_iterator< IsConst >::operator const map_iterator & ( ) const
inlineexplicitnoexcept

◆ operator*()

template<bool IsConst>
TOML_PURE_INLINE_GETTER reference table_iterator< IsConst >::operator* ( ) const
inlinenoexcept

◆ operator++() [1/2]

template<bool IsConst>
table_iterator & table_iterator< IsConst >::operator++ ( )
inlinenoexcept

◆ operator++() [2/2]

template<bool IsConst>
table_iterator table_iterator< IsConst >::operator++ ( int )
inlinenoexcept

◆ operator--() [1/2]

template<bool IsConst>
table_iterator & table_iterator< IsConst >::operator-- ( )
inlinenoexcept

◆ operator--() [2/2]

template<bool IsConst>
table_iterator table_iterator< IsConst >::operator-- ( int )
inlinenoexcept

◆ operator->()

template<bool IsConst>
TOML_PURE_INLINE_GETTER pointer table_iterator< IsConst >::operator-> ( ) const
inlinenoexcept

◆ operator=()

template<bool IsConst>
table_iterator & table_iterator< IsConst >::operator= ( const table_iterator< IsConst > & rhs)
inlinenoexcept

◆ operator!=

template<bool IsConst>
TOML_PURE_INLINE_GETTER friend bool operator!= ( const table_iterator< IsConst > & lhs,
const table_iterator< IsConst > & rhs )
friend

◆ operator==

template<bool IsConst>
TOML_PURE_INLINE_GETTER friend bool operator== ( const table_iterator< IsConst > & lhs,
const table_iterator< IsConst > & rhs )
friend

◆ table_iterator

template<bool IsConst>
template<bool>
friend class table_iterator
friend
The documentation for this class was generated from the following file: