1 files changed, 195 insertions, 0 deletions
diff --git a/boost/gil/concepts/basic.hpp b/boost/gil/concepts/basic.hpp
new file mode 100644
index 0000000000..a636b911f7
--- /dev/null
+++ b/boost/gil/concepts/basic.hpp
@@ -0,0 +1,195 @@
+//
+// Copyright 2005-2007 Adobe Systems Incorporated
+//
+// 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
+//
+#ifndef BOOST_GIL_CONCEPTS_BASIC_HPP
+#define BOOST_GIL_CONCEPTS_BASIC_HPP
+
+#include <boost/config.hpp>
+
+#if defined(BOOST_CLANG)
+#pragma clang diagnostic push
+#pragma clang diagnostic ignored "-Wunused-local-typedefs"
+#pragma clang diagnostic ignored "-Wuninitialized"
+#endif
+
+#if defined(BOOST_GCC) && (BOOST_GCC >= 40600)
+#pragma GCC diagnostic push
+#pragma GCC diagnostic ignored "-Wunused-local-typedefs"
+#pragma GCC diagnostic ignored "-Wuninitialized"
+#endif
+
+#include <boost/gil/concepts/concept_check.hpp>
+
+#include <type_traits>
+#include <utility> // std::swap
+
+namespace boost { namespace gil {
+
+/// \brief Concept of default construction requirement.
+/// \code
+/// auto concept DefaultConstructible<typename T>
+/// {
+///     T::T();
+/// };
+/// \endcode
+/// \ingroup BasicConcepts
+///
+template <typename T>
+struct DefaultConstructible
+{
+    void constraints()
+    {
+        function_requires<boost::DefaultConstructibleConcept<T>>();
+    }
+};
+
+/// \brief Concept of copy construction requirement.
+/// \code
+/// auto concept CopyConstructible<typename T>
+/// {
+///     T::T(T);
+///     T::~T();
+/// };
+/// \endcode
+/// \ingroup BasicConcepts
+///
+template <typename T>
+struct CopyConstructible
+{
+    void constraints()
+    {
+        function_requires<boost::CopyConstructibleConcept<T>>();
+    }
+};
+
+/// \brief Concept of copy assignment requirement.
+/// \code
+/// auto concept Assignable<typename T, typename U = T>
+/// {
+///     typename result_type;
+///     result_type operator=(T&, U);
+/// };
+/// \endcode
+/// \ingroup BasicConcepts
+///
+template <typename T>
+struct Assignable
+{
+    void constraints()
+    {
+        function_requires<boost::AssignableConcept<T>>();
+    }
+};
+
+/// \brief Concept of == and != comparability requirement.
+/// \code
+/// auto concept EqualityComparable<typename T, typename U = T>
+/// {
+///     bool operator==(T x, T y);
+///     bool operator!=(T x, T y) { return !(x==y); }
+/// };
+/// \endcode
+/// \ingroup BasicConcepts
+///
+template <typename T>
+struct EqualityComparable
+{
+    void constraints()
+    {
+        function_requires<boost::EqualityComparableConcept<T>>();
+    }
+};
+
+/// \brief Concept of swap operation requirement.
+/// \code
+/// auto concept Swappable<typename T>
+/// {
+///     void swap(T&,T&);
+/// };
+/// \endcode
+/// \ingroup BasicConcepts
+///
+template <typename T>
+struct Swappable
+{
+    void constraints()
+    {
+        using std::swap;
+        swap(x,y);
+    }
+    T x,y;
+};
+
+/// \brief Concept for type regularity requirement.
+/// \code
+/// auto concept Regular<typename T>
+///     : DefaultConstructible<T>
+///     , CopyConstructible<T>
+///     , EqualityComparable<T>
+///     , Assignable<T>
+///     , Swappable<T>
+/// {};
+/// \endcode
+/// \ingroup BasicConcepts
+///
+template <typename T>
+struct Regular
+{
+    void constraints()
+    {
+        gil_function_requires< boost::DefaultConstructibleConcept<T>>();
+        gil_function_requires< boost::CopyConstructibleConcept<T>>();
+        gil_function_requires< boost::EqualityComparableConcept<T>>(); // ==, !=
+        gil_function_requires< boost::AssignableConcept<T>>();
+        gil_function_requires< Swappable<T>>();
+    }
+};
+
+/// \brief Concept for type as metafunction requirement.
+/// \code
+/// auto concept Metafunction<typename T>
+/// {
+///     typename type;
+/// };
+/// \endcode
+/// \ingroup BasicConcepts
+///
+template <typename T>
+struct Metafunction
+{
+    void constraints()
+    {
+        using type = typename T::type;
+    }
+};
+
+/// \brief Concept of types equivalence requirement.
+/// \code
+/// auto concept SameType<typename T, typename U>; // unspecified
+/// \endcode
+/// \ingroup BasicConcepts
+///
+template <typename T, typename U>
+struct SameType
+{
+    void constraints()
+    {
+        static_assert(std::is_same<T, U>::value, "");
+    }
+};
+
+}} // namespace boost::gil
+
+#if defined(BOOST_CLANG)
+#pragma clang diagnostic pop
+#endif
+
+#if defined(BOOST_GCC) && (BOOST_GCC >= 40600)
+#pragma GCC diagnostic pop
+#endif
+
+#endif