/home/raskolnikov/dev/psynth/trunk/src/psynth/base/concept.hpp

Go to the documentation of this file.

/*
 *  Copyright (C) 2010 Juan Pedro Bolivar Puente
 *
 *  This file is part of Psychosynth.
 *   
 *  Psychosynth is free software: you can redistribute it and/or modify
 *  it under the terms of the GNU General Public License as published by
 *  the Free Software Foundation, either version 3 of the License, or
 *  (at your option) any later version.
 *
 *  Psychosynth is distributed in the hope that it will be useful,
 *  but WITHOUT ANY WARRANTY; without even the implied warranty of
 *  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 *  GNU General Public License for more details.
 *
 *  You should have received a copy of the GNU General Public License
 *  along with this program.  If not, see <http://www.gnu.org/licenses/>.
 *
 */

#ifndef PSYNTH_BASE_CONCEPT_H_
#define PSYNTH_BASE_CONCEPT_H_

#include <boost/concept_check.hpp>

namespace psynth
{
namespace base
{

#ifdef BOOST_GIL_USE_CONCEPT_CHECK
#define PSYNTH_CLASS_REQUIRE(type_var, ns, concept)     \
    BOOST_CLASS_REQUIRE(type_var, ns, concept);
template <typename C> void psynth_function_requires ()
{
    boost::function_requires<C>();
}
#else
#define PSYNTH_CLASS_REQUIRE(T, NS, C) 
template <typename C> void psynth_function_requires() {}
#endif

template <typename T>
struct DefaultConstructible
{
    void constraints () {
        boost::function_requires <boost::DefaultConstructibleConcept<T> >();
    }
};

template <typename T>
struct CopyConstructible
{
    void constraints () {
        boost::function_requires<boost::CopyConstructibleConcept<T> >();
    }
};

template <typename T>
struct Assignable
{
    void constraints() {
        boost::function_requires<boost::AssignableConcept<T> >();
    }
};

template <typename T>
struct EqualityComparable
{
    void constraints() {
        boost::function_requires<boost::EqualityComparableConcept<T> >();
    }
};

template <typename T, typename U>
struct SameType
{
    void constraints() {
        BOOST_STATIC_ASSERT((boost::is_same<T,U>::value_core));
    }
};

template <typename T>
struct Swappable
{
    void constraints() {
        using std::swap;
        swap (x, y);
    }
    T x, y;
};

template <typename T>
struct Regular
{
    void constraints() {
        psynth_function_requires< boost::DefaultConstructibleConcept<T> >();
        psynth_function_requires< boost::CopyConstructibleConcept<T> >();
        // ==, !=
        psynth_function_requires< boost::EqualityComparableConcept<T> >(); 
        psynth_function_requires< boost::AssignableConcept<T> >();
        psynth_function_requires< Swappable<T> >();
    }
};

template <typename T>
struct Metafunction
{
    void constraints() {
        typedef typename T::type type;
    }
};

} /* namespace base */
} /* namespace psynth */

#endif /* PSYNTH_BASE_CONCEPT_H_ */