fixed_keys_map_wrapper.h

Go to the documentation of this file.

// Copyright 2018 Diffblue Limited.
 
 
#ifndef CPROVER_UTIL_FIXED_KEYS_MAP_WRAPPER_H
#define CPROVER_UTIL_FIXED_KEYS_MAP_WRAPPER_H
 
template <typename mapt>
class fixed_keys_map_wrappert
{
private:
  mapt &map;
 
public:
  // NOLINTNEXTLINE(readability/identifiers) - should match STL
  typedef typename mapt::iterator iterator;
  // NOLINTNEXTLINE(readability/identifiers) - should match STL
  typedef typename mapt::const_iterator const_iterator;
  // NOLINTNEXTLINE(readability/identifiers) - should match STL
  typedef typename mapt::reverse_iterator reverse_iterator;
  // NOLINTNEXTLINE(readability/identifiers) - should match STL
  typedef typename mapt::const_reverse_iterator const_reverse_iterator;
  // NOLINTNEXTLINE(readability/identifiers) - should match STL
  typedef typename mapt::key_type key_type;
  // NOLINTNEXTLINE(readability/identifiers) - should match STL
  typedef typename mapt::mapped_type mapped_type;
  // NOLINTNEXTLINE(readability/identifiers) - should match STL
  typedef typename mapt::size_type size_type;
 
  explicit fixed_keys_map_wrappert(mapt &map) : map(map)
  {
  }
  explicit fixed_keys_map_wrappert(mapt &map) : map(map) {…}
 
  iterator begin()
  {
    return map.begin();
  }
  iterator begin() {…}
  const_iterator begin() const
  {
    return map.begin();
  }
  const_iterator begin() const {…}
  iterator end()
  {
    return map.end();
  }
  iterator end() {…}
  const_iterator end() const
  {
    return map.end();
  }
  const_iterator end() const {…}
  reverse_iterator rbegin()
  {
    return map.rbegin();
  }
  reverse_iterator rbegin() {…}
  const_reverse_iterator rbegin() const
  {
    return map.rbegin();
  }
  const_reverse_iterator rbegin() const {…}
  reverse_iterator rend()
  {
    return map.rend();
  }
  reverse_iterator rend() {…}
  const_reverse_iterator rend() const
  {
    return map.rend();
  }
  const_reverse_iterator rend() const {…}
  const_iterator cbegin() const
  {
    return map.begin();
  }
  const_iterator cbegin() const {…}
  const_iterator cend() const
  {
    return map.end();
  }
  const_iterator cend() const {…}
  const_reverse_iterator crbegin() const
  {
    return map.rbegin();
  }
  const_reverse_iterator crbegin() const {…}
  const_reverse_iterator crend() const
  {
    return map.rend();
  }
  const_reverse_iterator crend() const {…}
 
  bool empty() const
  {
    return map.empty();
  }
  bool empty() const {…}
  size_type size() const
  {
    return map.size();
  }
  size_type size() const {…}
  size_type count(const key_type &key) const
  {
    return map.count(key);
  }
  size_type count(const key_type &key) const {…}
 
  const mapped_type &at(const key_type &key) const
  {
    return map.at(key);
  }
  const mapped_type &at(const key_type &key) const {…}
  mapped_type &at(const key_type &key)
  {
    return map.at(key);
  }
  mapped_type &at(const key_type &key) {…}
 
  iterator find(const key_type &key)
  {
    return map.find(key);
  }
  iterator find(const key_type &key) {…}
  const_iterator find(const key_type &key) const
  {
    return map.find(key);
  }
  const_iterator find(const key_type &key) const {…}
};
class fixed_keys_map_wrappert {…};
 
#endif // CPROVER_UTIL_FIXED_KEYS_MAP_WRAPPER_H