RhodeCode

// utility from BOOST.

// See the appropriate copyright notice below.

// (C) Copyright Jeremy Siek 2000.

// Distributed under the Boost Software License, Version 1.0. (See

// accompanying file LICENSE_1_0.txt or copy at

// http://www.boost.org/LICENSE_1_0.txt)

//

// Revision History:

//   05 May   2001: Workarounds for HP aCC from Thomas Matelich. (Jeremy Siek)

//   02 April 2001: Removed limits header altogether. (Jeremy Siek)

//   01 April 2001: Modified to use new <boost/limits.hpp> header. (JMaddock)

//

// See http://www.boost.org/libs/concept_check for documentation.

namespace lemon {

  /*

    "inline" is used for ignore_unused_variable_warning()

    and function_requires() to make sure there is no

    overtarget with g++.

  */

  template <class T> inline void ignore_unused_variable_warning(const T&) { }

  template <class Concept>

  inline void function_requires()

  {

#if !defined(NDEBUG)

    void (Concept::*x)() = & Concept::constraints;

  typedef concept_checking_##tv1##tv2##tv3##concept< \

    BOOST_FPTR ns::concept<tv1,tv2,tv3>::constraints> \

    concept_checking_typedef_##tv1##tv2##tv3##concept

#define BOOST_CLASS_REQUIRE4(tv1, tv2, tv3, tv4, ns, concept) \

  typedef void (ns::concept <tv1,tv2,tv3,tv4>::* \

     func##tv1##tv2##tv3##tv4##concept)(); \

  template <func##tv1##tv2##tv3##tv4##concept Tp1_> \

  struct concept_checking_##tv1##tv2##tv3##tv4##concept { }; \

  typedef concept_checking_##tv1##tv2##tv3##tv4##concept< \

    BOOST_FPTR ns::concept<tv1,tv2,tv3,tv4>::constraints> \

    concept_checking_typedef_##tv1##tv2##tv3##tv4##concept

} // namespace lemon

#include <lemon/bits/utility.h>

#include <lemon/concept_check.h>

///\ingroup concept

///\file

///\brief Map concepts checking classes for testing and documenting.

namespace lemon {

  namespace concepts {

    /// \addtogroup concept

    /// @{

    /// Readable map concept

    template<typename K, typename T>

    class ReadMap

    {

    public:

      /// Map's key type.

      typedef K Key;    

      /// Map's value type. (The type of objects associated with the keys).

      typedef T Value;

      /// Returns the value associated with a key.

      ///

      Value operator[](const Key &) const {return Value();}

      template<typename _ReadMap>

      struct Constraints {

	void constraints() {

	  Value val = m[key];

	  val = m[key];

	  typename _ReadMap::Value own_val = m[own_key]; 

	  own_val = m[own_key]; 

	  ignore_unused_variable_warning(val);

	  ignore_unused_variable_warning(own_val);

	  ignore_unused_variable_warning(key);

	}

	Key& key;

	typename _ReadMap::Key& own_key;

	_ReadMap& m;

      };

    };

    /// Writable map concept

    template<typename K, typename T>

    class WriteMap

    {

    public:

      /// Map's key type.

      typedef K Key;    

      /// Map's value type. (The type of objects associated with the keys).

      typedef T Value;

      /// Sets the value associated with a key.

      void set(const Key &,const Value &) {}

      ///Default constructor

      WriteMap() {}

      template <typename _WriteMap>

	  m.set(own_key, own_val);

	  ignore_unused_variable_warning(key);

	  ignore_unused_variable_warning(val);

	  ignore_unused_variable_warning(own_key);

	  ignore_unused_variable_warning(own_val);

	}

	Value& val;

	typename _WriteMap::Value own_val;

	Key& key;

	typename _WriteMap::Key& own_key;

	_WriteMap& m;

      };

    };

    template<typename K, typename T>

    class ReadWriteMap : public ReadMap<K,T>,

			    public WriteMap<K,T>

    {

    public:

      /// Map's key type.

      typedef K Key;    

      /// Map's value type. (The type of objects associated with the keys).

      typedef T Value;

      /// Returns the value associated with a key.

      Value operator[](const Key &) const {return Value();}

      /// Sets the value associated with a key.

      void set(const Key & ,const Value &) {}

      template<typename _ReadWriteMap>

      struct Constraints {

	void constraints() {

	  checkConcept<ReadMap<K, T>, _ReadWriteMap >();

	  checkConcept<WriteMap<K, T>, _ReadWriteMap >();

	}

      };

    };

    template<typename K, typename T, typename R, typename CR>

    class ReferenceMap : public ReadWriteMap<K,T>

    {

    public:

      /// Tag for reference maps.

      typedef True ReferenceMapTag;

      /// Map's key type.

      typedef K Key;    

      /// Map's value type. (The type of objects associated with the keys).

      typedef T Value;

      /// Map's reference type.

      typedef R Reference;

      /// Map's const reference type.

      typedef CR ConstReference;

    protected:

      Value tmp;

    public:

      ///Returns a reference to the value associated to a key.

      Reference operator[](const Key &) { return tmp; }

      ///Returns a const reference to the value associated to a key.

      /// Sets the value associated with a key.

      void set(const Key &k,const Value &t) { operator[](k)=t; }

      template<typename _ReferenceMap>

      struct ReferenceMapConcept {

	void constraints() {

	  checkConcept<ReadWriteMap, _ReferenceMap >();

	  m[key] = val;

	  val  = m[key];

	  m[key] = ref;

	  ref = m[key];

	  m[own_key] = own_val;

	  own_val  = m[own_key];

	  m[own_key] = own_ref;

	  own_ref = m[own_key];	  	  

	}

	typename _ReferenceMap::Key& own_key;

	typename _ReferenceMap::Value& own_val;

	typename _ReferenceMap::Reference& own_ref;

	Key& key;

	Value& val;

	Reference& ref;

	_ReferenceMap& m;

      };

    };

    // @}

  } //namespace concepts

} //namespace lemon

#endif // LEMON_CONCEPT_MAPS_H