<!-- Copyright 2008 Lubomir Bourdev and Hailin Jin
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)
-->
<!--
Copyright 2005-2007 Adobe Systems Incorporated
Distributed under the MIT License (see accompanying file LICENSE_1_0_0.txt
or a copy at http://stlab.adobe.com/licenses.html)
Some files are held under additional license.
Please see "http://stlab.adobe.com/licenses.html" for more information.
-->
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
"http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/1999/xhtml" lang="en" xml:lang="en">
<head>
<TITLE>Generic Image Library: gil_concept.hpp Source File</TITLE>
<META HTTP-EQUIV="content-type" CONTENT="text/html;charset=ISO-8859-1"/>
<LINK TYPE="text/css" REL="stylesheet" HREF="adobe_source.css"/>
</head>
<body>
<table border="0" cellspacing="0" cellpadding="0" style='width: 100%; margin: 0; padding: 0'><tr>
<td width="100%" valign="top" style='padding-left: 10px; padding-right: 10px; padding-bottom: 10px'>
<div class="qindex"><a class="qindex" href="index.html">Modules</a>
| <a class="qindex" href="classes.html">Alphabetical List</a>
| <a class="qindex" href="annotated.html">Class List</a>
| <a class="qindex" href="dirs.html">Directories</a>
| <a class="qindex" href="files.html">File List</a>
| <a class="qindex" href="../index.html">GIL Home Page</a>
</div>
<!-- End Header -->
<!-- Generated by Doxygen 1.5.6 -->
<div class="navpath"><a class="el" href="g_i_l_0076.html">boost</a> » <a class="el" href="g_i_l_0079.html">gil</a>
</div>
<div class="contents">
<h1>gil_concept.hpp</h1><a href="g_i_l_0092.html">Go to the documentation of this file.</a><div class="fragment"><pre class="fragment"><a name="l00001"></a>00001 <span class="comment">/*</span>
<a name="l00002"></a>00002 <span class="comment"> Copyright 2005-2007 Adobe Systems Incorporated</span>
<a name="l00003"></a>00003 <span class="comment"> </span>
<a name="l00004"></a>00004 <span class="comment"> Use, modification and distribution are subject to the Boost Software License,</span>
<a name="l00005"></a>00005 <span class="comment"> Version 1.0. (See accompanying file LICENSE_1_0.txt or copy at</span>
<a name="l00006"></a>00006 <span class="comment"> http://www.boost.org/LICENSE_1_0.txt).</span>
<a name="l00007"></a>00007 <span class="comment"></span>
<a name="l00008"></a>00008 <span class="comment"> See http://opensource.adobe.com/gil for most recent version including documentation.</span>
<a name="l00009"></a>00009 <span class="comment">*/</span>
<a name="l00010"></a>00010
<a name="l00011"></a>00011 <span class="comment">/*************************************************************************************************/</span>
<a name="l00012"></a>00012
<a name="l00013"></a>00013 <span class="preprocessor">#ifndef GIL_CONCEPT_H</span>
<a name="l00014"></a>00014 <span class="preprocessor"></span><span class="preprocessor">#define GIL_CONCEPT_H</span>
<a name="l00015"></a>00015 <span class="preprocessor"></span>
<a name="l00024"></a>00024
<a name="l00025"></a>00025 <span class="preprocessor">#include <functional></span>
<a name="l00026"></a>00026 <span class="preprocessor">#include "<a class="code" href="g_i_l_0094.html" title="GIL configuration file.">gil_config.hpp</a>"</span>
<a name="l00027"></a>00027 <span class="preprocessor">#include <boost/type_traits.hpp></span>
<a name="l00028"></a>00028 <span class="preprocessor">#include <boost/utility/enable_if.hpp></span>
<a name="l00029"></a>00029 <span class="preprocessor">#include <boost/concept_check.hpp></span>
<a name="l00030"></a>00030 <span class="preprocessor">#include <boost/iterator/iterator_concepts.hpp></span>
<a name="l00031"></a>00031 <span class="preprocessor">#include <boost/mpl/and.hpp></span>
<a name="l00032"></a>00032 <span class="preprocessor">#include <boost/mpl/size.hpp></span>
<a name="l00033"></a>00033
<a name="l00034"></a>00034 <span class="keyword">namespace </span>boost { <span class="keyword">namespace </span>gil {
<a name="l00035"></a>00035 <span class="keyword">template</span> <<span class="keyword">typename</span> T> <span class="keyword">struct </span>channel_traits;
<a name="l00036"></a>00036 <span class="keyword">template</span> <<span class="keyword">typename</span> P> <span class="keyword">struct </span>is_pixel;
<a name="l00037"></a>00037 <span class="keyword">template</span> <<span class="keyword">typename</span> dstT, <span class="keyword">typename</span> srcT>
<a name="l00038"></a>00038 <span class="keyword">typename</span> channel_traits<dstT>::value_type <a class="code" href="g_i_l_0099.html#gf04e6ac30a35a1f68a8bb84730e34786" title="Converting from one channel type to another.">channel_convert</a>(srcT val);
<a name="l00039"></a>00039 <span class="keyword">template</span> <<span class="keyword">typename</span> T> <span class="keyword">class </span>point2;
<a name="l00040"></a>00040 <span class="keyword">template</span> <std::<span class="keywordtype">size_t</span> K, <span class="keyword">typename</span> T> <span class="keyword">const</span> T& axis_value(<span class="keyword">const</span> point2<T>& p);
<a name="l00041"></a>00041 <span class="keyword">template</span> <std::<span class="keywordtype">size_t</span> K, <span class="keyword">typename</span> T> T& axis_value( point2<T>& p);
<a name="l00042"></a>00042 <span class="keyword">template</span> <<span class="keyword">typename</span> ColorBase, <span class="keywordtype">int</span> K> <span class="keyword">struct </span>kth_element_type;
<a name="l00043"></a>00043 <span class="keyword">template</span> <<span class="keyword">typename</span> ColorBase, <span class="keywordtype">int</span> K> <span class="keyword">struct </span>kth_element_reference_type;
<a name="l00044"></a>00044 <span class="keyword">template</span> <<span class="keyword">typename</span> ColorBase, <span class="keywordtype">int</span> K> <span class="keyword">struct </span>kth_element_const_reference_type;
<a name="l00045"></a>00045 <span class="keyword">template</span> <<span class="keyword">typename</span> ColorBase, <span class="keywordtype">int</span> K> <span class="keyword">struct </span>kth_semantic_element_reference_type;
<a name="l00046"></a>00046 <span class="keyword">template</span> <<span class="keyword">typename</span> ColorBase, <span class="keywordtype">int</span> K> <span class="keyword">struct </span>kth_semantic_element_const_reference_type;
<a name="l00047"></a>00047 <span class="keyword">template</span> <<span class="keyword">typename</span> ColorBase> <span class="keyword">struct </span>size;
<a name="l00048"></a>00048 <span class="keyword">template</span> <<span class="keyword">typename</span> ColorBase> <span class="keyword">struct </span>element_type;
<a name="l00049"></a>00049 <span class="keyword">template</span> <<span class="keyword">typename</span> T> <span class="keyword">struct </span>channel_type;
<a name="l00050"></a>00050 <span class="keyword">template</span> <<span class="keyword">typename</span> T> <span class="keyword">struct </span>color_space_type;
<a name="l00051"></a>00051 <span class="keyword">template</span> <<span class="keyword">typename</span> T> <span class="keyword">struct </span>channel_mapping_type;
<a name="l00052"></a>00052 <span class="keyword">template</span> <<span class="keyword">typename</span> T> <span class="keyword">struct </span>is_planar;
<a name="l00053"></a>00053 <span class="keyword">template</span> <<span class="keyword">typename</span> T> <span class="keyword">struct </span>num_channels;
<a name="l00054"></a>00054
<a name="l00055"></a>00055 <span class="keyword">template</span> <<span class="keyword">typename</span> It> <span class="keyword">struct </span>const_iterator_type;
<a name="l00056"></a>00056 <span class="keyword">template</span> <<span class="keyword">typename</span> It> <span class="keyword">struct </span>iterator_is_mutable;
<a name="l00057"></a>00057 <span class="keyword">template</span> <<span class="keyword">typename</span> It> <span class="keyword">struct </span>is_iterator_adaptor;
<a name="l00058"></a>00058 <span class="keyword">template</span> <<span class="keyword">typename</span> It, <span class="keyword">typename</span> NewBaseIt> <span class="keyword">struct </span>iterator_adaptor_rebind;
<a name="l00059"></a>00059 <span class="keyword">template</span> <<span class="keyword">typename</span> It> <span class="keyword">struct </span>iterator_adaptor_get_base;
<a name="l00060"></a>00060
<a name="l00061"></a>00061
<a name="l00062"></a>00062 <span class="comment">// forward-declare at_c</span>
<a name="l00063"></a>00063 <span class="keyword">namespace </span>detail { <span class="keyword">template</span> <<span class="keyword">typename</span> Element, <span class="keyword">typename</span> Layout, <span class="keywordtype">int</span> K> <span class="keyword">struct </span>homogeneous_color_base; }
<a name="l00064"></a>00064 <span class="keyword">template</span> <<span class="keywordtype">int</span> K, <span class="keyword">typename</span> E, <span class="keyword">typename</span> L, <span class="keywordtype">int</span> N>
<a name="l00065"></a>00065 <span class="keyword">typename</span> add_reference<E>::type at_c( detail::homogeneous_color_base<E,L,N>& p);
<a name="l00066"></a>00066
<a name="l00067"></a>00067 <span class="keyword">template</span> <<span class="keywordtype">int</span> K, <span class="keyword">typename</span> E, <span class="keyword">typename</span> L, <span class="keywordtype">int</span> N>
<a name="l00068"></a>00068 <span class="keyword">typename</span> add_reference<typename add_const<E>::type>::type at_c(<span class="keyword">const</span> detail::homogeneous_color_base<E,L,N>& p);
<a name="l00069"></a>00069
<a name="l00070"></a>00070 <span class="preprocessor">#if !defined(_MSC_VER) || _MSC_VER > 1310</span>
<a name="l00071"></a>00071 <span class="preprocessor"></span><span class="keyword">template</span> <<span class="keyword">typename</span> P, <span class="keyword">typename</span> C, <span class="keyword">typename</span> L> <span class="keyword">struct </span>packed_pixel;
<a name="l00072"></a>00072 <span class="keyword">template</span> <<span class="keywordtype">int</span> K, <span class="keyword">typename</span> P, <span class="keyword">typename</span> C, <span class="keyword">typename</span> L>
<a name="l00073"></a>00073 <span class="keyword">typename</span> kth_element_reference_type<packed_pixel<P,C,L>, K>::type
<a name="l00074"></a>00074 at_c(packed_pixel<P,C,L>& p);
<a name="l00075"></a>00075
<a name="l00076"></a>00076 <span class="keyword">template</span> <<span class="keywordtype">int</span> K, <span class="keyword">typename</span> P, <span class="keyword">typename</span> C, <span class="keyword">typename</span> L>
<a name="l00077"></a>00077 <span class="keyword">typename</span> kth_element_const_reference_type<packed_pixel<P,C,L>,K>::type
<a name="l00078"></a>00078 at_c(<span class="keyword">const</span> packed_pixel<P,C,L>& p);
<a name="l00079"></a>00079
<a name="l00080"></a>00080 <span class="keyword">template</span> <<span class="keyword">typename</span> B, <span class="keyword">typename</span> C, <span class="keyword">typename</span> L, <span class="keywordtype">bool</span> M> <span class="keyword">struct </span>bit_aligned_pixel_reference;
<a name="l00081"></a>00081
<a name="l00082"></a>00082 <span class="keyword">template</span> <<span class="keywordtype">int</span> K, <span class="keyword">typename</span> B, <span class="keyword">typename</span> C, <span class="keyword">typename</span> L, <span class="keywordtype">bool</span> M> <span class="keyword">inline</span>
<a name="l00083"></a>00083 <span class="keyword">typename</span> kth_element_reference_type<bit_aligned_pixel_reference<B,C,L,M>, K>::type
<a name="l00084"></a>00084 at_c(<span class="keyword">const</span> bit_aligned_pixel_reference<B,C,L,M>& p);
<a name="l00085"></a>00085 <span class="preprocessor">#endif</span>
<a name="l00086"></a>00086 <span class="preprocessor"></span>
<a name="l00087"></a>00087 <span class="comment">// Forward-declare semantic_at_c</span>
<a name="l00088"></a>00088 <span class="keyword">template</span> <<span class="keywordtype">int</span> K, <span class="keyword">typename</span> ColorBase>
<a name="l00089"></a>00089 <span class="keyword">typename</span> disable_if<is_const<ColorBase>,<span class="keyword">typename</span> kth_semantic_element_reference_type<ColorBase,K>::type>::type <a class="code" href="g_i_l_0114.html#gba9e03ce04fda71e2e840c10325b8b11" title="A constant accessor to the K-th semantic element of a color base.">semantic_at_c</a>(ColorBase& p);
<a name="l00090"></a>00090 <span class="keyword">template</span> <<span class="keywordtype">int</span> K, <span class="keyword">typename</span> ColorBase>
<a name="l00091"></a>00091 <span class="keyword">typename</span> kth_semantic_element_const_reference_type<ColorBase,K>::type <a class="code" href="g_i_l_0114.html#gba9e03ce04fda71e2e840c10325b8b11" title="A constant accessor to the K-th semantic element of a color base.">semantic_at_c</a>(<span class="keyword">const</span> ColorBase& p);
<a name="l00092"></a>00092
<a name="l00093"></a>00093 <span class="keyword">template</span> <<span class="keyword">typename</span> T> <span class="keyword">struct </span>dynamic_x_step_type;
<a name="l00094"></a>00094 <span class="keyword">template</span> <<span class="keyword">typename</span> T> <span class="keyword">struct </span>dynamic_y_step_type;
<a name="l00095"></a>00095 <span class="keyword">template</span> <<span class="keyword">typename</span> T> <span class="keyword">struct </span>transposed_type;
<a name="l00096"></a>00096
<a name="l00097"></a>00097 <span class="keyword">namespace </span>detail {
<a name="l00098"></a>00098 <span class="keyword">template</span> <<span class="keyword">typename</span> T>
<a name="l00099"></a>00099 <span class="keywordtype">void</span> initialize_it(T& x) {}
<a name="l00100"></a>00100 } <span class="comment">// namespace detail</span>
<a name="l00101"></a>00101
<a name="l00102"></a>00102 <span class="keyword">template</span> <<span class="keyword">typename</span> T>
<a name="l00103"></a>00103 <span class="keyword">struct </span>remove_const_and_reference : <span class="keyword">public</span> remove_const<typename remove_reference<T>::type> {};
<a name="l00104"></a>00104
<a name="l00105"></a>00105 <span class="preprocessor">#ifdef BOOST_GIL_USE_CONCEPT_CHECK</span>
<a name="l00106"></a>00106 <span class="preprocessor"></span><span class="preprocessor"> #define GIL_CLASS_REQUIRE(type_var, ns, concept) BOOST_CLASS_REQUIRE(type_var, ns, concept);</span>
<a name="l00107"></a>00107 <span class="preprocessor"></span> <span class="keyword">template</span> <<span class="keyword">typename</span> C> <span class="keywordtype">void</span> gil_function_requires() { function_requires<C>(); }
<a name="l00108"></a>00108 <span class="preprocessor">#else</span>
<a name="l00109"></a>00109 <span class="preprocessor"></span><span class="preprocessor"> #define GIL_CLASS_REQUIRE(T,NS,C) </span>
<a name="l00110"></a>00110 <span class="preprocessor"></span> <span class="keyword">template</span> <<span class="keyword">typename</span> C> <span class="keywordtype">void</span> gil_function_requires() {}
<a name="l00111"></a>00111 <span class="preprocessor">#endif</span>
<a name="l00112"></a>00112 <span class="preprocessor"></span>
<a name="l00114"></a>00114
<a name="l00121"></a>00121 <span class="keyword">template</span> <<span class="keyword">typename</span> T>
<a name="l00122"></a><a class="code" href="g_i_l_0286.html">00122</a> <span class="keyword">struct </span><a class="code" href="g_i_l_0286.html">DefaultConstructible</a> {
<a name="l00123"></a>00123 <span class="keywordtype">void</span> constraints() {
<a name="l00124"></a>00124 function_requires<boost::DefaultConstructibleConcept<T> >();
<a name="l00125"></a>00125 }
<a name="l00126"></a>00126 };
<a name="l00127"></a>00127
<a name="l00129"></a>00129
<a name="l00136"></a>00136 <span class="keyword">template</span> <<span class="keyword">typename</span> T>
<a name="l00137"></a><a class="code" href="g_i_l_0284.html">00137</a> <span class="keyword">struct </span><a class="code" href="g_i_l_0284.html">CopyConstructible</a> {
<a name="l00138"></a>00138 <span class="keywordtype">void</span> constraints() {
<a name="l00139"></a>00139 function_requires<boost::CopyConstructibleConcept<T> >();
<a name="l00140"></a>00140 }
<a name="l00141"></a>00141 };
<a name="l00142"></a>00142
<a name="l00144"></a>00144
<a name="l00152"></a>00152 <span class="keyword">template</span> <<span class="keyword">typename</span> T>
<a name="l00153"></a><a class="code" href="g_i_l_0262.html">00153</a> <span class="keyword">struct </span><a class="code" href="g_i_l_0262.html">Assignable</a> {
<a name="l00154"></a>00154 <span class="keywordtype">void</span> constraints() {
<a name="l00155"></a>00155 function_requires<boost::AssignableConcept<T> >();
<a name="l00156"></a>00156 }
<a name="l00157"></a>00157 };
<a name="l00159"></a>00159
<a name="l00167"></a>00167 <span class="keyword">template</span> <<span class="keyword">typename</span> T>
<a name="l00168"></a><a class="code" href="g_i_l_0288.html">00168</a> <span class="keyword">struct </span><a class="code" href="g_i_l_0288.html">EqualityComparable</a> {
<a name="l00169"></a>00169 <span class="keywordtype">void</span> constraints() {
<a name="l00170"></a>00170 function_requires<boost::EqualityComparableConcept<T> >();
<a name="l00171"></a>00171 }
<a name="l00172"></a>00172 };
<a name="l00173"></a>00173
<a name="l00175"></a>00175
<a name="l00181"></a>00181 <span class="keyword">template</span> <<span class="keyword">typename</span> T, <span class="keyword">typename</span> U>
<a name="l00182"></a><a class="code" href="g_i_l_0378.html">00182</a> <span class="keyword">struct </span><a class="code" href="g_i_l_0378.html">SameType</a> {
<a name="l00183"></a>00183 <span class="keywordtype">void</span> constraints() {
<a name="l00184"></a>00184 BOOST_STATIC_ASSERT((boost::is_same<T,U>::value_core));
<a name="l00185"></a>00185 }
<a name="l00186"></a>00186 };
<a name="l00187"></a>00187
<a name="l00189"></a>00189
<a name="l00196"></a>00196 <span class="keyword">template</span> <<span class="keyword">typename</span> T>
<a name="l00197"></a><a class="code" href="g_i_l_0382.html">00197</a> <span class="keyword">struct </span><a class="code" href="g_i_l_0382.html">Swappable</a> {
<a name="l00198"></a>00198 <span class="keywordtype">void</span> constraints() {
<a name="l00199"></a>00199 <span class="keyword">using</span> std::swap;
<a name="l00200"></a>00200 swap(x,y);
<a name="l00201"></a>00201 }
<a name="l00202"></a>00202 T x,y;
<a name="l00203"></a>00203 };
<a name="l00204"></a>00204
<a name="l00206"></a>00206
<a name="l00213"></a>00213 <span class="keyword">template</span> <<span class="keyword">typename</span> T>
<a name="l00214"></a><a class="code" href="g_i_l_0376.html">00214</a> <span class="keyword">struct </span><a class="code" href="g_i_l_0376.html">Regular</a> {
<a name="l00215"></a>00215 <span class="keywordtype">void</span> constraints() {
<a name="l00216"></a>00216 gil_function_requires< boost::DefaultConstructibleConcept<T> >();
<a name="l00217"></a>00217 gil_function_requires< boost::CopyConstructibleConcept<T> >();
<a name="l00218"></a>00218 gil_function_requires< boost::EqualityComparableConcept<T> >(); <span class="comment">// ==, !=</span>
<a name="l00219"></a>00219 gil_function_requires< boost::AssignableConcept<T> >();
<a name="l00220"></a>00220 gil_function_requires< Swappable<T> >();
<a name="l00221"></a>00221 }
<a name="l00222"></a>00222 };
<a name="l00223"></a>00223
<a name="l00225"></a>00225
<a name="l00232"></a>00232 <span class="keyword">template</span> <<span class="keyword">typename</span> T>
<a name="l00233"></a><a class="code" href="g_i_l_0314.html">00233</a> <span class="keyword">struct </span><a class="code" href="g_i_l_0314.html">Metafunction</a> {
<a name="l00234"></a>00234 <span class="keywordtype">void</span> constraints() {
<a name="l00235"></a>00235 <span class="keyword">typedef</span> <span class="keyword">typename</span> T::type type;
<a name="l00236"></a>00236 }
<a name="l00237"></a>00237 };
<a name="l00239"></a>00239 <span class="comment">//</span>
<a name="l00240"></a>00240 <span class="comment">// POINT CONCEPTS</span>
<a name="l00241"></a>00241 <span class="comment">// </span>
<a name="l00243"></a>00243 <span class="comment"></span>
<a name="l00246"></a>00246
<a name="l00261"></a>00261 <span class="keyword">template</span> <<span class="keyword">typename</span> P>
<a name="l00262"></a><a class="code" href="g_i_l_0362.html">00262</a> <span class="keyword">struct </span><a class="code" href="g_i_l_0362.html" title="N-dimensional point concept.">PointNDConcept</a> {
<a name="l00263"></a>00263 <span class="keywordtype">void</span> constraints() {
<a name="l00264"></a>00264 gil_function_requires< Regular<P> >();
<a name="l00265"></a>00265
<a name="l00266"></a>00266 <span class="keyword">typedef</span> <span class="keyword">typename</span> P::value_type value_type;
<a name="l00267"></a>00267 <span class="keyword">static</span> <span class="keyword">const</span> std::size_t N=P::num_dimensions; ignore_unused_variable_warning(N);
<a name="l00268"></a>00268 <span class="keyword">typedef</span> <span class="keyword">typename</span> P::template axis<0>::coord_t FT;
<a name="l00269"></a>00269 <span class="keyword">typedef</span> <span class="keyword">typename</span> P::template axis<N-1>::coord_t LT;
<a name="l00270"></a>00270 FT ft=gil::axis_value<0>(point);
<a name="l00271"></a>00271 axis_value<0>(point)=ft;
<a name="l00272"></a>00272 LT lt=axis_value<N-1>(point);
<a name="l00273"></a>00273 axis_value<N-1>(point)=lt;
<a name="l00274"></a>00274
<a name="l00275"></a>00275 value_type v=point[0]; ignore_unused_variable_warning(v);
<a name="l00276"></a>00276 point[0]=point[0];
<a name="l00277"></a>00277 }
<a name="l00278"></a>00278 P point;
<a name="l00279"></a>00279 };
<a name="l00280"></a>00280
<a name="l00283"></a>00283
<a name="l00299"></a>00299 <span class="keyword">template</span> <<span class="keyword">typename</span> P>
<a name="l00300"></a><a class="code" href="g_i_l_0360.html">00300</a> <span class="keyword">struct </span><a class="code" href="g_i_l_0360.html" title="2-dimensional point concept">Point2DConcept</a> {
<a name="l00301"></a>00301 <span class="keywordtype">void</span> constraints() {
<a name="l00302"></a>00302 gil_function_requires< PointNDConcept<P> >();
<a name="l00303"></a>00303 BOOST_STATIC_ASSERT(P::num_dimensions == 2);
<a name="l00304"></a>00304 point.x=point.y;
<a name="l00305"></a>00305 point[0]=point[1];
<a name="l00306"></a>00306 }
<a name="l00307"></a>00307 P point;
<a name="l00308"></a>00308 };
<a name="l00309"></a>00309
<a name="l00311"></a>00311 <span class="comment">//</span>
<a name="l00312"></a>00312 <span class="comment">// ITERATOR MUTABILITY CONCEPTS</span>
<a name="l00313"></a>00313 <span class="comment">//</span>
<a name="l00314"></a>00314 <span class="comment">// Taken from boost's concept_check.hpp. Isolating mutability to result in faster compile time </span>
<a name="l00315"></a>00315 <span class="comment">//</span>
<a name="l00317"></a>00317 <span class="comment"></span>
<a name="l00318"></a>00318 <span class="keyword">namespace </span>detail {
<a name="l00319"></a>00319 <span class="keyword">template</span> <<span class="keyword">class</span> TT> <span class="comment">// Preconditions: TT Models boost_concepts::ForwardTraversalConcept</span>
<a name="l00320"></a>00320 <span class="keyword">struct </span>ForwardIteratorIsMutableConcept {
<a name="l00321"></a>00321 <span class="keywordtype">void</span> constraints() {
<a name="l00322"></a>00322 *i++ = *i; <span class="comment">// require postincrement and assignment</span>
<a name="l00323"></a>00323 }
<a name="l00324"></a>00324 TT i;
<a name="l00325"></a>00325 };
<a name="l00326"></a>00326
<a name="l00327"></a>00327 <span class="keyword">template</span> <<span class="keyword">class</span> TT> <span class="comment">// Preconditions: TT Models boost::BidirectionalIteratorConcept</span>
<a name="l00328"></a>00328 <span class="keyword">struct </span>BidirectionalIteratorIsMutableConcept {
<a name="l00329"></a>00329 <span class="keywordtype">void</span> constraints() {
<a name="l00330"></a>00330 gil_function_requires< ForwardIteratorIsMutableConcept<TT> >();
<a name="l00331"></a>00331 *i-- = *i; <span class="comment">// require postdecrement and assignment</span>
<a name="l00332"></a>00332 }
<a name="l00333"></a>00333 TT i;
<a name="l00334"></a>00334 };
<a name="l00335"></a>00335
<a name="l00336"></a>00336 <span class="keyword">template</span> <<span class="keyword">class</span> TT> <span class="comment">// Preconditions: TT Models boost_concepts::RandomAccessTraversalConcept</span>
<a name="l00337"></a>00337 <span class="keyword">struct </span>RandomAccessIteratorIsMutableConcept {
<a name="l00338"></a>00338 <span class="keywordtype">void</span> constraints() {
<a name="l00339"></a>00339 gil_function_requires< BidirectionalIteratorIsMutableConcept<TT> >();
<a name="l00340"></a>00340 <span class="keyword">typename</span> std::iterator_traits<TT>::difference_type n=0; ignore_unused_variable_warning(n);
<a name="l00341"></a>00341 i[n] = *i; <span class="comment">// require element access and assignment</span>
<a name="l00342"></a>00342 }
<a name="l00343"></a>00343 TT i;
<a name="l00344"></a>00344 };
<a name="l00345"></a>00345 } <span class="comment">// namespace detail</span>
<a name="l00346"></a>00346
<a name="l00348"></a>00348 <span class="comment">//</span>
<a name="l00349"></a>00349 <span class="comment">// COLOR SPACE CONCEPTS</span>
<a name="l00350"></a>00350 <span class="comment">//</span>
<a name="l00352"></a>00352 <span class="comment"></span>
<a name="l00355"></a>00355
<a name="l00362"></a>00362 <span class="keyword">template</span> <<span class="keyword">typename</span> Cs>
<a name="l00363"></a><a class="code" href="g_i_l_0280.html">00363</a> <span class="keyword">struct </span><a class="code" href="g_i_l_0280.html" title="Color space type concept.">ColorSpaceConcept</a> {
<a name="l00364"></a>00364 <span class="keywordtype">void</span> constraints() {
<a name="l00365"></a>00365 <span class="comment">// An MPL Random Access Sequence, whose elements are color tags</span>
<a name="l00366"></a>00366 }
<a name="l00367"></a>00367 };
<a name="l00368"></a>00368
<a name="l00369"></a>00369 <span class="keyword">template</span> <<span class="keyword">typename</span> ColorSpace1, <span class="keyword">typename</span> ColorSpace2> <span class="comment">// Models ColorSpaceConcept</span>
<a name="l00370"></a>00370 <span class="keyword">struct </span>color_spaces_are_compatible : <span class="keyword">public</span> is_same<ColorSpace1,ColorSpace2> {};
<a name="l00371"></a>00371
<a name="l00374"></a>00374
<a name="l00381"></a>00381 <span class="keyword">template</span> <<span class="keyword">typename</span> Cs1, <span class="keyword">typename</span> Cs2>
<a name="l00382"></a><a class="code" href="g_i_l_0282.html">00382</a> <span class="keyword">struct </span><a class="code" href="g_i_l_0282.html" title="Two color spaces are compatible if they are the same.">ColorSpacesCompatibleConcept</a> {
<a name="l00383"></a>00383 <span class="keywordtype">void</span> constraints() {
<a name="l00384"></a>00384 BOOST_STATIC_ASSERT((color_spaces_are_compatible<Cs1,Cs2>::value));
<a name="l00385"></a>00385 }
<a name="l00386"></a>00386 };
<a name="l00387"></a>00387
<a name="l00390"></a>00390
<a name="l00397"></a>00397 <span class="keyword">template</span> <<span class="keyword">typename</span> CM>
<a name="l00398"></a><a class="code" href="g_i_l_0268.html">00398</a> <span class="keyword">struct </span><a class="code" href="g_i_l_0268.html" title="Channel mapping concept.">ChannelMappingConcept</a> {
<a name="l00399"></a>00399 <span class="keywordtype">void</span> constraints() {
<a name="l00400"></a>00400 <span class="comment">// An MPL Random Access Sequence, whose elements model MPLIntegralConstant representing a permutation</span>
<a name="l00401"></a>00401 }
<a name="l00402"></a>00402 };
<a name="l00403"></a>00403
<a name="l00404"></a>00404
<a name="l00405"></a>00405
<a name="l00411"></a>00411
<a name="l00414"></a>00414
<a name="l00436"></a>00436 <span class="keyword">template</span> <<span class="keyword">typename</span> T>
<a name="l00437"></a><a class="code" href="g_i_l_0264.html">00437</a> <span class="keyword">struct </span><a class="code" href="g_i_l_0264.html" title="A channel is the building block of a color. Color is defined as a mixture of primary...">ChannelConcept</a> {
<a name="l00438"></a>00438 <span class="keywordtype">void</span> constraints() {
<a name="l00439"></a>00439 gil_function_requires< boost::EqualityComparableConcept<T> >();
<a name="l00440"></a>00440
<a name="l00441"></a>00441 <span class="keyword">typedef</span> <span class="keyword">typename</span> <a class="code" href="g_i_l_0429.html" title="Traits for channels. Contains the following members:.">channel_traits<T>::value_type</a> v;
<a name="l00442"></a>00442 <span class="keyword">typedef</span> <span class="keyword">typename</span> <a class="code" href="g_i_l_0429.html" title="Traits for channels. Contains the following members:.">channel_traits<T>::reference</a> r;
<a name="l00443"></a>00443 <span class="keyword">typedef</span> <span class="keyword">typename</span> <a class="code" href="g_i_l_0429.html" title="Traits for channels. Contains the following members:.">channel_traits<T>::pointer</a> p;
<a name="l00444"></a>00444 <span class="keyword">typedef</span> <span class="keyword">typename</span> <a class="code" href="g_i_l_0429.html" title="Traits for channels. Contains the following members:.">channel_traits<T>::const_reference</a> cr;
<a name="l00445"></a>00445 <span class="keyword">typedef</span> <span class="keyword">typename</span> <a class="code" href="g_i_l_0429.html" title="Traits for channels. Contains the following members:.">channel_traits<T>::const_pointer</a> cp;
<a name="l00446"></a>00446
<a name="l00447"></a>00447 <a class="code" href="g_i_l_0429.html" title="Traits for channels. Contains the following members:.">channel_traits<T>::min_value</a>();
<a name="l00448"></a>00448 <a class="code" href="g_i_l_0429.html" title="Traits for channels. Contains the following members:.">channel_traits<T>::max_value</a>();
<a name="l00449"></a>00449 }
<a name="l00450"></a>00450
<a name="l00451"></a>00451 T c;
<a name="l00452"></a>00452 };
<a name="l00453"></a>00453
<a name="l00454"></a>00454 <span class="keyword">namespace </span>detail {
<a name="l00455"></a>00455 <span class="comment">// Preconditions: T models ChannelConcept</span>
<a name="l00456"></a>00456 <span class="keyword">template</span> <<span class="keyword">typename</span> T>
<a name="l00457"></a>00457 <span class="keyword">struct </span>ChannelIsMutableConcept {
<a name="l00458"></a>00458 <span class="keywordtype">void</span> constraints() {
<a name="l00459"></a>00459 c=c;
<a name="l00460"></a>00460 <span class="keyword">using</span> std::swap;
<a name="l00461"></a>00461 swap(c,c);
<a name="l00462"></a>00462 }
<a name="l00463"></a>00463 T c;
<a name="l00464"></a>00464 };
<a name="l00465"></a>00465 }
<a name="l00466"></a>00466
<a name="l00469"></a>00469
<a name="l00474"></a>00474 <span class="keyword">template</span> <<span class="keyword">typename</span> T>
<a name="l00475"></a><a class="code" href="g_i_l_0316.html">00475</a> <span class="keyword">struct </span><a class="code" href="g_i_l_0316.html" title="A channel that allows for modifying its value.">MutableChannelConcept</a> {
<a name="l00476"></a>00476 <span class="keywordtype">void</span> constraints() {
<a name="l00477"></a>00477 gil_function_requires<ChannelConcept<T> >();
<a name="l00478"></a>00478 gil_function_requires<detail::ChannelIsMutableConcept<T> >();
<a name="l00479"></a>00479 }
<a name="l00480"></a>00480 };
<a name="l00481"></a>00481
<a name="l00484"></a>00484
<a name="l00489"></a>00489 <span class="keyword">template</span> <<span class="keyword">typename</span> T>
<a name="l00490"></a><a class="code" href="g_i_l_0270.html">00490</a> <span class="keyword">struct </span><a class="code" href="g_i_l_0270.html" title="A channel that supports default construction.">ChannelValueConcept</a> {
<a name="l00491"></a>00491 <span class="keywordtype">void</span> constraints() {
<a name="l00492"></a>00492 gil_function_requires<ChannelConcept<T> >();
<a name="l00493"></a>00493 gil_function_requires<Regular<T> >();
<a name="l00494"></a>00494 }
<a name="l00495"></a>00495 };
<a name="l00496"></a>00496
<a name="l00497"></a>00497
<a name="l00502"></a>00502
<a name="l00509"></a>00509 <span class="keyword">template</span> <<span class="keyword">typename</span> T1, <span class="keyword">typename</span> T2> <span class="comment">// Models GIL Pixel</span>
<a name="l00510"></a><a class="code" href="g_i_l_0432.html">00510</a> <span class="keyword">struct </span><a class="code" href="g_i_l_0432.html" title="Predicate metafunction returning whether two channels are compatibleChannels are...">channels_are_compatible</a>
<a name="l00511"></a>00511 : <span class="keyword">public</span> is_same<typename channel_traits<T1>::value_type, typename channel_traits<T2>::value_type> {};
<a name="l00512"></a>00512
<a name="l00515"></a>00515
<a name="l00522"></a>00522 <span class="keyword">template</span> <<span class="keyword">typename</span> T1, <span class="keyword">typename</span> T2>
<a name="l00523"></a><a class="code" href="g_i_l_0272.html">00523</a> <span class="keyword">struct </span><a class="code" href="g_i_l_0272.html" title="Channels are compatible if their associated value types (ignoring constness and references)...">ChannelsCompatibleConcept</a> {
<a name="l00524"></a>00524 <span class="keywordtype">void</span> constraints() {
<a name="l00525"></a>00525 BOOST_STATIC_ASSERT((<a class="code" href="g_i_l_0432.html" title="Predicate metafunction returning whether two channels are compatibleChannels are...">channels_are_compatible<T1,T2>::value</a>));
<a name="l00526"></a>00526 }
<a name="l00527"></a>00527 };
<a name="l00528"></a>00528
<a name="l00533"></a>00533
<a name="l00540"></a>00540 <span class="keyword">template</span> <<span class="keyword">typename</span> SrcChannel, <span class="keyword">typename</span> DstChannel>
<a name="l00541"></a><a class="code" href="g_i_l_0266.html">00541</a> <span class="keyword">struct </span><a class="code" href="g_i_l_0266.html" title="A channel is convertible to another one if the channel_convert algorithm is defined...">ChannelConvertibleConcept</a> {
<a name="l00542"></a>00542 <span class="keywordtype">void</span> constraints() {
<a name="l00543"></a>00543 gil_function_requires<ChannelConcept<SrcChannel> >();
<a name="l00544"></a>00544 gil_function_requires<MutableChannelConcept<DstChannel> >();
<a name="l00545"></a>00545 dst=channel_convert<DstChannel,SrcChannel>(src); ignore_unused_variable_warning(dst);
<a name="l00546"></a>00546 }
<a name="l00547"></a>00547 SrcChannel src;
<a name="l00548"></a>00548 DstChannel dst;
<a name="l00549"></a>00549 };
<a name="l00550"></a>00550
<a name="l00551"></a>00551
<a name="l00552"></a>00552
<a name="l00553"></a>00553
<a name="l00554"></a>00554
<a name="l00560"></a>00560
<a name="l00563"></a>00563
<a name="l00603"></a>00603 <span class="keyword">template</span> <<span class="keyword">typename</span> ColorBase>
<a name="l00604"></a><a class="code" href="g_i_l_0274.html">00604</a> <span class="keyword">struct </span><a class="code" href="g_i_l_0274.html" title="A color base is a container of color elements (such as channels, channel references...">ColorBaseConcept</a> {
<a name="l00605"></a>00605 <span class="keywordtype">void</span> constraints() {
<a name="l00606"></a>00606 gil_function_requires< CopyConstructible<ColorBase> >();
<a name="l00607"></a>00607 gil_function_requires< EqualityComparable<ColorBase> >();
<a name="l00608"></a>00608
<a name="l00609"></a>00609 <span class="keyword">typedef</span> <span class="keyword">typename</span> ColorBase::layout_t::color_space_t color_space_t;
<a name="l00610"></a>00610 gil_function_requires<ColorSpaceConcept<color_space_t> >();
<a name="l00611"></a>00611
<a name="l00612"></a>00612 <span class="keyword">typedef</span> <span class="keyword">typename</span> ColorBase::layout_t::channel_mapping_t channel_mapping_t;
<a name="l00613"></a>00613 <span class="comment">// TODO: channel_mapping_t must be an MPL RandomAccessSequence</span>
<a name="l00614"></a>00614
<a name="l00615"></a>00615 <span class="keyword">static</span> <span class="keyword">const</span> std::size_t num_elements = <a class="code" href="g_i_l_0621.html" title="Returns an MPL integral type specifying the number of elements in a color base.">size<ColorBase>::value</a>;
<a name="l00616"></a>00616
<a name="l00617"></a>00617 <span class="keyword">typedef</span> <span class="keyword">typename</span> kth_element_type<ColorBase,num_elements-1>::type TN;
<a name="l00618"></a>00618 <span class="keyword">typedef</span> <span class="keyword">typename</span> kth_element_const_reference_type<ColorBase,num_elements-1>::type CR;
<a name="l00619"></a>00619
<a name="l00620"></a>00620 <span class="preprocessor">#if !defined(_MSC_VER) || _MSC_VER > 1310</span>
<a name="l00621"></a>00621 <span class="preprocessor"></span> CR cr=at_c<num_elements-1>(cb); ignore_unused_variable_warning(cr);
<a name="l00622"></a>00622 <span class="preprocessor">#endif</span>
<a name="l00623"></a>00623 <span class="preprocessor"></span>
<a name="l00624"></a>00624 <span class="comment">// functions that work for every pixel (no need to require them)</span>
<a name="l00625"></a>00625 semantic_at_c<0>(cb);
<a name="l00626"></a>00626 <a class="code" href="g_i_l_0114.html#gba9e03ce04fda71e2e840c10325b8b11" title="A constant accessor to the K-th semantic element of a color base.">semantic_at_c</a><num_elements-1>(cb);
<a name="l00627"></a>00627 <span class="comment">// also static_max(cb), static_min(cb), static_fill(cb,value), and all variations of static_for_each(), static_generate(), static_transform()</span>
<a name="l00628"></a>00628 }
<a name="l00629"></a>00629
<a name="l00630"></a>00630 ColorBase cb;
<a name="l00631"></a>00631 };
<a name="l00632"></a>00632
<a name="l00635"></a>00635
<a name="l00648"></a>00648 <span class="keyword">template</span> <<span class="keyword">typename</span> ColorBase>
<a name="l00649"></a><a class="code" href="g_i_l_0318.html">00649</a> <span class="keyword">struct </span><a class="code" href="g_i_l_0318.html" title="Color base which allows for modifying its elements.">MutableColorBaseConcept</a> {
<a name="l00650"></a>00650 <span class="keywordtype">void</span> constraints() {
<a name="l00651"></a>00651 gil_function_requires< ColorBaseConcept<ColorBase> >();
<a name="l00652"></a>00652 gil_function_requires< Assignable<ColorBase> >();
<a name="l00653"></a>00653 gil_function_requires< Swappable<ColorBase> >();
<a name="l00654"></a>00654
<a name="l00655"></a>00655 <span class="keyword">typedef</span> <span class="keyword">typename</span> kth_element_reference_type<ColorBase, 0>::type CR;
<a name="l00656"></a>00656
<a name="l00657"></a>00657 <span class="preprocessor">#if !defined(_MSC_VER) || _MSC_VER > 1310</span>
<a name="l00658"></a>00658 <span class="preprocessor"></span> CR r=at_c<0>(cb);
<a name="l00659"></a>00659 at_c<0>(cb)=r;
<a name="l00660"></a>00660 <span class="preprocessor">#endif</span>
<a name="l00661"></a>00661 <span class="preprocessor"></span> }
<a name="l00662"></a>00662
<a name="l00663"></a>00663 ColorBase cb;
<a name="l00664"></a>00664 };
<a name="l00665"></a>00665
<a name="l00668"></a>00668
<a name="l00674"></a>00674 <span class="keyword">template</span> <<span class="keyword">typename</span> ColorBase>
<a name="l00675"></a><a class="code" href="g_i_l_0276.html">00675</a> <span class="keyword">struct </span><a class="code" href="g_i_l_0276.html" title="Color base that also has a default-constructor. Refines Regular.">ColorBaseValueConcept</a> {
<a name="l00676"></a>00676 <span class="keywordtype">void</span> constraints() {
<a name="l00677"></a>00677 gil_function_requires< MutableColorBaseConcept<ColorBase> >();
<a name="l00678"></a>00678 gil_function_requires< Regular<ColorBase> >();
<a name="l00679"></a>00679 }
<a name="l00680"></a>00680 };
<a name="l00681"></a>00681
<a name="l00684"></a>00684
<a name="l00694"></a>00694 <span class="keyword">template</span> <<span class="keyword">typename</span> ColorBase>
<a name="l00695"></a><a class="code" href="g_i_l_0296.html">00695</a> <span class="keyword">struct </span><a class="code" href="g_i_l_0296.html" title="Color base whose elements all have the same type.">HomogeneousColorBaseConcept</a> {
<a name="l00696"></a>00696 <span class="keywordtype">void</span> constraints() {
<a name="l00697"></a>00697 gil_function_requires< ColorBaseConcept<ColorBase> >();
<a name="l00698"></a>00698
<a name="l00699"></a>00699 <span class="keyword">static</span> <span class="keyword">const</span> std::size_t num_elements = <a class="code" href="g_i_l_0621.html" title="Returns an MPL integral type specifying the number of elements in a color base.">size<ColorBase>::value</a>;
<a name="l00700"></a>00700
<a name="l00701"></a>00701 <span class="keyword">typedef</span> <span class="keyword">typename</span> kth_element_type<ColorBase,0>::type T0;
<a name="l00702"></a>00702 <span class="keyword">typedef</span> <span class="keyword">typename</span> kth_element_type<ColorBase,num_elements-1>::type TN;
<a name="l00703"></a>00703
<a name="l00704"></a>00704 BOOST_STATIC_ASSERT((is_same<T0,TN>::value)); <span class="comment">// better than nothing</span>
<a name="l00705"></a>00705 <span class="keyword">typedef</span> <span class="keyword">typename</span> kth_element_const_reference_type<ColorBase,0>::type CRef0;
<a name="l00706"></a>00706 CRef0 e0=dynamic_at_c(cb,0);
<a name="l00707"></a>00707 }
<a name="l00708"></a>00708 ColorBase cb;
<a name="l00709"></a>00709 };
<a name="l00710"></a>00710
<a name="l00713"></a>00713
<a name="l00722"></a>00722 <span class="keyword">template</span> <<span class="keyword">typename</span> ColorBase>
<a name="l00723"></a><a class="code" href="g_i_l_0320.html">00723</a> <span class="keyword">struct </span><a class="code" href="g_i_l_0320.html" title="Homogeneous color base that allows for modifying its elements.">MutableHomogeneousColorBaseConcept</a> {
<a name="l00724"></a>00724 <span class="keywordtype">void</span> constraints() {
<a name="l00725"></a>00725 gil_function_requires< ColorBaseConcept<ColorBase> >();
<a name="l00726"></a>00726 gil_function_requires< HomogeneousColorBaseConcept<ColorBase> >();
<a name="l00727"></a>00727 <span class="keyword">typedef</span> <span class="keyword">typename</span> kth_element_reference_type<ColorBase, 0>::type R0;
<a name="l00728"></a>00728 R0 x=dynamic_at_c(cb,0);
<a name="l00729"></a>00729 dynamic_at_c(cb,0) = dynamic_at_c(cb,0);
<a name="l00730"></a>00730 }
<a name="l00731"></a>00731 ColorBase cb;
<a name="l00732"></a>00732 };
<a name="l00733"></a>00733
<a name="l00736"></a>00736
<a name="l00744"></a>00744 <span class="keyword">template</span> <<span class="keyword">typename</span> ColorBase>
<a name="l00745"></a><a class="code" href="g_i_l_0298.html">00745</a> <span class="keyword">struct </span><a class="code" href="g_i_l_0298.html" title="Homogeneous color base that also has a default constructor. Refines Regular.">HomogeneousColorBaseValueConcept</a> {
<a name="l00746"></a>00746 <span class="keywordtype">void</span> constraints() {
<a name="l00747"></a>00747 gil_function_requires< MutableHomogeneousColorBaseConcept<ColorBase> >();
<a name="l00748"></a>00748 gil_function_requires< Regular<ColorBase> >();
<a name="l00749"></a>00749 }
<a name="l00750"></a>00750 };
<a name="l00751"></a>00751
<a name="l00752"></a>00752
<a name="l00755"></a>00755
<a name="l00766"></a>00766 <span class="keyword">template</span> <<span class="keyword">typename</span> ColorBase1, <span class="keyword">typename</span> ColorBase2>
<a name="l00767"></a><a class="code" href="g_i_l_0278.html">00767</a> <span class="keyword">struct </span><a class="code" href="g_i_l_0278.html" title="Two color bases are compatible if they have the same color space and their elements...">ColorBasesCompatibleConcept</a> {
<a name="l00768"></a>00768 <span class="keywordtype">void</span> constraints() {
<a name="l00769"></a>00769 BOOST_STATIC_ASSERT((is_same<<span class="keyword">typename</span> ColorBase1::layout_t::color_space_t,
<a name="l00770"></a>00770 <span class="keyword">typename</span> ColorBase2::layout_t::color_space_t>::value));
<a name="l00771"></a>00771 <span class="comment">// typedef typename kth_semantic_element_type<ColorBase1,0>::type e1;</span>
<a name="l00772"></a>00772 <span class="comment">// typedef typename kth_semantic_element_type<ColorBase2,0>::type e2;</span>
<a name="l00773"></a>00773 <span class="comment">// "e1 is convertible to e2"</span>
<a name="l00774"></a>00774 }
<a name="l00775"></a>00775 };
<a name="l00776"></a>00776
<a name="l00777"></a>00777
<a name="l00778"></a>00778
<a name="l00779"></a>00779
<a name="l00780"></a>00780
<a name="l00781"></a>00781
<a name="l00782"></a>00782
<a name="l00783"></a>00783
<a name="l00784"></a>00784
<a name="l00785"></a>00785
<a name="l00786"></a>00786
<a name="l00787"></a>00787
<a name="l00788"></a>00788
<a name="l00789"></a>00789
<a name="l00790"></a>00790
<a name="l00791"></a>00791
<a name="l00792"></a>00792
<a name="l00793"></a>00793
<a name="l00794"></a>00794
<a name="l00795"></a>00795
<a name="l00796"></a>00796
<a name="l00797"></a>00797
<a name="l00803"></a>00803
<a name="l00806"></a>00806
<a name="l00821"></a>00821 <span class="keyword">template</span> <<span class="keyword">typename</span> P>
<a name="l00822"></a><a class="code" href="g_i_l_0344.html">00822</a> <span class="keyword">struct </span><a class="code" href="g_i_l_0344.html" title="Concept for all pixel-based GIL constructs, such as pixels, iterators, locators,...">PixelBasedConcept</a> {
<a name="l00823"></a>00823 <span class="keywordtype">void</span> constraints() {
<a name="l00824"></a>00824 <span class="keyword">typedef</span> <span class="keyword">typename</span> color_space_type<P>::type color_space_t;
<a name="l00825"></a>00825 gil_function_requires<ColorSpaceConcept<color_space_t> >();
<a name="l00826"></a>00826 <span class="keyword">typedef</span> <span class="keyword">typename</span> channel_mapping_type<P>::type channel_mapping_t;
<a name="l00827"></a>00827 gil_function_requires<ChannelMappingConcept<channel_mapping_t> >();
<a name="l00828"></a>00828
<a name="l00829"></a>00829 <span class="keyword">static</span> <span class="keyword">const</span> <span class="keywordtype">bool</span> planar = is_planar<P>::type::value; ignore_unused_variable_warning(planar);
<a name="l00830"></a>00830
<a name="l00831"></a>00831
<a name="l00832"></a>00832 <span class="comment">// This is not part of the concept, but should still work</span>
<a name="l00833"></a>00833 <span class="keyword">static</span> <span class="keyword">const</span> std::size_t nc = <a class="code" href="g_i_l_0581.html" title="Returns the number of channels of a pixel-based GIL construct.">num_channels<P>::value</a>;
<a name="l00834"></a>00834 ignore_unused_variable_warning(nc);
<a name="l00835"></a>00835 }
<a name="l00836"></a>00836 };
<a name="l00837"></a>00837
<a name="l00840"></a>00840
<a name="l00849"></a>00849 <span class="keyword">template</span> <<span class="keyword">typename</span> P>
<a name="l00850"></a><a class="code" href="g_i_l_0300.html">00850</a> <span class="keyword">struct </span><a class="code" href="g_i_l_0300.html" title="Concept for homogeneous pixel-based GIL constructs.">HomogeneousPixelBasedConcept</a> {
<a name="l00851"></a>00851 <span class="keywordtype">void</span> constraints() {
<a name="l00852"></a>00852 gil_function_requires<PixelBasedConcept<P> >();
<a name="l00853"></a>00853 <span class="keyword">typedef</span> <span class="keyword">typename</span> channel_type<P>::type channel_t;
<a name="l00854"></a>00854 gil_function_requires<ChannelConcept<channel_t> >();
<a name="l00855"></a>00855 }
<a name="l00856"></a>00856 };
<a name="l00857"></a>00857
<a name="l00858"></a>00858
<a name="l00861"></a>00861
<a name="l00883"></a>00883 <span class="keyword">template</span> <<span class="keyword">typename</span> P>
<a name="l00884"></a><a class="code" href="g_i_l_0346.html">00884</a> <span class="keyword">struct </span><a class="code" href="g_i_l_0346.html" title="Pixel concept - A color base whose elements are channels.">PixelConcept</a> {
<a name="l00885"></a>00885 <span class="keywordtype">void</span> constraints() {
<a name="l00886"></a>00886 gil_function_requires<ColorBaseConcept<P> >();
<a name="l00887"></a>00887 gil_function_requires<PixelBasedConcept<P> >();
<a name="l00888"></a>00888
<a name="l00889"></a>00889 BOOST_STATIC_ASSERT((is_pixel<P>::value));
<a name="l00890"></a>00890 <span class="keyword">static</span> <span class="keyword">const</span> <span class="keywordtype">bool</span> is_mutable = P::is_mutable; ignore_unused_variable_warning(is_mutable);
<a name="l00891"></a>00891
<a name="l00892"></a>00892 <span class="keyword">typedef</span> <span class="keyword">typename</span> P::value_type value_type;
<a name="l00893"></a>00893 <span class="comment">// gil_function_requires<PixelValueConcept<value_type> >();</span>
<a name="l00894"></a>00894
<a name="l00895"></a>00895 <span class="keyword">typedef</span> <span class="keyword">typename</span> P::reference reference;
<a name="l00896"></a>00896 gil_function_requires<PixelConcept<typename remove_const_and_reference<reference>::type> >();
<a name="l00897"></a>00897
<a name="l00898"></a>00898 <span class="keyword">typedef</span> <span class="keyword">typename</span> P::const_reference const_reference;
<a name="l00899"></a>00899 gil_function_requires<PixelConcept<typename remove_const_and_reference<const_reference>::type> >();
<a name="l00900"></a>00900 }
<a name="l00901"></a>00901 };
<a name="l00902"></a>00902
<a name="l00903"></a>00903
<a name="l00906"></a>00906
<a name="l00913"></a>00913 <span class="keyword">template</span> <<span class="keyword">typename</span> P>
<a name="l00914"></a><a class="code" href="g_i_l_0328.html">00914</a> <span class="keyword">struct </span><a class="code" href="g_i_l_0328.html" title="Pixel concept that allows for changing its channels.">MutablePixelConcept</a> {
<a name="l00915"></a>00915 <span class="keywordtype">void</span> constraints() {
<a name="l00916"></a>00916 gil_function_requires<PixelConcept<P> >();
<a name="l00917"></a>00917 BOOST_STATIC_ASSERT(P::is_mutable);
<a name="l00918"></a>00918 }
<a name="l00919"></a>00919 };
<a name="l00922"></a>00922
<a name="l00929"></a>00929 <span class="keyword">template</span> <<span class="keyword">typename</span> P>
<a name="l00930"></a><a class="code" href="g_i_l_0302.html">00930</a> <span class="keyword">struct </span><a class="code" href="g_i_l_0302.html" title="Homogeneous pixel concept.">HomogeneousPixelConcept</a> {
<a name="l00931"></a>00931 <span class="keywordtype">void</span> constraints() {
<a name="l00932"></a>00932 gil_function_requires<PixelConcept<P> >();
<a name="l00933"></a>00933 gil_function_requires<HomogeneousColorBaseConcept<P> >();
<a name="l00934"></a>00934 gil_function_requires<HomogeneousPixelBasedConcept<P> >();
<a name="l00935"></a>00935 p[0];
<a name="l00936"></a>00936 }
<a name="l00937"></a>00937 P p;
<a name="l00938"></a>00938 };
<a name="l00939"></a>00939
<a name="l00942"></a>00942
<a name="l00949"></a>00949 <span class="keyword">template</span> <<span class="keyword">typename</span> P>
<a name="l00950"></a><a class="code" href="g_i_l_0322.html">00950</a> <span class="keyword">struct </span><a class="code" href="g_i_l_0322.html" title="Homogeneous pixel concept that allows for changing its channels.">MutableHomogeneousPixelConcept</a> {
<a name="l00951"></a>00951 <span class="keywordtype">void</span> constraints() {
<a name="l00952"></a>00952 gil_function_requires<HomogeneousPixelConcept<P> >();
<a name="l00953"></a>00953 gil_function_requires<MutableHomogeneousColorBaseConcept<P> >();
<a name="l00954"></a>00954 p[0]=p[0];
<a name="l00955"></a>00955 }
<a name="l00956"></a>00956 P p;
<a name="l00957"></a>00957 };
<a name="l00958"></a>00958
<a name="l00961"></a>00961
<a name="l00968"></a>00968 <span class="keyword">template</span> <<span class="keyword">typename</span> P>
<a name="l00969"></a><a class="code" href="g_i_l_0356.html">00969</a> <span class="keyword">struct </span><a class="code" href="g_i_l_0356.html" title="Pixel concept that is a Regular type.">PixelValueConcept</a> {
<a name="l00970"></a>00970 <span class="keywordtype">void</span> constraints() {
<a name="l00971"></a>00971 gil_function_requires<PixelConcept<P> >();
<a name="l00972"></a>00972 gil_function_requires<Regular<P> >();
<a name="l00973"></a>00973 }
<a name="l00974"></a>00974 };
<a name="l00975"></a>00975
<a name="l00978"></a>00978
<a name="l00985"></a>00985 <span class="keyword">template</span> <<span class="keyword">typename</span> P>
<a name="l00986"></a><a class="code" href="g_i_l_0304.html">00986</a> <span class="keyword">struct </span><a class="code" href="g_i_l_0304.html" title="Homogeneous pixel concept that is a Regular type.">HomogeneousPixelValueConcept</a> {
<a name="l00987"></a>00987 <span class="keywordtype">void</span> constraints() {
<a name="l00988"></a>00988 gil_function_requires<HomogeneousPixelConcept<P> >();
<a name="l00989"></a>00989 gil_function_requires<Regular<P> >();
<a name="l00990"></a>00990 BOOST_STATIC_ASSERT((is_same<P, typename P::value_type>::value));
<a name="l00991"></a>00991 }
<a name="l00992"></a>00992 };
<a name="l00993"></a>00993
<a name="l00994"></a>00994 <span class="keyword">namespace </span>detail {
<a name="l00995"></a>00995 <span class="keyword">template</span> <<span class="keyword">typename</span> P1, <span class="keyword">typename</span> P2, <span class="keywordtype">int</span> K>
<a name="l00996"></a>00996 <span class="keyword">struct </span>channels_are_pairwise_compatible : <span class="keyword">public</span>
<a name="l00997"></a>00997 mpl::and_<channels_are_pairwise_compatible<P1,P2,K-1>,
<a name="l00998"></a>00998 channels_are_compatible<typename kth_semantic_element_reference_type<P1,K>::type,
<a name="l00999"></a>00999 typename kth_semantic_element_reference_type<P2,K>::type> > {};
<a name="l01000"></a>01000
<a name="l01001"></a>01001 <span class="keyword">template</span> <<span class="keyword">typename</span> P1, <span class="keyword">typename</span> P2>
<a name="l01002"></a>01002 <span class="keyword">struct </span>channels_are_pairwise_compatible<P1,P2,-1> : <span class="keyword">public</span> mpl::true_ {};
<a name="l01003"></a>01003 }
<a name="l01004"></a>01004
<a name="l01009"></a>01009 <span class="keyword">template</span> <<span class="keyword">typename</span> P1, <span class="keyword">typename</span> P2> <span class="comment">// Models GIL Pixel</span>
<a name="l01010"></a><a class="code" href="g_i_l_0607.html">01010</a> <span class="keyword">struct </span><a class="code" href="g_i_l_0607.html" title="Returns whether two pixels are compatible.">pixels_are_compatible</a>
<a name="l01011"></a>01011 : <span class="keyword">public</span> mpl::and_<typename color_spaces_are_compatible<typename color_space_type<P1>::type,
<a name="l01012"></a>01012 typename color_space_type<P2>::type>::type,
<a name="l01013"></a>01013 detail::channels_are_pairwise_compatible<P1,P2,num_channels<P1>::value-1> > {};
<a name="l01014"></a>01014
<a name="l01018"></a>01018
<a name="l01026"></a>01026 <span class="keyword">template</span> <<span class="keyword">typename</span> P1, <span class="keyword">typename</span> P2> <span class="comment">// precondition: P1 and P2 model PixelConcept</span>
<a name="l01027"></a><a class="code" href="g_i_l_0358.html">01027</a> <span class="keyword">struct </span><a class="code" href="g_i_l_0358.html" title="Concept for pixel compatibility Pixels are compatible if their channels and color...">PixelsCompatibleConcept</a> {
<a name="l01028"></a>01028 <span class="keywordtype">void</span> constraints() {
<a name="l01029"></a>01029 BOOST_STATIC_ASSERT((<a class="code" href="g_i_l_0607.html" title="Returns whether two pixels are compatible.">pixels_are_compatible<P1,P2>::value</a>));
<a name="l01030"></a>01030 }
<a name="l01031"></a>01031 };
<a name="l01032"></a>01032
<a name="l01037"></a>01037
<a name="l01045"></a>01045 <span class="keyword">template</span> <<span class="keyword">typename</span> SrcP, <span class="keyword">typename</span> DstP>
<a name="l01046"></a><a class="code" href="g_i_l_0348.html">01046</a> <span class="keyword">struct </span><a class="code" href="g_i_l_0348.html" title="Pixel convertible concept.">PixelConvertibleConcept</a> {
<a name="l01047"></a>01047 <span class="keywordtype">void</span> constraints() {
<a name="l01048"></a>01048 gil_function_requires<PixelConcept<SrcP> >();
<a name="l01049"></a>01049 gil_function_requires<MutablePixelConcept<DstP> >();
<a name="l01050"></a>01050 <a class="code" href="g_i_l_0178.html#gaa258d34eafbf9d9e34a2a2ad6131af2" title="helper function for converting one pixel to another using GIL default color-converters...">color_convert</a>(src,dst);
<a name="l01051"></a>01051 }
<a name="l01052"></a>01052 SrcP src;
<a name="l01053"></a>01053 DstP dst;
<a name="l01054"></a>01054 };
<a name="l01055"></a>01055
<a name="l01061"></a>01061
<a name="l01063"></a>01063
<a name="l01067"></a>01067
<a name="l01082"></a>01082 <span class="keyword">template</span> <<span class="keyword">typename</span> D>
<a name="l01083"></a><a class="code" href="g_i_l_0350.html">01083</a> <span class="keyword">struct </span><a class="code" href="g_i_l_0350.html" title="Represents a unary function object that can be invoked upon dereferencing a pixel...">PixelDereferenceAdaptorConcept</a> {
<a name="l01084"></a>01084 <span class="keywordtype">void</span> constraints() {
<a name="l01085"></a>01085 gil_function_requires< boost::UnaryFunctionConcept<D,
<a name="l01086"></a>01086 <span class="keyword">typename</span> remove_const_and_reference<typename D::result_type>::type,
<a name="l01087"></a>01087 <span class="keyword">typename</span> D::argument_type> >();
<a name="l01088"></a>01088 gil_function_requires< boost::DefaultConstructibleConcept<D> >();
<a name="l01089"></a>01089 gil_function_requires< boost::CopyConstructibleConcept<D> >();
<a name="l01090"></a>01090 gil_function_requires< boost::AssignableConcept<D> >();
<a name="l01091"></a>01091
<a name="l01092"></a>01092 gil_function_requires<PixelConcept<typename remove_const_and_reference<typename D::result_type>::type> >();
<a name="l01093"></a>01093
<a name="l01094"></a>01094 <span class="keyword">typedef</span> <span class="keyword">typename</span> D::const_t const_t;
<a name="l01095"></a>01095 gil_function_requires<PixelDereferenceAdaptorConcept<const_t> >();
<a name="l01096"></a>01096 <span class="keyword">typedef</span> <span class="keyword">typename</span> D::value_type value_type;
<a name="l01097"></a>01097 gil_function_requires<PixelValueConcept<value_type> >();
<a name="l01098"></a>01098 <span class="keyword">typedef</span> <span class="keyword">typename</span> D::reference reference; <span class="comment">// == PixelConcept (if you remove const and reference)</span>
<a name="l01099"></a>01099 <span class="keyword">typedef</span> <span class="keyword">typename</span> D::const_reference const_reference; <span class="comment">// == PixelConcept (if you remove const and reference)</span>
<a name="l01100"></a>01100
<a name="l01101"></a>01101 <span class="keyword">const</span> <span class="keywordtype">bool</span> is_mutable=D::is_mutable; ignore_unused_variable_warning(is_mutable);
<a name="l01102"></a>01102 }
<a name="l01103"></a>01103 D d;
<a name="l01104"></a>01104 };
<a name="l01105"></a>01105
<a name="l01106"></a>01106 <span class="keyword">template</span> <<span class="keyword">typename</span> P>
<a name="l01107"></a>01107 <span class="keyword">struct </span>PixelDereferenceAdaptorArchetype : <span class="keyword">public</span> std::unary_function<P, P> {
<a name="l01108"></a>01108 <span class="keyword">typedef</span> PixelDereferenceAdaptorArchetype const_t;
<a name="l01109"></a>01109 <span class="keyword">typedef</span> <span class="keyword">typename</span> remove_reference<P>::type value_type;
<a name="l01110"></a>01110 <span class="keyword">typedef</span> <span class="keyword">typename</span> add_reference<P>::type reference;
<a name="l01111"></a>01111 <span class="keyword">typedef</span> reference const_reference;
<a name="l01112"></a>01112 <span class="keyword">static</span> <span class="keyword">const</span> <span class="keywordtype">bool</span> is_mutable=<span class="keyword">false</span>;
<a name="l01113"></a>01113 P operator()(P x)<span class="keyword"> const </span>{ <span class="keywordflow">throw</span>; }
<a name="l01114"></a>01114 };
<a name="l01115"></a>01115
<a name="l01121"></a>01121
<a name="l01124"></a>01124
<a name="l01132"></a>01132 <span class="keyword">template</span> <<span class="keyword">typename</span> T>
<a name="l01133"></a><a class="code" href="g_i_l_0290.html">01133</a> <span class="keyword">struct </span><a class="code" href="g_i_l_0290.html" title="Concept for iterators, locators and views that can define a type just like the given...">HasDynamicXStepTypeConcept</a> {
<a name="l01134"></a>01134 <span class="keywordtype">void</span> constraints() {
<a name="l01135"></a>01135 <span class="keyword">typedef</span> <span class="keyword">typename</span> dynamic_x_step_type<T>::type type;
<a name="l01136"></a>01136 }
<a name="l01137"></a>01137 };
<a name="l01138"></a>01138
<a name="l01141"></a>01141
<a name="l01149"></a>01149 <span class="keyword">template</span> <<span class="keyword">typename</span> T>
<a name="l01150"></a><a class="code" href="g_i_l_0292.html">01150</a> <span class="keyword">struct </span><a class="code" href="g_i_l_0292.html" title="Concept for locators and views that can define a type just like the given locator...">HasDynamicYStepTypeConcept</a> {
<a name="l01151"></a>01151 <span class="keywordtype">void</span> constraints() {
<a name="l01152"></a>01152 <span class="keyword">typedef</span> <span class="keyword">typename</span> dynamic_y_step_type<T>::type type;
<a name="l01153"></a>01153 }
<a name="l01154"></a>01154 };
<a name="l01155"></a>01155
<a name="l01156"></a>01156
<a name="l01159"></a>01159
<a name="l01167"></a>01167 <span class="keyword">template</span> <<span class="keyword">typename</span> T>
<a name="l01168"></a><a class="code" href="g_i_l_0294.html">01168</a> <span class="keyword">struct </span><a class="code" href="g_i_l_0294.html" title="Concept for locators and views that can define a type just like the given locator...">HasTransposedTypeConcept</a> {
<a name="l01169"></a>01169 <span class="keywordtype">void</span> constraints() {
<a name="l01170"></a>01170 <span class="keyword">typedef</span> <span class="keyword">typename</span> transposed_type<T>::type type;
<a name="l01171"></a>01171 }
<a name="l01172"></a>01172 };
<a name="l01173"></a>01173
<a name="l01177"></a>01177
<a name="l01180"></a>01180
<a name="l01196"></a>01196 <span class="keyword">template</span> <<span class="keyword">typename</span> Iterator>
<a name="l01197"></a><a class="code" href="g_i_l_0352.html">01197</a> <span class="keyword">struct </span><a class="code" href="g_i_l_0352.html" title="An STL random access traversal iterator over a model of PixelConcept.">PixelIteratorConcept</a> {
<a name="l01198"></a>01198 <span class="keywordtype">void</span> constraints() {
<a name="l01199"></a>01199 gil_function_requires<boost_concepts::RandomAccessTraversalConcept<Iterator> >();
<a name="l01200"></a>01200 gil_function_requires<PixelBasedConcept<Iterator> >();
<a name="l01201"></a>01201
<a name="l01202"></a>01202 <span class="keyword">typedef</span> <span class="keyword">typename</span> std::iterator_traits<Iterator>::value_type value_type;
<a name="l01203"></a>01203 gil_function_requires<PixelValueConcept<value_type> >();
<a name="l01204"></a>01204
<a name="l01205"></a>01205 <span class="keyword">typedef</span> <span class="keyword">typename</span> const_iterator_type<Iterator>::type const_t;
<a name="l01206"></a>01206 <span class="keyword">static</span> <span class="keyword">const</span> <span class="keywordtype">bool</span> is_mut = <a class="code" href="g_i_l_0550.html" title="Metafunction predicate returning whether the given iterator allows for changing its...">iterator_is_mutable<Iterator>::type::value</a>; ignore_unused_variable_warning(is_mut);
<a name="l01207"></a>01207
<a name="l01208"></a>01208 const_t const_it(it); ignore_unused_variable_warning(const_it); <span class="comment">// immutable iterator must be constructible from (possibly mutable) iterator</span>
<a name="l01209"></a>01209
<a name="l01210"></a>01210 check_base(<span class="keyword">typename</span> <a class="code" href="g_i_l_0541.html" title="metafunction predicate determining whether the given iterator is a plain one or an...">is_iterator_adaptor<Iterator>::type</a>());
<a name="l01211"></a>01211 }
<a name="l01212"></a>01212 <span class="keywordtype">void</span> check_base(mpl::false_) {}
<a name="l01213"></a>01213 <span class="keywordtype">void</span> check_base(mpl::true_) {
<a name="l01214"></a>01214 <span class="keyword">typedef</span> <span class="keyword">typename</span> iterator_adaptor_get_base<Iterator>::type base_t;
<a name="l01215"></a>01215 gil_function_requires<PixelIteratorConcept<base_t> >();
<a name="l01216"></a>01216 }
<a name="l01217"></a>01217
<a name="l01218"></a>01218 Iterator it;
<a name="l01219"></a>01219 };
<a name="l01220"></a>01220
<a name="l01221"></a>01221 <span class="keyword">namespace </span>detail {
<a name="l01222"></a>01222 <span class="keyword">template</span> <<span class="keyword">typename</span> Iterator> <span class="comment">// Preconditions: Iterator Models PixelIteratorConcept</span>
<a name="l01223"></a>01223 <span class="keyword">struct </span>PixelIteratorIsMutableConcept {
<a name="l01224"></a>01224 <span class="keywordtype">void</span> constraints() {
<a name="l01225"></a>01225 gil_function_requires<detail::RandomAccessIteratorIsMutableConcept<Iterator> >();
<a name="l01226"></a>01226 <span class="keyword">typedef</span> <span class="keyword">typename</span> remove_reference<typename std::iterator_traits<Iterator>::reference>::type ref;
<a name="l01227"></a>01227 <span class="keyword">typedef</span> <span class="keyword">typename</span> <a class="code" href="g_i_l_0535.html" title="Specifies the element type of a homogeneous color base.">element_type<ref>::type</a> channel_t;
<a name="l01228"></a>01228 gil_function_requires<detail::ChannelIsMutableConcept<channel_t> >();
<a name="l01229"></a>01229 }
<a name="l01230"></a>01230 };
<a name="l01231"></a>01231 }
<a name="l01232"></a>01232
<a name="l01235"></a>01235
<a name="l01241"></a>01241 <span class="keyword">template</span> <<span class="keyword">typename</span> Iterator>
<a name="l01242"></a><a class="code" href="g_i_l_0330.html">01242</a> <span class="keyword">struct </span><a class="code" href="g_i_l_0330.html" title="Pixel iterator that allows for changing its pixel.">MutablePixelIteratorConcept</a> {
<a name="l01243"></a>01243 <span class="keywordtype">void</span> constraints() {
<a name="l01244"></a>01244 gil_function_requires<PixelIteratorConcept<Iterator> >();
<a name="l01245"></a>01245 gil_function_requires<detail::PixelIteratorIsMutableConcept<Iterator> >();
<a name="l01246"></a>01246 }
<a name="l01247"></a>01247 };
<a name="l01248"></a>01248
<a name="l01249"></a>01249 <span class="keyword">namespace </span>detail {
<a name="l01250"></a>01250 <span class="comment">// Iterators that can be used as the base of memory_based_step_iterator require some additional functions</span>
<a name="l01251"></a>01251 <span class="keyword">template</span> <<span class="keyword">typename</span> Iterator> <span class="comment">// Preconditions: Iterator Models boost_concepts::RandomAccessTraversalConcept</span>
<a name="l01252"></a>01252 <span class="keyword">struct </span>RandomAccessIteratorIsMemoryBasedConcept {
<a name="l01253"></a>01253 <span class="keywordtype">void</span> constraints() {
<a name="l01254"></a>01254 std::ptrdiff_t bs=memunit_step(it); ignore_unused_variable_warning(bs);
<a name="l01255"></a>01255 it=memunit_advanced(it,3);
<a name="l01256"></a>01256 std::ptrdiff_t bd=memunit_distance(it,it); ignore_unused_variable_warning(bd);
<a name="l01257"></a>01257 memunit_advance(it,3);
<a name="l01258"></a>01258 <span class="comment">// for performace you may also provide a customized implementation of memunit_advanced_ref</span>
<a name="l01259"></a>01259 }
<a name="l01260"></a>01260 Iterator it;
<a name="l01261"></a>01261 };
<a name="l01262"></a>01262 }
<a name="l01263"></a>01263
<a name="l01267"></a>01267
<a name="l01270"></a>01270
<a name="l01282"></a>01282 <span class="keyword">template</span> <<span class="keyword">typename</span> Iterator>
<a name="l01283"></a><a class="code" href="g_i_l_0312.html">01283</a> <span class="keyword">struct </span><a class="code" href="g_i_l_0312.html" title="Concept of a random-access iterator that can be advanced in memory units (bytes or...">MemoryBasedIteratorConcept</a> {
<a name="l01284"></a>01284 <span class="keywordtype">void</span> constraints() {
<a name="l01285"></a>01285 gil_function_requires<boost_concepts::RandomAccessTraversalConcept<Iterator> >();
<a name="l01286"></a>01286 gil_function_requires<detail::RandomAccessIteratorIsMemoryBasedConcept<Iterator> >();
<a name="l01287"></a>01287 }
<a name="l01288"></a>01288 };
<a name="l01289"></a>01289
<a name="l01294"></a>01294
<a name="l01301"></a>01301 <span class="keyword">template</span> <<span class="keyword">typename</span> Iterator>
<a name="l01302"></a><a class="code" href="g_i_l_0380.html">01302</a> <span class="keyword">struct </span><a class="code" href="g_i_l_0380.html" title="Step iterator concept.">StepIteratorConcept</a> {
<a name="l01303"></a>01303 <span class="keywordtype">void</span> constraints() {
<a name="l01304"></a>01304 gil_function_requires<boost_concepts::ForwardTraversalConcept<Iterator> >();
<a name="l01305"></a>01305 it.set_step(0);
<a name="l01306"></a>01306 }
<a name="l01307"></a>01307 Iterator it;
<a name="l01308"></a>01308 };
<a name="l01309"></a>01309
<a name="l01310"></a>01310
<a name="l01314"></a>01314
<a name="l01319"></a>01319 <span class="keyword">template</span> <<span class="keyword">typename</span> Iterator>
<a name="l01320"></a><a class="code" href="g_i_l_0342.html">01320</a> <span class="keyword">struct </span><a class="code" href="g_i_l_0342.html" title="Step iterator that allows for modifying its current value.">MutableStepIteratorConcept</a> {
<a name="l01321"></a>01321 <span class="keywordtype">void</span> constraints() {
<a name="l01322"></a>01322 gil_function_requires<StepIteratorConcept<Iterator> >();
<a name="l01323"></a>01323 gil_function_requires<detail::ForwardIteratorIsMutableConcept<Iterator> >();
<a name="l01324"></a>01324 }
<a name="l01325"></a>01325 };
<a name="l01326"></a>01326
<a name="l01330"></a>01330
<a name="l01333"></a>01333
<a name="l01358"></a>01358 <span class="keyword">template</span> <<span class="keyword">typename</span> Iterator>
<a name="l01359"></a><a class="code" href="g_i_l_0310.html">01359</a> <span class="keyword">struct </span><a class="code" href="g_i_l_0310.html" title="Iterator adaptor is a forward iterator adapting another forward iterator.">IteratorAdaptorConcept</a> {
<a name="l01360"></a>01360 <span class="keywordtype">void</span> constraints() {
<a name="l01361"></a>01361 gil_function_requires<boost_concepts::ForwardTraversalConcept<Iterator> >();
<a name="l01362"></a>01362
<a name="l01363"></a>01363 <span class="keyword">typedef</span> <span class="keyword">typename</span> iterator_adaptor_get_base<Iterator>::type base_t;
<a name="l01364"></a>01364 gil_function_requires<boost_concepts::ForwardTraversalConcept<base_t> >();
<a name="l01365"></a>01365
<a name="l01366"></a>01366 BOOST_STATIC_ASSERT(<a class="code" href="g_i_l_0541.html" title="metafunction predicate determining whether the given iterator is a plain one or an...">is_iterator_adaptor<Iterator>::value</a>);
<a name="l01367"></a>01367 <span class="keyword">typedef</span> <span class="keyword">typename</span> iterator_adaptor_rebind<Iterator, void*>::type rebind_t;
<a name="l01368"></a>01368
<a name="l01369"></a>01369 base_t base=it.base(); ignore_unused_variable_warning(base);
<a name="l01370"></a>01370 }
<a name="l01371"></a>01371 Iterator it;
<a name="l01372"></a>01372 };
<a name="l01373"></a>01373
<a name="l01376"></a>01376
<a name="l01381"></a>01381 <span class="keyword">template</span> <<span class="keyword">typename</span> Iterator>
<a name="l01382"></a><a class="code" href="g_i_l_0326.html">01382</a> <span class="keyword">struct </span><a class="code" href="g_i_l_0326.html" title="Iterator adaptor that is mutable.">MutableIteratorAdaptorConcept</a> {
<a name="l01383"></a>01383 <span class="keywordtype">void</span> constraints() {
<a name="l01384"></a>01384 gil_function_requires<IteratorAdaptorConcept<Iterator> >();
<a name="l01385"></a>01385 gil_function_requires<detail::ForwardIteratorIsMutableConcept<Iterator> >();
<a name="l01386"></a>01386 }
<a name="l01387"></a>01387 };
<a name="l01388"></a>01388
<a name="l01394"></a>01394
<a name="l01398"></a>01398
<a name="l01402"></a>01402
<a name="l01406"></a>01406
<a name="l01409"></a>01409
<a name="l01455"></a>01455 <span class="keyword">template</span> <<span class="keyword">typename</span> Loc>
<a name="l01456"></a><a class="code" href="g_i_l_0374.html">01456</a> <span class="keyword">struct </span><a class="code" href="g_i_l_0374.html" title="N-dimensional locator over immutable values.">RandomAccessNDLocatorConcept</a> {
<a name="l01457"></a>01457 <span class="keywordtype">void</span> constraints() {
<a name="l01458"></a>01458 gil_function_requires< Regular<Loc> >();
<a name="l01459"></a>01459
<a name="l01460"></a>01460 <span class="keyword">typedef</span> <span class="keyword">typename</span> Loc::value_type value_type;
<a name="l01461"></a>01461 <span class="keyword">typedef</span> <span class="keyword">typename</span> Loc::reference reference; <span class="comment">// result of dereferencing</span>
<a name="l01462"></a>01462 <span class="keyword">typedef</span> <span class="keyword">typename</span> Loc::difference_type difference_type; <span class="comment">// result of operator-(pixel_locator, pixel_locator)</span>
<a name="l01463"></a>01463 <span class="keyword">typedef</span> <span class="keyword">typename</span> Loc::cached_location_t cached_location_t; <span class="comment">// type used to store relative location (to allow for more efficient repeated access)</span>
<a name="l01464"></a>01464 <span class="keyword">typedef</span> <span class="keyword">typename</span> Loc::const_t const_t; <span class="comment">// same as this type, but over const values</span>
<a name="l01465"></a>01465 <span class="keyword">typedef</span> <span class="keyword">typename</span> Loc::point_t point_t; <span class="comment">// same as difference_type</span>
<a name="l01466"></a>01466 <span class="keyword">static</span> <span class="keyword">const</span> std::size_t N=Loc::num_dimensions; ignore_unused_variable_warning(N);
<a name="l01467"></a>01467
<a name="l01468"></a>01468 <span class="keyword">typedef</span> <span class="keyword">typename</span> Loc::template axis<0>::iterator first_it_type;
<a name="l01469"></a>01469 <span class="keyword">typedef</span> <span class="keyword">typename</span> Loc::template axis<N-1>::iterator last_it_type;
<a name="l01470"></a>01470 gil_function_requires<boost_concepts::RandomAccessTraversalConcept<first_it_type> >();
<a name="l01471"></a>01471 gil_function_requires<boost_concepts::RandomAccessTraversalConcept<last_it_type> >();
<a name="l01472"></a>01472
<a name="l01473"></a>01473 <span class="comment">// point_t must be an N-dimensional point, each dimension of which must have the same type as difference_type of the corresponding iterator</span>
<a name="l01474"></a>01474 gil_function_requires<PointNDConcept<point_t> >();
<a name="l01475"></a>01475 BOOST_STATIC_ASSERT(point_t::num_dimensions==N);
<a name="l01476"></a>01476 BOOST_STATIC_ASSERT((is_same<<span class="keyword">typename</span> std::iterator_traits<first_it_type>::difference_type, <span class="keyword">typename</span> point_t::template axis<0>::coord_t>::value));
<a name="l01477"></a>01477 BOOST_STATIC_ASSERT((is_same<<span class="keyword">typename</span> std::iterator_traits<last_it_type>::difference_type, <span class="keyword">typename</span> point_t::template axis<N-1>::coord_t>::value));
<a name="l01478"></a>01478
<a name="l01479"></a>01479 difference_type d;
<a name="l01480"></a>01480 loc+=d;
<a name="l01481"></a>01481 loc-=d;
<a name="l01482"></a>01482 loc=loc+d;
<a name="l01483"></a>01483 loc=loc-d;
<a name="l01484"></a>01484 reference r1=loc[d]; ignore_unused_variable_warning(r1);
<a name="l01485"></a>01485 reference r2=*loc; ignore_unused_variable_warning(r2);
<a name="l01486"></a>01486 cached_location_t cl=loc.cache_location(d); ignore_unused_variable_warning(cl);
<a name="l01487"></a>01487 reference r3=loc[d]; ignore_unused_variable_warning(r3);
<a name="l01488"></a>01488
<a name="l01489"></a>01489 first_it_type fi=loc.template axis_iterator<0>();
<a name="l01490"></a>01490 fi=loc.template axis_iterator<0>(d);
<a name="l01491"></a>01491 last_it_type li=loc.template axis_iterator<N-1>();
<a name="l01492"></a>01492 li=loc.template axis_iterator<N-1>(d);
<a name="l01493"></a>01493
<a name="l01494"></a>01494 <span class="keyword">typedef</span> PixelDereferenceAdaptorArchetype<typename Loc::value_type> deref_t;
<a name="l01495"></a>01495 <span class="keyword">typedef</span> <span class="keyword">typename</span> Loc::template add_deref<deref_t>::type dtype;
<a name="l01496"></a>01496 <span class="comment">//gil_function_requires<RandomAccessNDLocatorConcept<dtype> >(); // infinite recursion</span>
<a name="l01497"></a>01497 }
<a name="l01498"></a>01498 Loc loc;
<a name="l01499"></a>01499 };
<a name="l01500"></a>01500
<a name="l01503"></a>01503
<a name="l01541"></a>01541 <span class="keyword">template</span> <<span class="keyword">typename</span> Loc>
<a name="l01542"></a><a class="code" href="g_i_l_0368.html">01542</a> <span class="keyword">struct </span><a class="code" href="g_i_l_0368.html" title="2-dimensional locator over immutable values">RandomAccess2DLocatorConcept</a> {
<a name="l01543"></a>01543 <span class="keywordtype">void</span> constraints() {
<a name="l01544"></a>01544 gil_function_requires<RandomAccessNDLocatorConcept<Loc> >();
<a name="l01545"></a>01545 BOOST_STATIC_ASSERT(Loc::num_dimensions==2);
<a name="l01546"></a>01546
<a name="l01547"></a>01547 <span class="keyword">typedef</span> <span class="keyword">typename</span> dynamic_x_step_type<Loc>::type dynamic_x_step_t;
<a name="l01548"></a>01548 <span class="keyword">typedef</span> <span class="keyword">typename</span> dynamic_y_step_type<Loc>::type dynamic_y_step_t;
<a name="l01549"></a>01549 <span class="keyword">typedef</span> <span class="keyword">typename</span> transposed_type<Loc>::type transposed_t;
<a name="l01550"></a>01550
<a name="l01551"></a>01551 <span class="keyword">typedef</span> <span class="keyword">typename</span> Loc::cached_location_t cached_location_t;
<a name="l01552"></a>01552 gil_function_requires<Point2DConcept<typename Loc::point_t> >();
<a name="l01553"></a>01553
<a name="l01554"></a>01554 <span class="keyword">typedef</span> <span class="keyword">typename</span> Loc::x_iterator x_iterator;
<a name="l01555"></a>01555 <span class="keyword">typedef</span> <span class="keyword">typename</span> Loc::y_iterator y_iterator;
<a name="l01556"></a>01556 <span class="keyword">typedef</span> <span class="keyword">typename</span> Loc::x_coord_t x_coord_t;
<a name="l01557"></a>01557 <span class="keyword">typedef</span> <span class="keyword">typename</span> Loc::y_coord_t y_coord_t;
<a name="l01558"></a>01558
<a name="l01559"></a>01559 x_coord_t xd=0; ignore_unused_variable_warning(xd);
<a name="l01560"></a>01560 y_coord_t yd=0; ignore_unused_variable_warning(yd);
<a name="l01561"></a>01561
<a name="l01562"></a>01562 <span class="keyword">typename</span> Loc::difference_type d;
<a name="l01563"></a>01563 <span class="keyword">typename</span> Loc::reference r=loc(xd,yd); ignore_unused_variable_warning(r);
<a name="l01564"></a>01564
<a name="l01565"></a>01565 dynamic_x_step_t loc2(dynamic_x_step_t(), yd);
<a name="l01566"></a>01566 dynamic_x_step_t loc3(dynamic_x_step_t(), xd, yd);
<a name="l01567"></a>01567
<a name="l01568"></a>01568 <span class="keyword">typedef</span> <span class="keyword">typename</span> dynamic_y_step_type<typename dynamic_x_step_type<transposed_t>::type>::type dynamic_xy_step_transposed_t;
<a name="l01569"></a>01569 dynamic_xy_step_transposed_t loc4(loc, xd,yd,<span class="keyword">true</span>);
<a name="l01570"></a>01570
<a name="l01571"></a>01571 <span class="keywordtype">bool</span> is_contiguous=loc.is_1d_traversable(xd); ignore_unused_variable_warning(is_contiguous);
<a name="l01572"></a>01572 loc.y_distance_to(loc, xd);
<a name="l01573"></a>01573
<a name="l01574"></a>01574 loc=loc.xy_at(d);
<a name="l01575"></a>01575 loc=loc.xy_at(xd,yd);
<a name="l01576"></a>01576
<a name="l01577"></a>01577 x_iterator xit=loc.x_at(d);
<a name="l01578"></a>01578 xit=loc.x_at(xd,yd);
<a name="l01579"></a>01579 xit=loc.x();
<a name="l01580"></a>01580
<a name="l01581"></a>01581 y_iterator yit=loc.y_at(d);
<a name="l01582"></a>01582 yit=loc.y_at(xd,yd);
<a name="l01583"></a>01583 yit=loc.y();
<a name="l01584"></a>01584
<a name="l01585"></a>01585 cached_location_t cl=loc.cache_location(xd,yd); ignore_unused_variable_warning(cl);
<a name="l01586"></a>01586 }
<a name="l01587"></a>01587 Loc loc;
<a name="l01588"></a>01588 };
<a name="l01589"></a>01589
<a name="l01592"></a>01592
<a name="l01604"></a>01604 <span class="keyword">template</span> <<span class="keyword">typename</span> Loc>
<a name="l01605"></a><a class="code" href="g_i_l_0354.html">01605</a> <span class="keyword">struct </span><a class="code" href="g_i_l_0354.html" title="GIL&#39;s 2-dimensional locator over immutable GIL pixels.">PixelLocatorConcept</a> {
<a name="l01606"></a>01606 <span class="keywordtype">void</span> constraints() {
<a name="l01607"></a>01607 gil_function_requires< RandomAccess2DLocatorConcept<Loc> >();
<a name="l01608"></a>01608 gil_function_requires< PixelIteratorConcept<typename Loc::x_iterator> >();
<a name="l01609"></a>01609 gil_function_requires< PixelIteratorConcept<typename Loc::y_iterator> >();
<a name="l01610"></a>01610 <span class="keyword">typedef</span> <span class="keyword">typename</span> Loc::coord_t coord_t;
<a name="l01611"></a>01611 BOOST_STATIC_ASSERT((is_same<typename Loc::x_coord_t, typename Loc::y_coord_t>::value));
<a name="l01612"></a>01612 }
<a name="l01613"></a>01613 Loc loc;
<a name="l01614"></a>01614 };
<a name="l01615"></a>01615
<a name="l01616"></a>01616 <span class="keyword">namespace </span>detail {
<a name="l01617"></a>01617 <span class="keyword">template</span> <<span class="keyword">typename</span> Loc> <span class="comment">// preconditions: Loc Models RandomAccessNDLocatorConcept</span>
<a name="l01618"></a>01618 <span class="keyword">struct </span>RandomAccessNDLocatorIsMutableConcept {
<a name="l01619"></a>01619 <span class="keywordtype">void</span> constraints() {
<a name="l01620"></a>01620 gil_function_requires<detail::RandomAccessIteratorIsMutableConcept<typename Loc::template axis<0>::iterator> >();
<a name="l01621"></a>01621 gil_function_requires<detail::RandomAccessIteratorIsMutableConcept<<span class="keyword">typename</span> Loc::template axis<Loc::num_dimensions-1>::iterator> >();
<a name="l01622"></a>01622
<a name="l01623"></a>01623 <span class="keyword">typename</span> Loc::difference_type d; initialize_it(d);
<a name="l01624"></a>01624 <span class="keyword">typename</span> Loc::value_type v;initialize_it(v);
<a name="l01625"></a>01625 <span class="keyword">typename</span> Loc::cached_location_t cl=loc.cache_location(d);
<a name="l01626"></a>01626 *loc=v;
<a name="l01627"></a>01627 loc[d]=v;
<a name="l01628"></a>01628 loc[cl]=v;
<a name="l01629"></a>01629 }
<a name="l01630"></a>01630 Loc loc;
<a name="l01631"></a>01631 };
<a name="l01632"></a>01632
<a name="l01633"></a>01633 <span class="keyword">template</span> <<span class="keyword">typename</span> Loc> <span class="comment">// preconditions: Loc Models RandomAccess2DLocatorConcept</span>
<a name="l01634"></a>01634 <span class="keyword">struct </span>RandomAccess2DLocatorIsMutableConcept {
<a name="l01635"></a>01635 <span class="keywordtype">void</span> constraints() {
<a name="l01636"></a>01636 gil_function_requires<detail::RandomAccessNDLocatorIsMutableConcept<Loc> >();
<a name="l01637"></a>01637 <span class="keyword">typename</span> Loc::x_coord_t xd=0; ignore_unused_variable_warning(xd);
<a name="l01638"></a>01638 <span class="keyword">typename</span> Loc::y_coord_t yd=0; ignore_unused_variable_warning(yd);
<a name="l01639"></a>01639 <span class="keyword">typename</span> Loc::value_type v; initialize_it(v);
<a name="l01640"></a>01640 loc(xd,yd)=v;
<a name="l01641"></a>01641 }
<a name="l01642"></a>01642 Loc loc;
<a name="l01643"></a>01643 };
<a name="l01644"></a>01644 }
<a name="l01645"></a>01645
<a name="l01648"></a>01648
<a name="l01655"></a>01655 <span class="keyword">template</span> <<span class="keyword">typename</span> Loc>
<a name="l01656"></a><a class="code" href="g_i_l_0340.html">01656</a> <span class="keyword">struct </span><a class="code" href="g_i_l_0340.html" title="N-dimensional locator over mutable pixels.">MutableRandomAccessNDLocatorConcept</a> {
<a name="l01657"></a>01657 <span class="keywordtype">void</span> constraints() {
<a name="l01658"></a>01658 gil_function_requires<RandomAccessNDLocatorConcept<Loc> >();
<a name="l01659"></a>01659 gil_function_requires<detail::RandomAccessNDLocatorIsMutableConcept<Loc> >();
<a name="l01660"></a>01660 }
<a name="l01661"></a>01661 };
<a name="l01662"></a>01662
<a name="l01665"></a>01665
<a name="l01670"></a>01670 <span class="keyword">template</span> <<span class="keyword">typename</span> Loc>
<a name="l01671"></a><a class="code" href="g_i_l_0336.html">01671</a> <span class="keyword">struct </span><a class="code" href="g_i_l_0336.html" title="2-dimensional locator over mutable pixels">MutableRandomAccess2DLocatorConcept</a> {
<a name="l01672"></a>01672 <span class="keywordtype">void</span> constraints() {
<a name="l01673"></a>01673 gil_function_requires< RandomAccess2DLocatorConcept<Loc> >();
<a name="l01674"></a>01674 gil_function_requires<detail::RandomAccess2DLocatorIsMutableConcept<Loc> >();
<a name="l01675"></a>01675 }
<a name="l01676"></a>01676 };
<a name="l01677"></a>01677
<a name="l01680"></a>01680
<a name="l01685"></a>01685 <span class="keyword">template</span> <<span class="keyword">typename</span> Loc>
<a name="l01686"></a><a class="code" href="g_i_l_0332.html">01686</a> <span class="keyword">struct </span><a class="code" href="g_i_l_0332.html" title="GIL&#39;s 2-dimensional locator over mutable GIL pixels.">MutablePixelLocatorConcept</a> {
<a name="l01687"></a>01687 <span class="keywordtype">void</span> constraints() {
<a name="l01688"></a>01688 gil_function_requires<PixelLocatorConcept<Loc> >();
<a name="l01689"></a>01689 gil_function_requires<detail::RandomAccess2DLocatorIsMutableConcept<Loc> >();
<a name="l01690"></a>01690 }
<a name="l01691"></a>01691 };
<a name="l01692"></a>01692
<a name="l01698"></a>01698
<a name="l01702"></a>01702
<a name="l01706"></a>01706
<a name="l01710"></a>01710
<a name="l01713"></a>01713
<a name="l01762"></a>01762 <span class="keyword">template</span> <<span class="keyword">typename</span> View>
<a name="l01763"></a><a class="code" href="g_i_l_0372.html">01763</a> <span class="keyword">struct </span><a class="code" href="g_i_l_0372.html" title="N-dimensional view over immutable values.">RandomAccessNDImageViewConcept</a> {
<a name="l01764"></a>01764 <span class="keywordtype">void</span> constraints() {
<a name="l01765"></a>01765 gil_function_requires< Regular<View> >();
<a name="l01766"></a>01766
<a name="l01767"></a>01767 <span class="keyword">typedef</span> <span class="keyword">typename</span> View::value_type value_type;
<a name="l01768"></a>01768 <span class="keyword">typedef</span> <span class="keyword">typename</span> View::reference reference; <span class="comment">// result of dereferencing</span>
<a name="l01769"></a>01769 <span class="keyword">typedef</span> <span class="keyword">typename</span> View::difference_type difference_type; <span class="comment">// result of operator-(1d_iterator,1d_iterator)</span>
<a name="l01770"></a>01770 <span class="keyword">typedef</span> <span class="keyword">typename</span> View::const_t const_t; <span class="comment">// same as this type, but over const values</span>
<a name="l01771"></a>01771 <span class="keyword">typedef</span> <span class="keyword">typename</span> View::point_t point_t; <span class="comment">// N-dimensional point</span>
<a name="l01772"></a>01772 <span class="keyword">typedef</span> <span class="keyword">typename</span> View::locator locator; <span class="comment">// N-dimensional locator</span>
<a name="l01773"></a>01773 <span class="keyword">typedef</span> <span class="keyword">typename</span> View::iterator iterator;
<a name="l01774"></a>01774 <span class="keyword">typedef</span> <span class="keyword">typename</span> View::reverse_iterator reverse_iterator;
<a name="l01775"></a>01775 <span class="keyword">typedef</span> <span class="keyword">typename</span> View::size_type size_type;
<a name="l01776"></a>01776 <span class="keyword">static</span> <span class="keyword">const</span> std::size_t N=View::num_dimensions;
<a name="l01777"></a>01777
<a name="l01778"></a>01778 gil_function_requires<RandomAccessNDLocatorConcept<locator> >();
<a name="l01779"></a>01779 gil_function_requires<boost_concepts::RandomAccessTraversalConcept<iterator> >();
<a name="l01780"></a>01780 gil_function_requires<boost_concepts::RandomAccessTraversalConcept<reverse_iterator> >();
<a name="l01781"></a>01781
<a name="l01782"></a>01782 <span class="keyword">typedef</span> <span class="keyword">typename</span> View::template axis<0>::iterator first_it_type;
<a name="l01783"></a>01783 <span class="keyword">typedef</span> <span class="keyword">typename</span> View::template axis<N-1>::iterator last_it_type;
<a name="l01784"></a>01784 gil_function_requires<boost_concepts::RandomAccessTraversalConcept<first_it_type> >();
<a name="l01785"></a>01785 gil_function_requires<boost_concepts::RandomAccessTraversalConcept<last_it_type> >();
<a name="l01786"></a>01786
<a name="l01787"></a>01787 <span class="comment">// BOOST_STATIC_ASSERT((typename std::iterator_traits<first_it_type>::difference_type, typename point_t::template axis<0>::coord_t>::value));</span>
<a name="l01788"></a>01788 <span class="comment">// BOOST_STATIC_ASSERT((typename std::iterator_traits< last_it_type>::difference_type, typename point_t::template axis<N-1>::coord_t>::value));</span>
<a name="l01789"></a>01789
<a name="l01790"></a>01790 <span class="comment">// point_t must be an N-dimensional point, each dimension of which must have the same type as difference_type of the corresponding iterator</span>
<a name="l01791"></a>01791 gil_function_requires<PointNDConcept<point_t> >();
<a name="l01792"></a>01792 BOOST_STATIC_ASSERT(point_t::num_dimensions==N);
<a name="l01793"></a>01793 BOOST_STATIC_ASSERT((is_same<<span class="keyword">typename</span> std::iterator_traits<first_it_type>::difference_type, <span class="keyword">typename</span> point_t::template axis<0>::coord_t>::value));
<a name="l01794"></a>01794 BOOST_STATIC_ASSERT((is_same<<span class="keyword">typename</span> std::iterator_traits<last_it_type>::difference_type, <span class="keyword">typename</span> point_t::template axis<N-1>::coord_t>::value));
<a name="l01795"></a>01795
<a name="l01796"></a>01796 point_t p;
<a name="l01797"></a>01797 locator lc;
<a name="l01798"></a>01798 iterator it;
<a name="l01799"></a>01799 reverse_iterator rit;
<a name="l01800"></a>01800 difference_type d; detail::initialize_it(d); ignore_unused_variable_warning(d);
<a name="l01801"></a>01801
<a name="l01802"></a>01802 View(p,lc); <span class="comment">// view must be constructible from a locator and a point</span>
<a name="l01803"></a>01803
<a name="l01804"></a>01804 p=view.dimensions();
<a name="l01805"></a>01805 lc=view.pixels();
<a name="l01806"></a>01806 size_type sz=view.size(); ignore_unused_variable_warning(sz);
<a name="l01807"></a>01807 <span class="keywordtype">bool</span> is_contiguous=view.is_1d_traversable(); ignore_unused_variable_warning(is_contiguous);
<a name="l01808"></a>01808
<a name="l01809"></a>01809 it=view.begin();
<a name="l01810"></a>01810 it=view.end();
<a name="l01811"></a>01811 rit=view.rbegin();
<a name="l01812"></a>01812 rit=view.rend();
<a name="l01813"></a>01813
<a name="l01814"></a>01814 reference r1=view[d]; ignore_unused_variable_warning(r1); <span class="comment">// 1D access </span>
<a name="l01815"></a>01815 reference r2=view(p); ignore_unused_variable_warning(r2); <span class="comment">// 2D access</span>
<a name="l01816"></a>01816
<a name="l01817"></a>01817 <span class="comment">// get 1-D iterator of any dimension at a given pixel location</span>
<a name="l01818"></a>01818 first_it_type fi=view.template axis_iterator<0>(p); ignore_unused_variable_warning(fi);
<a name="l01819"></a>01819 last_it_type li=view.template axis_iterator<N-1>(p); ignore_unused_variable_warning(li);
<a name="l01820"></a>01820
<a name="l01821"></a>01821 <span class="keyword">typedef</span> PixelDereferenceAdaptorArchetype<typename View::value_type> deref_t;
<a name="l01822"></a>01822 <span class="keyword">typedef</span> <span class="keyword">typename</span> View::template add_deref<deref_t>::type dtype;
<a name="l01823"></a>01823 }
<a name="l01824"></a>01824 View view;
<a name="l01825"></a>01825 };
<a name="l01826"></a>01826
<a name="l01829"></a>01829
<a name="l01866"></a>01866 <span class="keyword">template</span> <<span class="keyword">typename</span> View>
<a name="l01867"></a><a class="code" href="g_i_l_0366.html">01867</a> <span class="keyword">struct </span><a class="code" href="g_i_l_0366.html" title="2-dimensional view over immutable values">RandomAccess2DImageViewConcept</a> {
<a name="l01868"></a>01868 <span class="keywordtype">void</span> constraints() {
<a name="l01869"></a>01869 gil_function_requires<RandomAccessNDImageViewConcept<View> >();
<a name="l01870"></a>01870 BOOST_STATIC_ASSERT(View::num_dimensions==2);
<a name="l01871"></a>01871
<a name="l01872"></a>01872 <span class="comment">// TODO: This executes the requirements for RandomAccessNDLocatorConcept again. Fix it to improve compile time</span>
<a name="l01873"></a>01873 gil_function_requires<RandomAccess2DLocatorConcept<typename View::locator> >();
<a name="l01874"></a>01874
<a name="l01875"></a>01875 <span class="keyword">typedef</span> <span class="keyword">typename</span> dynamic_x_step_type<View>::type dynamic_x_step_t;
<a name="l01876"></a>01876 <span class="keyword">typedef</span> <span class="keyword">typename</span> dynamic_y_step_type<View>::type dynamic_y_step_t;
<a name="l01877"></a>01877 <span class="keyword">typedef</span> <span class="keyword">typename</span> transposed_type<View>::type transposed_t;
<a name="l01878"></a>01878
<a name="l01879"></a>01879 <span class="keyword">typedef</span> <span class="keyword">typename</span> View::x_iterator x_iterator;
<a name="l01880"></a>01880 <span class="keyword">typedef</span> <span class="keyword">typename</span> View::y_iterator y_iterator;
<a name="l01881"></a>01881 <span class="keyword">typedef</span> <span class="keyword">typename</span> View::x_coord_t x_coord_t;
<a name="l01882"></a>01882 <span class="keyword">typedef</span> <span class="keyword">typename</span> View::y_coord_t y_coord_t;
<a name="l01883"></a>01883 <span class="keyword">typedef</span> <span class="keyword">typename</span> View::xy_locator xy_locator;
<a name="l01884"></a>01884
<a name="l01885"></a>01885 x_coord_t xd=0; ignore_unused_variable_warning(xd);
<a name="l01886"></a>01886 y_coord_t yd=0; ignore_unused_variable_warning(yd);
<a name="l01887"></a>01887 x_iterator xit;
<a name="l01888"></a>01888 y_iterator yit;
<a name="l01889"></a>01889 <span class="keyword">typename</span> View::point_t d;
<a name="l01890"></a>01890
<a name="l01891"></a>01891 View(xd,yd,xy_locator()); <span class="comment">// constructible with width, height, 2d_locator</span>
<a name="l01892"></a>01892
<a name="l01893"></a>01893 xy_locator lc=view.xy_at(xd,yd);
<a name="l01894"></a>01894 lc=view.xy_at(d);
<a name="l01895"></a>01895
<a name="l01896"></a>01896 <span class="keyword">typename</span> View::reference r=view(xd,yd); ignore_unused_variable_warning(r);
<a name="l01897"></a>01897 xd=view.width();
<a name="l01898"></a>01898 yd=view.height();
<a name="l01899"></a>01899
<a name="l01900"></a>01900 xit=view.x_at(d);
<a name="l01901"></a>01901 xit=view.x_at(xd,yd);
<a name="l01902"></a>01902 xit=view.row_begin(xd);
<a name="l01903"></a>01903 xit=view.row_end(xd);
<a name="l01904"></a>01904
<a name="l01905"></a>01905 yit=view.y_at(d);
<a name="l01906"></a>01906 yit=view.y_at(xd,yd);
<a name="l01907"></a>01907 yit=view.col_begin(xd);
<a name="l01908"></a>01908 yit=view.col_end(xd);
<a name="l01909"></a>01909 }
<a name="l01910"></a>01910 View view;
<a name="l01911"></a>01911 };
<a name="l01912"></a>01912
<a name="l01913"></a>01913
<a name="l01916"></a>01916
<a name="l01930"></a>01930 <span class="keyword">template</span> <<span class="keyword">typename</span> View>
<a name="l01931"></a><a class="code" href="g_i_l_0308.html">01931</a> <span class="keyword">struct </span><a class="code" href="g_i_l_0308.html" title="GIL&#39;s 2-dimensional view over immutable GIL pixels.">ImageViewConcept</a> {
<a name="l01932"></a>01932 <span class="keywordtype">void</span> constraints() {
<a name="l01933"></a>01933 gil_function_requires<RandomAccess2DImageViewConcept<View> >();
<a name="l01934"></a>01934
<a name="l01935"></a>01935 <span class="comment">// TODO: This executes the requirements for RandomAccess2DLocatorConcept again. Fix it to improve compile time</span>
<a name="l01936"></a>01936 gil_function_requires<PixelLocatorConcept<typename View::xy_locator> >();
<a name="l01937"></a>01937
<a name="l01938"></a>01938 BOOST_STATIC_ASSERT((is_same<typename View::x_coord_t, typename View::y_coord_t>::value));
<a name="l01939"></a>01939
<a name="l01940"></a>01940 <span class="keyword">typedef</span> <span class="keyword">typename</span> View::coord_t coord_t; <span class="comment">// 1D difference type (same for all dimensions)</span>
<a name="l01941"></a>01941 std::size_t num_chan = view.num_channels(); ignore_unused_variable_warning(num_chan);
<a name="l01942"></a>01942 }
<a name="l01943"></a>01943 View view;
<a name="l01944"></a>01944 };
<a name="l01945"></a>01945
<a name="l01946"></a>01946
<a name="l01947"></a>01947 <span class="keyword">namespace </span>detail {
<a name="l01948"></a>01948 <span class="keyword">template</span> <<span class="keyword">typename</span> View> <span class="comment">// Preconditions: View Models RandomAccessNDImageViewConcept</span>
<a name="l01949"></a>01949 <span class="keyword">struct </span>RandomAccessNDImageViewIsMutableConcept {
<a name="l01950"></a>01950 <span class="keywordtype">void</span> constraints() {
<a name="l01951"></a>01951 gil_function_requires<detail::RandomAccessNDLocatorIsMutableConcept<typename View::locator> >();
<a name="l01952"></a>01952
<a name="l01953"></a>01953 gil_function_requires<detail::RandomAccessIteratorIsMutableConcept<typename View::iterator> >();
<a name="l01954"></a>01954 gil_function_requires<detail::RandomAccessIteratorIsMutableConcept<typename View::reverse_iterator> >();
<a name="l01955"></a>01955 gil_function_requires<detail::RandomAccessIteratorIsMutableConcept<typename View::template axis<0>::iterator> >();
<a name="l01956"></a>01956 gil_function_requires<detail::RandomAccessIteratorIsMutableConcept<<span class="keyword">typename</span> View::template axis<View::num_dimensions-1>::iterator> >();
<a name="l01957"></a>01957
<a name="l01958"></a>01958 <span class="keyword">typename</span> View::difference_type diff; initialize_it(diff); ignore_unused_variable_warning(diff);
<a name="l01959"></a>01959 <span class="keyword">typename</span> View::point_t pt;
<a name="l01960"></a>01960 <span class="keyword">typename</span> View::value_type v; initialize_it(v);
<a name="l01961"></a>01961
<a name="l01962"></a>01962 <a class="code" href="g_i_l_0135.html#g55e45a15dddfc0d870c2f7fb9739cb2e" title="Returns the non-constant-pixel view of any image. The returned view is any view.">view</a>[diff]=v;
<a name="l01963"></a>01963 <a class="code" href="g_i_l_0135.html#g55e45a15dddfc0d870c2f7fb9739cb2e" title="Returns the non-constant-pixel view of any image. The returned view is any view.">view</a>(pt)=v;
<a name="l01964"></a>01964 }
<a name="l01965"></a>01965 View <a class="code" href="g_i_l_0135.html#g55e45a15dddfc0d870c2f7fb9739cb2e" title="Returns the non-constant-pixel view of any image. The returned view is any view.">view</a>;
<a name="l01966"></a>01966 };
<a name="l01967"></a>01967
<a name="l01968"></a>01968 <span class="keyword">template</span> <<span class="keyword">typename</span> View> <span class="comment">// preconditions: View Models RandomAccessNDImageViewConcept</span>
<a name="l01969"></a>01969 <span class="keyword">struct </span>RandomAccess2DImageViewIsMutableConcept {
<a name="l01970"></a>01970 <span class="keywordtype">void</span> constraints() {
<a name="l01971"></a>01971 gil_function_requires<detail::RandomAccessNDImageViewIsMutableConcept<View> >();
<a name="l01972"></a>01972 <span class="keyword">typename</span> View::x_coord_t xd=0; ignore_unused_variable_warning(xd);
<a name="l01973"></a>01973 <span class="keyword">typename</span> View::y_coord_t yd=0; ignore_unused_variable_warning(yd);
<a name="l01974"></a>01974 <span class="keyword">typename</span> View::value_type v; initialize_it(v);
<a name="l01975"></a>01975 <a class="code" href="g_i_l_0135.html#g55e45a15dddfc0d870c2f7fb9739cb2e" title="Returns the non-constant-pixel view of any image. The returned view is any view.">view</a>(xd,yd)=v;
<a name="l01976"></a>01976 }
<a name="l01977"></a>01977 View <a class="code" href="g_i_l_0135.html#g55e45a15dddfc0d870c2f7fb9739cb2e" title="Returns the non-constant-pixel view of any image. The returned view is any view.">view</a>;
<a name="l01978"></a>01978 };
<a name="l01979"></a>01979
<a name="l01980"></a>01980 <span class="keyword">template</span> <<span class="keyword">typename</span> View> <span class="comment">// preconditions: View Models ImageViewConcept</span>
<a name="l01981"></a>01981 <span class="keyword">struct </span>PixelImageViewIsMutableConcept {
<a name="l01982"></a>01982 <span class="keywordtype">void</span> constraints() {
<a name="l01983"></a>01983 gil_function_requires<detail::RandomAccess2DImageViewIsMutableConcept<View> >();
<a name="l01984"></a>01984 }
<a name="l01985"></a>01985 };
<a name="l01986"></a>01986 }
<a name="l01987"></a>01987
<a name="l01990"></a>01990
<a name="l01997"></a>01997 <span class="keyword">template</span> <<span class="keyword">typename</span> View>
<a name="l01998"></a><a class="code" href="g_i_l_0338.html">01998</a> <span class="keyword">struct </span><a class="code" href="g_i_l_0338.html" title="N-dimensional view over mutable values.">MutableRandomAccessNDImageViewConcept</a> {
<a name="l01999"></a>01999 <span class="keywordtype">void</span> constraints() {
<a name="l02000"></a>02000 gil_function_requires<RandomAccessNDImageViewConcept<View> >();
<a name="l02001"></a>02001 gil_function_requires<detail::RandomAccessNDImageViewIsMutableConcept<View> >();
<a name="l02002"></a>02002 }
<a name="l02003"></a>02003 };
<a name="l02004"></a>02004
<a name="l02007"></a>02007
<a name="l02012"></a>02012 <span class="keyword">template</span> <<span class="keyword">typename</span> View>
<a name="l02013"></a><a class="code" href="g_i_l_0334.html">02013</a> <span class="keyword">struct </span><a class="code" href="g_i_l_0334.html" title="2-dimensional view over mutable values">MutableRandomAccess2DImageViewConcept</a> {
<a name="l02014"></a>02014 <span class="keywordtype">void</span> constraints() {
<a name="l02015"></a>02015 gil_function_requires<RandomAccess2DImageViewConcept<View> >();
<a name="l02016"></a>02016 gil_function_requires<detail::RandomAccess2DImageViewIsMutableConcept<View> >();
<a name="l02017"></a>02017 }
<a name="l02018"></a>02018 };
<a name="l02019"></a>02019
<a name="l02022"></a>02022
<a name="l02027"></a>02027 <span class="keyword">template</span> <<span class="keyword">typename</span> View>
<a name="l02028"></a><a class="code" href="g_i_l_0324.html">02028</a> <span class="keyword">struct </span><a class="code" href="g_i_l_0324.html" title="GIL&#39;s 2-dimensional view over mutable GIL pixels.">MutableImageViewConcept</a> {
<a name="l02029"></a>02029 <span class="keywordtype">void</span> constraints() {
<a name="l02030"></a>02030 gil_function_requires<ImageViewConcept<View> >();
<a name="l02031"></a>02031 gil_function_requires<detail::PixelImageViewIsMutableConcept<View> >();
<a name="l02032"></a>02032 }
<a name="l02033"></a>02033 };
<a name="l02034"></a>02034
<a name="l02038"></a>02038 <span class="keyword">template</span> <<span class="keyword">typename</span> V1, <span class="keyword">typename</span> V2> <span class="comment">// Model ImageViewConcept</span>
<a name="l02039"></a><a class="code" href="g_i_l_0636.html">02039</a> <span class="keyword">struct </span><a class="code" href="g_i_l_0636.html" title="Returns whether two views are compatible.">views_are_compatible</a> : <span class="keyword">public</span> <a class="code" href="g_i_l_0607.html" title="Returns whether two pixels are compatible.">pixels_are_compatible</a><typename V1::value_type, typename V2::value_type> {};
<a name="l02040"></a>02040
<a name="l02043"></a>02043
<a name="l02050"></a>02050 <span class="keyword">template</span> <<span class="keyword">typename</span> V1, <span class="keyword">typename</span> V2>
<a name="l02051"></a><a class="code" href="g_i_l_0384.html">02051</a> <span class="keyword">struct </span><a class="code" href="g_i_l_0384.html" title="Views are compatible if they have the same color spaces and compatible channel values...">ViewsCompatibleConcept</a> {
<a name="l02052"></a>02052 <span class="keywordtype">void</span> constraints() {
<a name="l02053"></a>02053 BOOST_STATIC_ASSERT((<a class="code" href="g_i_l_0636.html" title="Returns whether two views are compatible.">views_are_compatible<V1,V2>::value</a>));
<a name="l02054"></a>02054 }
<a name="l02055"></a>02055 };
<a name="l02056"></a>02056
<a name="l02057"></a>02057
<a name="l02063"></a>02063
<a name="l02064"></a>02064
<a name="l02067"></a>02067
<a name="l02088"></a>02088 <span class="keyword">template</span> <<span class="keyword">typename</span> Img>
<a name="l02089"></a><a class="code" href="g_i_l_0370.html">02089</a> <span class="keyword">struct </span><a class="code" href="g_i_l_0370.html" title="N-dimensional container of values.">RandomAccessNDImageConcept</a> {
<a name="l02090"></a>02090 <span class="keywordtype">void</span> constraints() {
<a name="l02091"></a>02091 gil_function_requires<Regular<Img> >();
<a name="l02092"></a>02092
<a name="l02093"></a>02093 <span class="keyword">typedef</span> <span class="keyword">typename</span> Img::view_t view_t;
<a name="l02094"></a>02094 gil_function_requires<MutableRandomAccessNDImageViewConcept<view_t> >();
<a name="l02095"></a>02095
<a name="l02096"></a>02096 <span class="keyword">typedef</span> <span class="keyword">typename</span> Img::const_view_t const_view_t;
<a name="l02097"></a>02097 <span class="keyword">typedef</span> <span class="keyword">typename</span> Img::value_type pixel_t;
<a name="l02098"></a>02098
<a name="l02099"></a>02099 <span class="keyword">typedef</span> <span class="keyword">typename</span> Img::point_t point_t;
<a name="l02100"></a>02100 gil_function_requires<PointNDConcept<point_t> >();
<a name="l02101"></a>02101
<a name="l02102"></a>02102 const_view_t cv = <a class="code" href="g_i_l_0135.html#g9e185237819e788838a0d337d21ab722" title="Returns the constant-pixel view of any image. The returned view is any view.">const_view</a>(img); ignore_unused_variable_warning(cv);
<a name="l02103"></a>02103 view_t v = <a class="code" href="g_i_l_0135.html#g55e45a15dddfc0d870c2f7fb9739cb2e" title="Returns the non-constant-pixel view of any image. The returned view is any view.">view</a>(img); ignore_unused_variable_warning(v);
<a name="l02104"></a>02104
<a name="l02105"></a>02105 pixel_t fill_value;
<a name="l02106"></a>02106 point_t pt=img.dimensions();
<a name="l02107"></a>02107 Img im1(pt);
<a name="l02108"></a>02108 Img im2(pt,1);
<a name="l02109"></a>02109 Img im3(pt,fill_value,1);
<a name="l02110"></a>02110 img.recreate(pt);
<a name="l02111"></a>02111 img.recreate(pt,1);
<a name="l02112"></a>02112 img.recreate(pt,fill_value,1);
<a name="l02113"></a>02113 }
<a name="l02114"></a>02114 Img img;
<a name="l02115"></a>02115 };
<a name="l02116"></a>02116
<a name="l02117"></a>02117
<a name="l02120"></a>02120
<a name="l02137"></a>02137 <span class="keyword">template</span> <<span class="keyword">typename</span> Img>
<a name="l02138"></a><a class="code" href="g_i_l_0364.html">02138</a> <span class="keyword">struct </span><a class="code" href="g_i_l_0364.html" title="2-dimensional container of values">RandomAccess2DImageConcept</a> {
<a name="l02139"></a>02139 <span class="keywordtype">void</span> constraints() {
<a name="l02140"></a>02140 gil_function_requires<RandomAccessNDImageConcept<Img> >();
<a name="l02141"></a>02141 <span class="keyword">typedef</span> <span class="keyword">typename</span> Img::x_coord_t x_coord_t;
<a name="l02142"></a>02142 <span class="keyword">typedef</span> <span class="keyword">typename</span> Img::y_coord_t y_coord_t;
<a name="l02143"></a>02143 <span class="keyword">typedef</span> <span class="keyword">typename</span> Img::value_type value_t;
<a name="l02144"></a>02144
<a name="l02145"></a>02145 gil_function_requires<MutableRandomAccess2DImageViewConcept<typename Img::view_t> >();
<a name="l02146"></a>02146
<a name="l02147"></a>02147 x_coord_t w=img.width();
<a name="l02148"></a>02148 y_coord_t h=img.height();
<a name="l02149"></a>02149 value_t fill_value;
<a name="l02150"></a>02150 Img im1(w,h);
<a name="l02151"></a>02151 Img im2(w,h,1);
<a name="l02152"></a>02152 Img im3(w,h,fill_value,1);
<a name="l02153"></a>02153 img.recreate(w,h);
<a name="l02154"></a>02154 img.recreate(w,h,1);
<a name="l02155"></a>02155 img.recreate(w,h,fill_value,1);
<a name="l02156"></a>02156 }
<a name="l02157"></a>02157 Img img;
<a name="l02158"></a>02158 };
<a name="l02159"></a>02159
<a name="l02162"></a>02162
<a name="l02170"></a>02170 <span class="keyword">template</span> <<span class="keyword">typename</span> Img>
<a name="l02171"></a><a class="code" href="g_i_l_0306.html">02171</a> <span class="keyword">struct </span><a class="code" href="g_i_l_0306.html" title="2-dimensional image whose value type models PixelValueConcept">ImageConcept</a> {
<a name="l02172"></a>02172 <span class="keywordtype">void</span> constraints() {
<a name="l02173"></a>02173 gil_function_requires<RandomAccess2DImageConcept<Img> >();
<a name="l02174"></a>02174 gil_function_requires<MutableImageViewConcept<typename Img::view_t> >();
<a name="l02175"></a>02175 <span class="keyword">typedef</span> <span class="keyword">typename</span> Img::coord_t coord_t;
<a name="l02176"></a>02176 BOOST_STATIC_ASSERT(<a class="code" href="g_i_l_0581.html" title="Returns the number of channels of a pixel-based GIL construct.">num_channels<Img>::value</a> == mpl::size<<span class="keyword">typename</span> color_space_type<Img>::type>::value);
<a name="l02177"></a>02177
<a name="l02178"></a>02178 BOOST_STATIC_ASSERT((is_same<coord_t, typename Img::x_coord_t>::value));
<a name="l02179"></a>02179 BOOST_STATIC_ASSERT((is_same<coord_t, typename Img::y_coord_t>::value));
<a name="l02180"></a>02180 }
<a name="l02181"></a>02181 Img img;
<a name="l02182"></a>02182 };
<a name="l02183"></a>02183
<a name="l02184"></a>02184
<a name="l02185"></a>02185 } } <span class="comment">// namespace boost::gil</span>
<a name="l02186"></a>02186
<a name="l02187"></a>02187 <span class="preprocessor">#endif</span>
</pre></div></div>
<hr size="1"><address style="text-align: right;"><small>Generated on Sat May 2 13:50:13 2009 for Generic Image Library by
<a href="http://www.doxygen.org/index.html">
<img src="doxygen.png" alt="doxygen" align="middle" border="0"></a> 1.5.6 </small></address>
</body>
</html>
