lemon/concepts/maps.h
author Alpar Juttner <alpar@cs.elte.hu>
Sat, 29 Mar 2008 15:49:50 +0000
changeset 111 e47fb28cda5e
parent 79 d73c2e8b25cb
child 114 c837d1e449dc
permissions -rw-r--r--
Fix ignoring Emacs backup files
alpar@25
     1
/* -*- C++ -*-
alpar@25
     2
 *
alpar@25
     3
 * This file is a part of LEMON, a generic C++ optimization library
alpar@25
     4
 *
alpar@39
     5
 * Copyright (C) 2003-2008
alpar@25
     6
 * Egervary Jeno Kombinatorikus Optimalizalasi Kutatocsoport
alpar@25
     7
 * (Egervary Research Group on Combinatorial Optimization, EGRES).
alpar@25
     8
 *
alpar@25
     9
 * Permission to use, modify and distribute this software is granted
alpar@25
    10
 * provided that this copyright notice appears in all copies. For
alpar@25
    11
 * precise terms see the accompanying LICENSE file.
alpar@25
    12
 *
alpar@25
    13
 * This software is provided "AS IS" with no warranty of any kind,
alpar@25
    14
 * express or implied, and with no claim as to its suitability for any
alpar@25
    15
 * purpose.
alpar@25
    16
 *
alpar@25
    17
 */
alpar@25
    18
alpar@25
    19
#ifndef LEMON_CONCEPT_MAPS_H
alpar@25
    20
#define LEMON_CONCEPT_MAPS_H
alpar@25
    21
alpar@25
    22
#include <lemon/bits/utility.h>
alpar@25
    23
#include <lemon/concept_check.h>
alpar@25
    24
alpar@25
    25
///\ingroup concept
alpar@25
    26
///\file
alpar@25
    27
///\brief Map concepts checking classes for testing and documenting.
alpar@25
    28
alpar@25
    29
namespace lemon {
alpar@25
    30
alpar@25
    31
  namespace concepts {
kpeter@79
    32
alpar@25
    33
    /// \addtogroup concept
alpar@25
    34
    /// @{
alpar@25
    35
alpar@25
    36
    /// Readable map concept
kpeter@28
    37
kpeter@28
    38
    /// Readable map concept.
kpeter@28
    39
    ///
alpar@25
    40
    template<typename K, typename T>
alpar@25
    41
    class ReadMap
alpar@25
    42
    {
alpar@25
    43
    public:
kpeter@35
    44
      /// The key type of the map.
kpeter@79
    45
      typedef K Key;
kpeter@35
    46
      /// The value type of the map. (The type of objects associated with the keys).
alpar@25
    47
      typedef T Value;
alpar@25
    48
kpeter@79
    49
      /// Returns the value associated with the given key.
kpeter@94
    50
      Value operator[](const Key &) const { 
kpeter@94
    51
        return *static_cast<Value *>(0);
kpeter@94
    52
      }
alpar@25
    53
alpar@25
    54
      template<typename _ReadMap>
alpar@25
    55
      struct Constraints {
alpar@25
    56
	void constraints() {
alpar@25
    57
	  Value val = m[key];
alpar@25
    58
	  val = m[key];
kpeter@79
    59
	  typename _ReadMap::Value own_val = m[own_key];
kpeter@79
    60
	  own_val = m[own_key];
alpar@25
    61
kpeter@79
    62
	  ignore_unused_variable_warning(key);
alpar@25
    63
	  ignore_unused_variable_warning(val);
kpeter@79
    64
	  ignore_unused_variable_warning(own_key);
alpar@25
    65
	  ignore_unused_variable_warning(own_val);
alpar@25
    66
	}
kpeter@79
    67
	const Key& key;
kpeter@79
    68
	const typename _ReadMap::Key& own_key;
kpeter@79
    69
	const _ReadMap& m;
alpar@25
    70
      };
kpeter@79
    71
alpar@25
    72
    };
alpar@25
    73
alpar@25
    74
alpar@25
    75
    /// Writable map concept
kpeter@79
    76
kpeter@28
    77
    /// Writable map concept.
kpeter@28
    78
    ///
alpar@25
    79
    template<typename K, typename T>
alpar@25
    80
    class WriteMap
alpar@25
    81
    {
alpar@25
    82
    public:
kpeter@35
    83
      /// The key type of the map.
kpeter@79
    84
      typedef K Key;
kpeter@35
    85
      /// The value type of the map. (The type of objects associated with the keys).
alpar@25
    86
      typedef T Value;
alpar@25
    87
kpeter@79
    88
      /// Sets the value associated with the given key.
kpeter@79
    89
      void set(const Key &, const Value &) {}
alpar@25
    90
kpeter@79
    91
      /// Default constructor.
alpar@25
    92
      WriteMap() {}
alpar@25
    93
alpar@25
    94
      template <typename _WriteMap>
alpar@25
    95
      struct Constraints {
alpar@25
    96
	void constraints() {
alpar@25
    97
	  m.set(key, val);
alpar@25
    98
	  m.set(own_key, own_val);
kpeter@79
    99
alpar@25
   100
	  ignore_unused_variable_warning(key);
alpar@25
   101
	  ignore_unused_variable_warning(val);
alpar@25
   102
	  ignore_unused_variable_warning(own_key);
alpar@25
   103
	  ignore_unused_variable_warning(own_val);
alpar@25
   104
	}
kpeter@79
   105
	const Key& key;
kpeter@79
   106
	const Value& val;
kpeter@79
   107
	const typename _WriteMap::Key& own_key;
kpeter@79
   108
	const typename _WriteMap::Value own_val;
alpar@25
   109
	_WriteMap& m;
alpar@25
   110
      };
alpar@25
   111
    };
alpar@25
   112
kpeter@48
   113
    /// Read/writable map concept
kpeter@79
   114
kpeter@28
   115
    /// Read/writable map concept.
kpeter@28
   116
    ///
alpar@25
   117
    template<typename K, typename T>
alpar@25
   118
    class ReadWriteMap : public ReadMap<K,T>,
kpeter@35
   119
			 public WriteMap<K,T>
alpar@25
   120
    {
alpar@25
   121
    public:
kpeter@35
   122
      /// The key type of the map.
kpeter@79
   123
      typedef K Key;
kpeter@35
   124
      /// The value type of the map. (The type of objects associated with the keys).
alpar@25
   125
      typedef T Value;
alpar@25
   126
kpeter@79
   127
      /// Returns the value associated with the given key.
kpeter@94
   128
      Value operator[](const Key &) const { 
kpeter@94
   129
        return *static_cast<Value *>(0);
kpeter@94
   130
      }
kpeter@79
   131
kpeter@79
   132
      /// Sets the value associated with the given key.
kpeter@79
   133
      void set(const Key &, const Value &) {}
alpar@25
   134
alpar@25
   135
      template<typename _ReadWriteMap>
alpar@25
   136
      struct Constraints {
alpar@25
   137
	void constraints() {
alpar@25
   138
	  checkConcept<ReadMap<K, T>, _ReadWriteMap >();
alpar@25
   139
	  checkConcept<WriteMap<K, T>, _ReadWriteMap >();
alpar@25
   140
	}
alpar@25
   141
      };
alpar@25
   142
    };
kpeter@79
   143
kpeter@79
   144
kpeter@28
   145
    /// Dereferable map concept
kpeter@79
   146
kpeter@28
   147
    /// Dereferable map concept.
kpeter@28
   148
    ///
alpar@25
   149
    template<typename K, typename T, typename R, typename CR>
alpar@25
   150
    class ReferenceMap : public ReadWriteMap<K,T>
alpar@25
   151
    {
alpar@25
   152
    public:
alpar@25
   153
      /// Tag for reference maps.
alpar@25
   154
      typedef True ReferenceMapTag;
kpeter@35
   155
      /// The key type of the map.
kpeter@79
   156
      typedef K Key;
kpeter@35
   157
      /// The value type of the map. (The type of objects associated with the keys).
alpar@25
   158
      typedef T Value;
kpeter@35
   159
      /// The reference type of the map.
alpar@25
   160
      typedef R Reference;
kpeter@35
   161
      /// The const reference type of the map.
alpar@25
   162
      typedef CR ConstReference;
alpar@25
   163
alpar@25
   164
    public:
alpar@25
   165
kpeter@79
   166
      /// Returns a reference to the value associated with the given key.
kpeter@94
   167
      Reference operator[](const Key &) { 
kpeter@94
   168
        return *static_cast<Value *>(0);
kpeter@94
   169
      }
kpeter@79
   170
kpeter@79
   171
      /// Returns a const reference to the value associated with the given key.
kpeter@94
   172
      ConstReference operator[](const Key &) const {
kpeter@94
   173
        return *static_cast<Value *>(0);
kpeter@94
   174
      }
kpeter@79
   175
kpeter@79
   176
      /// Sets the value associated with the given key.
alpar@25
   177
      void set(const Key &k,const Value &t) { operator[](k)=t; }
alpar@25
   178
alpar@25
   179
      template<typename _ReferenceMap>
kpeter@74
   180
      struct Constraints {
alpar@25
   181
	void constraints() {
kpeter@74
   182
	  checkConcept<ReadWriteMap<K, T>, _ReferenceMap >();
kpeter@79
   183
	  ref = m[key];
alpar@25
   184
	  m[key] = val;
alpar@25
   185
	  m[key] = ref;
kpeter@79
   186
	  m[key] = cref;
kpeter@79
   187
	  own_ref = m[own_key];
alpar@25
   188
	  m[own_key] = own_val;
alpar@25
   189
	  m[own_key] = own_ref;
kpeter@79
   190
	  m[own_key] = own_cref;
kpeter@79
   191
	  m[key] = m[own_key];
kpeter@79
   192
	  m[own_key] = m[key];
alpar@25
   193
	}
kpeter@79
   194
	const Key& key;
kpeter@79
   195
	Value& val;
kpeter@79
   196
	Reference ref;
kpeter@79
   197
	ConstReference cref;
kpeter@79
   198
	const typename _ReferenceMap::Key& own_key;
alpar@25
   199
	typename _ReferenceMap::Value& own_val;
kpeter@74
   200
	typename _ReferenceMap::Reference own_ref;
kpeter@79
   201
	typename _ReferenceMap::ConstReference own_cref;
alpar@25
   202
	_ReferenceMap& m;
alpar@25
   203
      };
alpar@25
   204
    };
alpar@25
   205
alpar@25
   206
    // @}
alpar@25
   207
alpar@25
   208
  } //namespace concepts
kpeter@28
   209
alpar@25
   210
} //namespace lemon
kpeter@28
   211
alpar@25
   212
#endif // LEMON_CONCEPT_MAPS_H