ceph/src/boost/libs/gil/doc/html/g_i_l_0091.html

   1 <!-- Copyright 2008 Lubomir Bourdev and Hailin Jin
   2
   3      Distributed under the Boost Software License, Version 1.0.
   4      (See accompanying file LICENSE_1_0.txt or copy at
   5      http://www.boost.org/LICENSE_1_0.txt)
   6   -->
   7
   8 <!--
   9     Copyright 2005-2007 Adobe Systems Incorporated
  10     Distributed under the MIT License (see accompanying file LICENSE_1_0_0.txt
  11     or a copy at http://stlab.adobe.com/licenses.html)
  12
  13     Some files are held under additional license.
  14     Please see "http://stlab.adobe.com/licenses.html" for more information.
  15 -->
  16
  17 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
  18         "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
  19 <html xmlns="http://www.w3.org/1999/xhtml" lang="en" xml:lang="en">
  20
  21 <head>
  22     <TITLE>Generic Image Library: gil_concept.hpp Source File</TITLE>
  23     <META HTTP-EQUIV="content-type" CONTENT="text/html;charset=ISO-8859-1"/>
  24     <LINK TYPE="text/css" REL="stylesheet" HREF="adobe_source.css"/>
  25 </head>
  26 <body>
  27 <table border="0" cellspacing="0" cellpadding="0" style='width: 100%; margin: 0; padding: 0'><tr>
  28 <td width="100%" valign="top" style='padding-left: 10px; padding-right: 10px; padding-bottom: 10px'>
  29 <div class="qindex"><a class="qindex" href="index.html">Modules</a>
  30                   | <a class="qindex" href="classes.html">Alphabetical List</a>
  31                   | <a class="qindex" href="annotated.html">Class List</a>
  32                   | <a class="qindex" href="dirs.html">Directories</a>
  33                   | <a class="qindex" href="files.html">File List</a>
  34                   | <a class="qindex" href="../index.html">GIL Home Page</a>
  35 </div>
  36 <!-- End Header -->
  37 <!-- Generated by Doxygen 1.5.6 -->
  38   <div class="navpath"><a class="el" href="g_i_l_0076.html">boost</a>&nbsp;&raquo&nbsp;<a class="el" href="g_i_l_0079.html">gil</a>
  39   </div>
  40 <div class="contents">
  41 <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>
  42 <a name="l00002"></a>00002 <span class="comment">    Copyright 2005-2007 Adobe Systems Incorporated</span>
  43 <a name="l00003"></a>00003 <span class="comment">   </span>
  44 <a name="l00004"></a>00004 <span class="comment">    Use, modification and distribution are subject to the Boost Software License,</span>
  45 <a name="l00005"></a>00005 <span class="comment">    Version 1.0. (See accompanying file LICENSE_1_0.txt or copy at</span>
  46 <a name="l00006"></a>00006 <span class="comment">    http://www.boost.org/LICENSE_1_0.txt).</span>
  47 <a name="l00007"></a>00007 <span class="comment"></span>
  48 <a name="l00008"></a>00008 <span class="comment">    See http://opensource.adobe.com/gil for most recent version including documentation.</span>
  49 <a name="l00009"></a>00009 <span class="comment">*/</span>
  50 <a name="l00010"></a>00010
  51 <a name="l00011"></a>00011 <span class="comment">/*************************************************************************************************/</span>
  52 <a name="l00012"></a>00012
  53 <a name="l00013"></a>00013 <span class="preprocessor">#ifndef GIL_CONCEPT_H</span>
  54 <a name="l00014"></a>00014 <span class="preprocessor"></span><span class="preprocessor">#define GIL_CONCEPT_H</span>
  55 <a name="l00015"></a>00015 <span class="preprocessor"></span>
  56 <a name="l00024"></a>00024
  57 <a name="l00025"></a>00025 <span class="preprocessor">#include &lt;functional&gt;</span>
  58 <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>
  59 <a name="l00027"></a>00027 <span class="preprocessor">#include &lt;boost/type_traits.hpp&gt;</span>
  60 <a name="l00028"></a>00028 <span class="preprocessor">#include &lt;boost/utility/enable_if.hpp&gt;</span>
  61 <a name="l00029"></a>00029 <span class="preprocessor">#include &lt;boost/concept_check.hpp&gt;</span>
  62 <a name="l00030"></a>00030 <span class="preprocessor">#include &lt;boost/iterator/iterator_concepts.hpp&gt;</span>
  63 <a name="l00031"></a>00031 <span class="preprocessor">#include &lt;boost/mpl/and.hpp&gt;</span>
  64 <a name="l00032"></a>00032 <span class="preprocessor">#include &lt;boost/mpl/size.hpp&gt;</span>
  65 <a name="l00033"></a>00033
  66 <a name="l00034"></a>00034 <span class="keyword">namespace </span>boost { <span class="keyword">namespace </span>gil {
  67 <a name="l00035"></a>00035 <span class="keyword">template</span> &lt;<span class="keyword">typename</span> T&gt; <span class="keyword">struct </span>channel_traits;
  68 <a name="l00036"></a>00036 <span class="keyword">template</span> &lt;<span class="keyword">typename</span> P&gt; <span class="keyword">struct </span>is_pixel;
  69 <a name="l00037"></a>00037 <span class="keyword">template</span> &lt;<span class="keyword">typename</span> dstT, <span class="keyword">typename</span> srcT&gt;
  70 <a name="l00038"></a>00038 <span class="keyword">typename</span> channel_traits&lt;dstT&gt;::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);
  71 <a name="l00039"></a>00039 <span class="keyword">template</span> &lt;<span class="keyword">typename</span> T&gt; <span class="keyword">class </span>point2;
  72 <a name="l00040"></a>00040 <span class="keyword">template</span> &lt;std::<span class="keywordtype">size_t</span> K, <span class="keyword">typename</span> T&gt; <span class="keyword">const</span> T&amp; axis_value(<span class="keyword">const</span> point2&lt;T&gt;&amp; p);
  73 <a name="l00041"></a>00041 <span class="keyword">template</span> &lt;std::<span class="keywordtype">size_t</span> K, <span class="keyword">typename</span> T&gt;       T&amp; axis_value(      point2&lt;T&gt;&amp; p);
  74 <a name="l00042"></a>00042 <span class="keyword">template</span> &lt;<span class="keyword">typename</span> ColorBase, <span class="keywordtype">int</span> K&gt; <span class="keyword">struct </span>kth_element_type;
  75 <a name="l00043"></a>00043 <span class="keyword">template</span> &lt;<span class="keyword">typename</span> ColorBase, <span class="keywordtype">int</span> K&gt; <span class="keyword">struct </span>kth_element_reference_type;
  76 <a name="l00044"></a>00044 <span class="keyword">template</span> &lt;<span class="keyword">typename</span> ColorBase, <span class="keywordtype">int</span> K&gt; <span class="keyword">struct </span>kth_element_const_reference_type;
  77 <a name="l00045"></a>00045 <span class="keyword">template</span> &lt;<span class="keyword">typename</span> ColorBase, <span class="keywordtype">int</span> K&gt; <span class="keyword">struct </span>kth_semantic_element_reference_type;
  78 <a name="l00046"></a>00046 <span class="keyword">template</span> &lt;<span class="keyword">typename</span> ColorBase, <span class="keywordtype">int</span> K&gt; <span class="keyword">struct </span>kth_semantic_element_const_reference_type;
  79 <a name="l00047"></a>00047 <span class="keyword">template</span> &lt;<span class="keyword">typename</span> ColorBase&gt; <span class="keyword">struct </span>size;
  80 <a name="l00048"></a>00048 <span class="keyword">template</span> &lt;<span class="keyword">typename</span> ColorBase&gt; <span class="keyword">struct </span>element_type;
  81 <a name="l00049"></a>00049 <span class="keyword">template</span> &lt;<span class="keyword">typename</span> T&gt; <span class="keyword">struct </span>channel_type;
  82 <a name="l00050"></a>00050 <span class="keyword">template</span> &lt;<span class="keyword">typename</span> T&gt; <span class="keyword">struct </span>color_space_type;
  83 <a name="l00051"></a>00051 <span class="keyword">template</span> &lt;<span class="keyword">typename</span> T&gt; <span class="keyword">struct </span>channel_mapping_type;
  84 <a name="l00052"></a>00052 <span class="keyword">template</span> &lt;<span class="keyword">typename</span> T&gt; <span class="keyword">struct </span>is_planar;
  85 <a name="l00053"></a>00053 <span class="keyword">template</span> &lt;<span class="keyword">typename</span> T&gt; <span class="keyword">struct </span>num_channels;
  86 <a name="l00054"></a>00054
  87 <a name="l00055"></a>00055 <span class="keyword">template</span> &lt;<span class="keyword">typename</span> It&gt; <span class="keyword">struct </span>const_iterator_type;
  88 <a name="l00056"></a>00056 <span class="keyword">template</span> &lt;<span class="keyword">typename</span> It&gt; <span class="keyword">struct </span>iterator_is_mutable;
  89 <a name="l00057"></a>00057 <span class="keyword">template</span> &lt;<span class="keyword">typename</span> It&gt; <span class="keyword">struct </span>is_iterator_adaptor;
  90 <a name="l00058"></a>00058 <span class="keyword">template</span> &lt;<span class="keyword">typename</span> It, <span class="keyword">typename</span> NewBaseIt&gt; <span class="keyword">struct </span>iterator_adaptor_rebind;
  91 <a name="l00059"></a>00059 <span class="keyword">template</span> &lt;<span class="keyword">typename</span> It&gt; <span class="keyword">struct </span>iterator_adaptor_get_base;
  92 <a name="l00060"></a>00060
  93 <a name="l00061"></a>00061
  94 <a name="l00062"></a>00062 <span class="comment">// forward-declare at_c</span>
  95 <a name="l00063"></a>00063 <span class="keyword">namespace </span>detail { <span class="keyword">template</span> &lt;<span class="keyword">typename</span> Element, <span class="keyword">typename</span> Layout, <span class="keywordtype">int</span> K&gt; <span class="keyword">struct </span>homogeneous_color_base; }
  96 <a name="l00064"></a>00064 <span class="keyword">template</span> &lt;<span class="keywordtype">int</span> K, <span class="keyword">typename</span> E, <span class="keyword">typename</span> L, <span class="keywordtype">int</span> N&gt;
  97 <a name="l00065"></a>00065 <span class="keyword">typename</span> add_reference&lt;E&gt;::type                           at_c(      detail::homogeneous_color_base&lt;E,L,N&gt;&amp; p);
  98 <a name="l00066"></a>00066
  99 <a name="l00067"></a>00067 <span class="keyword">template</span> &lt;<span class="keywordtype">int</span> K, <span class="keyword">typename</span> E, <span class="keyword">typename</span> L, <span class="keywordtype">int</span> N&gt;
 100 <a name="l00068"></a>00068 <span class="keyword">typename</span> add_reference&lt;typename add_const&lt;E&gt;::type&gt;::type at_c(<span class="keyword">const</span> detail::homogeneous_color_base&lt;E,L,N&gt;&amp; p);
 101 <a name="l00069"></a>00069
 102 <a name="l00070"></a>00070 <span class="preprocessor">#if !defined(_MSC_VER)  || _MSC_VER &gt; 1310</span>
 103 <a name="l00071"></a>00071 <span class="preprocessor"></span><span class="keyword">template</span> &lt;<span class="keyword">typename</span> P, <span class="keyword">typename</span> C, <span class="keyword">typename</span> L&gt; <span class="keyword">struct </span>packed_pixel;
 104 <a name="l00072"></a>00072 <span class="keyword">template</span> &lt;<span class="keywordtype">int</span> K, <span class="keyword">typename</span> P, <span class="keyword">typename</span> C, <span class="keyword">typename</span> L&gt;
 105 <a name="l00073"></a>00073 <span class="keyword">typename</span> kth_element_reference_type&lt;packed_pixel&lt;P,C,L&gt;, K&gt;::type
 106 <a name="l00074"></a>00074 at_c(packed_pixel&lt;P,C,L&gt;&amp; p);
 107 <a name="l00075"></a>00075
 108 <a name="l00076"></a>00076 <span class="keyword">template</span> &lt;<span class="keywordtype">int</span> K, <span class="keyword">typename</span> P, <span class="keyword">typename</span> C, <span class="keyword">typename</span> L&gt;
 109 <a name="l00077"></a>00077 <span class="keyword">typename</span> kth_element_const_reference_type&lt;packed_pixel&lt;P,C,L&gt;,K&gt;::type
 110 <a name="l00078"></a>00078 at_c(<span class="keyword">const</span> packed_pixel&lt;P,C,L&gt;&amp; p);
 111 <a name="l00079"></a>00079
 112 <a name="l00080"></a>00080 <span class="keyword">template</span> &lt;<span class="keyword">typename</span> B, <span class="keyword">typename</span> C, <span class="keyword">typename</span> L, <span class="keywordtype">bool</span> M&gt; <span class="keyword">struct </span>bit_aligned_pixel_reference;
 113 <a name="l00081"></a>00081
 114 <a name="l00082"></a>00082 <span class="keyword">template</span> &lt;<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&gt; <span class="keyword">inline</span>
 115 <a name="l00083"></a>00083 <span class="keyword">typename</span> kth_element_reference_type&lt;bit_aligned_pixel_reference&lt;B,C,L,M&gt;, K&gt;::type
 116 <a name="l00084"></a>00084 at_c(<span class="keyword">const</span> bit_aligned_pixel_reference&lt;B,C,L,M&gt;&amp; p);
 117 <a name="l00085"></a>00085 <span class="preprocessor">#endif</span>
 118 <a name="l00086"></a>00086 <span class="preprocessor"></span>
 119 <a name="l00087"></a>00087 <span class="comment">// Forward-declare semantic_at_c</span>
 120 <a name="l00088"></a>00088 <span class="keyword">template</span> &lt;<span class="keywordtype">int</span> K, <span class="keyword">typename</span> ColorBase&gt;
 121 <a name="l00089"></a>00089 <span class="keyword">typename</span> disable_if&lt;is_const&lt;ColorBase&gt;,<span class="keyword">typename</span> kth_semantic_element_reference_type&lt;ColorBase,K&gt;::type&gt;::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&amp; p);
 122 <a name="l00090"></a>00090 <span class="keyword">template</span> &lt;<span class="keywordtype">int</span> K, <span class="keyword">typename</span> ColorBase&gt;
 123 <a name="l00091"></a>00091 <span class="keyword">typename</span> kth_semantic_element_const_reference_type&lt;ColorBase,K&gt;::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&amp; p);
 124 <a name="l00092"></a>00092
 125 <a name="l00093"></a>00093 <span class="keyword">template</span> &lt;<span class="keyword">typename</span> T&gt; <span class="keyword">struct </span>dynamic_x_step_type;
 126 <a name="l00094"></a>00094 <span class="keyword">template</span> &lt;<span class="keyword">typename</span> T&gt; <span class="keyword">struct </span>dynamic_y_step_type;
 127 <a name="l00095"></a>00095 <span class="keyword">template</span> &lt;<span class="keyword">typename</span> T&gt; <span class="keyword">struct </span>transposed_type;
 128 <a name="l00096"></a>00096
 129 <a name="l00097"></a>00097 <span class="keyword">namespace </span>detail {
 130 <a name="l00098"></a>00098 <span class="keyword">template</span> &lt;<span class="keyword">typename</span> T&gt;
 131 <a name="l00099"></a>00099 <span class="keywordtype">void</span> initialize_it(T&amp; x) {}
 132 <a name="l00100"></a>00100 } <span class="comment">// namespace detail</span>
 133 <a name="l00101"></a>00101
 134 <a name="l00102"></a>00102 <span class="keyword">template</span> &lt;<span class="keyword">typename</span> T&gt;
 135 <a name="l00103"></a>00103 <span class="keyword">struct </span>remove_const_and_reference : <span class="keyword">public</span> remove_const&lt;typename remove_reference&lt;T&gt;::type&gt; {};
 136 <a name="l00104"></a>00104
 137 <a name="l00105"></a>00105 <span class="preprocessor">#ifdef BOOST_GIL_USE_CONCEPT_CHECK</span>
 138 <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>
 139 <a name="l00107"></a>00107 <span class="preprocessor"></span>    <span class="keyword">template</span> &lt;<span class="keyword">typename</span> C&gt; <span class="keywordtype">void</span> gil_function_requires() { function_requires&lt;C&gt;(); }
 140 <a name="l00108"></a>00108 <span class="preprocessor">#else</span>
 141 <a name="l00109"></a>00109 <span class="preprocessor"></span><span class="preprocessor">    #define GIL_CLASS_REQUIRE(T,NS,C) </span>
 142 <a name="l00110"></a>00110 <span class="preprocessor"></span>    <span class="keyword">template</span> &lt;<span class="keyword">typename</span> C&gt; <span class="keywordtype">void</span> gil_function_requires() {}
 143 <a name="l00111"></a>00111 <span class="preprocessor">#endif</span>
 144 <a name="l00112"></a>00112 <span class="preprocessor"></span>
 145 <a name="l00114"></a>00114
 146 <a name="l00121"></a>00121 <span class="keyword">template</span> &lt;<span class="keyword">typename</span> T&gt;
 147 <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> {
 148 <a name="l00123"></a>00123     <span class="keywordtype">void</span> constraints() {
 149 <a name="l00124"></a>00124         function_requires&lt;boost::DefaultConstructibleConcept&lt;T&gt; &gt;();
 150 <a name="l00125"></a>00125     }
 151 <a name="l00126"></a>00126 };
 152 <a name="l00127"></a>00127
 153 <a name="l00129"></a>00129
 154 <a name="l00136"></a>00136 <span class="keyword">template</span> &lt;<span class="keyword">typename</span> T&gt;
 155 <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> {
 156 <a name="l00138"></a>00138     <span class="keywordtype">void</span> constraints() {
 157 <a name="l00139"></a>00139         function_requires&lt;boost::CopyConstructibleConcept&lt;T&gt; &gt;();
 158 <a name="l00140"></a>00140     }
 159 <a name="l00141"></a>00141 };
 160 <a name="l00142"></a>00142
 161 <a name="l00144"></a>00144
 162 <a name="l00152"></a>00152 <span class="keyword">template</span> &lt;<span class="keyword">typename</span> T&gt;
 163 <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> {
 164 <a name="l00154"></a>00154     <span class="keywordtype">void</span> constraints() {
 165 <a name="l00155"></a>00155         function_requires&lt;boost::AssignableConcept&lt;T&gt; &gt;();
 166 <a name="l00156"></a>00156     }
 167 <a name="l00157"></a>00157 };
 168 <a name="l00159"></a>00159
 169 <a name="l00167"></a>00167 <span class="keyword">template</span> &lt;<span class="keyword">typename</span> T&gt;
 170 <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> {
 171 <a name="l00169"></a>00169     <span class="keywordtype">void</span> constraints() {
 172 <a name="l00170"></a>00170         function_requires&lt;boost::EqualityComparableConcept&lt;T&gt; &gt;();
 173 <a name="l00171"></a>00171     }
 174 <a name="l00172"></a>00172 };
 175 <a name="l00173"></a>00173
 176 <a name="l00175"></a>00175
 177 <a name="l00181"></a>00181 <span class="keyword">template</span> &lt;<span class="keyword">typename</span> T, <span class="keyword">typename</span> U&gt;
 178 <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> {
 179 <a name="l00183"></a>00183     <span class="keywordtype">void</span> constraints() {
 180 <a name="l00184"></a>00184         BOOST_STATIC_ASSERT((boost::is_same&lt;T,U&gt;::value_core));
 181 <a name="l00185"></a>00185     }
 182 <a name="l00186"></a>00186 };
 183 <a name="l00187"></a>00187
 184 <a name="l00189"></a>00189
 185 <a name="l00196"></a>00196 <span class="keyword">template</span> &lt;<span class="keyword">typename</span> T&gt;
 186 <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> {
 187 <a name="l00198"></a>00198     <span class="keywordtype">void</span> constraints() {
 188 <a name="l00199"></a>00199         <span class="keyword">using</span> std::swap;
 189 <a name="l00200"></a>00200         swap(x,y);
 190 <a name="l00201"></a>00201     }
 191 <a name="l00202"></a>00202     T x,y;
 192 <a name="l00203"></a>00203 };
 193 <a name="l00204"></a>00204
 194 <a name="l00206"></a>00206
 195 <a name="l00213"></a>00213 <span class="keyword">template</span> &lt;<span class="keyword">typename</span> T&gt;
 196 <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> {
 197 <a name="l00215"></a>00215     <span class="keywordtype">void</span> constraints() {
 198 <a name="l00216"></a>00216         gil_function_requires&lt; boost::DefaultConstructibleConcept&lt;T&gt; &gt;();
 199 <a name="l00217"></a>00217         gil_function_requires&lt; boost::CopyConstructibleConcept&lt;T&gt; &gt;();
 200 <a name="l00218"></a>00218         gil_function_requires&lt; boost::EqualityComparableConcept&lt;T&gt; &gt;(); <span class="comment">// ==, !=</span>
 201 <a name="l00219"></a>00219         gil_function_requires&lt; boost::AssignableConcept&lt;T&gt; &gt;();
 202 <a name="l00220"></a>00220         gil_function_requires&lt; Swappable&lt;T&gt; &gt;();
 203 <a name="l00221"></a>00221     }
 204 <a name="l00222"></a>00222 };
 205 <a name="l00223"></a>00223
 206 <a name="l00225"></a>00225
 207 <a name="l00232"></a>00232 <span class="keyword">template</span> &lt;<span class="keyword">typename</span> T&gt;
 208 <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> {
 209 <a name="l00234"></a>00234     <span class="keywordtype">void</span> constraints() {
 210 <a name="l00235"></a>00235         <span class="keyword">typedef</span> <span class="keyword">typename</span> T::type type;
 211 <a name="l00236"></a>00236     }
 212 <a name="l00237"></a>00237 };
 213 <a name="l00239"></a>00239 <span class="comment">//</span>
 214 <a name="l00240"></a>00240 <span class="comment">//          POINT CONCEPTS</span>
 215 <a name="l00241"></a>00241 <span class="comment">// </span>
 216 <a name="l00243"></a>00243 <span class="comment"></span>
 217 <a name="l00246"></a>00246
 218 <a name="l00261"></a>00261 <span class="keyword">template</span> &lt;<span class="keyword">typename</span> P&gt;
 219 <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> {
 220 <a name="l00263"></a>00263     <span class="keywordtype">void</span> constraints() {
 221 <a name="l00264"></a>00264         gil_function_requires&lt; Regular&lt;P&gt; &gt;();
 222 <a name="l00265"></a>00265
 223 <a name="l00266"></a>00266         <span class="keyword">typedef</span> <span class="keyword">typename</span> P::value_type value_type;
 224 <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);
 225 <a name="l00268"></a>00268         <span class="keyword">typedef</span> <span class="keyword">typename</span> P::template axis&lt;0&gt;::coord_t FT;
 226 <a name="l00269"></a>00269         <span class="keyword">typedef</span> <span class="keyword">typename</span> P::template axis&lt;N-1&gt;::coord_t LT;
 227 <a name="l00270"></a>00270         FT ft=gil::axis_value&lt;0&gt;(point);
 228 <a name="l00271"></a>00271         axis_value&lt;0&gt;(point)=ft;
 229 <a name="l00272"></a>00272         LT lt=axis_value&lt;N-1&gt;(point);
 230 <a name="l00273"></a>00273         axis_value&lt;N-1&gt;(point)=lt;
 231 <a name="l00274"></a>00274
 232 <a name="l00275"></a>00275         value_type v=point[0];  ignore_unused_variable_warning(v);
 233 <a name="l00276"></a>00276         point[0]=point[0];
 234 <a name="l00277"></a>00277     }
 235 <a name="l00278"></a>00278     P point;
 236 <a name="l00279"></a>00279 };
 237 <a name="l00280"></a>00280
 238 <a name="l00283"></a>00283
 239 <a name="l00299"></a>00299 <span class="keyword">template</span> &lt;<span class="keyword">typename</span> P&gt;
 240 <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> {
 241 <a name="l00301"></a>00301     <span class="keywordtype">void</span> constraints() {
 242 <a name="l00302"></a>00302         gil_function_requires&lt; PointNDConcept&lt;P&gt; &gt;();
 243 <a name="l00303"></a>00303         BOOST_STATIC_ASSERT(P::num_dimensions == 2);
 244 <a name="l00304"></a>00304         point.x=point.y;
 245 <a name="l00305"></a>00305         point[0]=point[1];
 246 <a name="l00306"></a>00306     }
 247 <a name="l00307"></a>00307     P point;
 248 <a name="l00308"></a>00308 };
 249 <a name="l00309"></a>00309
 250 <a name="l00311"></a>00311 <span class="comment">//</span>
 251 <a name="l00312"></a>00312 <span class="comment">//          ITERATOR MUTABILITY CONCEPTS</span>
 252 <a name="l00313"></a>00313 <span class="comment">//</span>
 253 <a name="l00314"></a>00314 <span class="comment">// Taken from boost's concept_check.hpp. Isolating mutability to result in faster compile time </span>
 254 <a name="l00315"></a>00315 <span class="comment">//</span>
 255 <a name="l00317"></a>00317 <span class="comment"></span>
 256 <a name="l00318"></a>00318 <span class="keyword">namespace </span>detail {
 257 <a name="l00319"></a>00319     <span class="keyword">template</span> &lt;<span class="keyword">class</span> TT&gt; <span class="comment">// Preconditions: TT Models boost_concepts::ForwardTraversalConcept</span>
 258 <a name="l00320"></a>00320     <span class="keyword">struct </span>ForwardIteratorIsMutableConcept {
 259 <a name="l00321"></a>00321         <span class="keywordtype">void</span> constraints() {
 260 <a name="l00322"></a>00322             *i++ = *i;         <span class="comment">// require postincrement and assignment</span>
 261 <a name="l00323"></a>00323         }
 262 <a name="l00324"></a>00324         TT i;
 263 <a name="l00325"></a>00325     };
 264 <a name="l00326"></a>00326
 265 <a name="l00327"></a>00327     <span class="keyword">template</span> &lt;<span class="keyword">class</span> TT&gt; <span class="comment">// Preconditions: TT Models boost::BidirectionalIteratorConcept</span>
 266 <a name="l00328"></a>00328     <span class="keyword">struct </span>BidirectionalIteratorIsMutableConcept {
 267 <a name="l00329"></a>00329         <span class="keywordtype">void</span> constraints() {
 268 <a name="l00330"></a>00330             gil_function_requires&lt; ForwardIteratorIsMutableConcept&lt;TT&gt; &gt;();
 269 <a name="l00331"></a>00331             *i-- = *i;                  <span class="comment">// require postdecrement and assignment</span>
 270 <a name="l00332"></a>00332         }
 271 <a name="l00333"></a>00333         TT i;
 272 <a name="l00334"></a>00334     };
 273 <a name="l00335"></a>00335
 274 <a name="l00336"></a>00336     <span class="keyword">template</span> &lt;<span class="keyword">class</span> TT&gt; <span class="comment">// Preconditions: TT Models boost_concepts::RandomAccessTraversalConcept</span>
 275 <a name="l00337"></a>00337     <span class="keyword">struct </span>RandomAccessIteratorIsMutableConcept {
 276 <a name="l00338"></a>00338         <span class="keywordtype">void</span> constraints() {
 277 <a name="l00339"></a>00339             gil_function_requires&lt; BidirectionalIteratorIsMutableConcept&lt;TT&gt; &gt;();
 278 <a name="l00340"></a>00340             <span class="keyword">typename</span> std::iterator_traits&lt;TT&gt;::difference_type n=0; ignore_unused_variable_warning(n);
 279 <a name="l00341"></a>00341             i[n] = *i;                  <span class="comment">// require element access and assignment</span>
 280 <a name="l00342"></a>00342         }
 281 <a name="l00343"></a>00343         TT i;
 282 <a name="l00344"></a>00344     };
 283 <a name="l00345"></a>00345 }   <span class="comment">// namespace detail</span>
 284 <a name="l00346"></a>00346
 285 <a name="l00348"></a>00348 <span class="comment">//</span>
 286 <a name="l00349"></a>00349 <span class="comment">//         COLOR SPACE CONCEPTS</span>
 287 <a name="l00350"></a>00350 <span class="comment">//</span>
 288 <a name="l00352"></a>00352 <span class="comment"></span>
 289 <a name="l00355"></a>00355
 290 <a name="l00362"></a>00362 <span class="keyword">template</span> &lt;<span class="keyword">typename</span> Cs&gt;
 291 <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> {
 292 <a name="l00364"></a>00364     <span class="keywordtype">void</span> constraints() {
 293 <a name="l00365"></a>00365         <span class="comment">// An MPL Random Access Sequence, whose elements are color tags</span>
 294 <a name="l00366"></a>00366     }
 295 <a name="l00367"></a>00367 };
 296 <a name="l00368"></a>00368
 297 <a name="l00369"></a>00369 <span class="keyword">template</span> &lt;<span class="keyword">typename</span> ColorSpace1, <span class="keyword">typename</span> ColorSpace2&gt;  <span class="comment">// Models ColorSpaceConcept</span>
 298 <a name="l00370"></a>00370 <span class="keyword">struct </span>color_spaces_are_compatible : <span class="keyword">public</span> is_same&lt;ColorSpace1,ColorSpace2&gt; {};
 299 <a name="l00371"></a>00371
 300 <a name="l00374"></a>00374
 301 <a name="l00381"></a>00381 <span class="keyword">template</span> &lt;<span class="keyword">typename</span> Cs1, <span class="keyword">typename</span> Cs2&gt;
 302 <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> {
 303 <a name="l00383"></a>00383     <span class="keywordtype">void</span> constraints() {
 304 <a name="l00384"></a>00384         BOOST_STATIC_ASSERT((color_spaces_are_compatible&lt;Cs1,Cs2&gt;::value));
 305 <a name="l00385"></a>00385     }
 306 <a name="l00386"></a>00386 };
 307 <a name="l00387"></a>00387
 308 <a name="l00390"></a>00390
 309 <a name="l00397"></a>00397 <span class="keyword">template</span> &lt;<span class="keyword">typename</span> CM&gt;
 310 <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> {
 311 <a name="l00399"></a>00399     <span class="keywordtype">void</span> constraints() {
 312 <a name="l00400"></a>00400         <span class="comment">// An MPL Random Access Sequence, whose elements model MPLIntegralConstant representing a permutation</span>
 313 <a name="l00401"></a>00401     }
 314 <a name="l00402"></a>00402 };
 315 <a name="l00403"></a>00403
 316 <a name="l00404"></a>00404
 317 <a name="l00405"></a>00405
 318 <a name="l00411"></a>00411
 319 <a name="l00414"></a>00414
 320 <a name="l00436"></a>00436 <span class="keyword">template</span> &lt;<span class="keyword">typename</span> T&gt;
 321 <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> {
 322 <a name="l00438"></a>00438     <span class="keywordtype">void</span> constraints() {
 323 <a name="l00439"></a>00439         gil_function_requires&lt; boost::EqualityComparableConcept&lt;T&gt; &gt;();
 324 <a name="l00440"></a>00440
 325 <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&lt;T&gt;::value_type</a> v;
 326 <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&lt;T&gt;::reference</a> r;
 327 <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&lt;T&gt;::pointer</a> p;
 328 <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&lt;T&gt;::const_reference</a> cr;
 329 <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&lt;T&gt;::const_pointer</a> cp;
 330 <a name="l00446"></a>00446
 331 <a name="l00447"></a>00447         <a class="code" href="g_i_l_0429.html" title="Traits for channels. Contains the following members:.">channel_traits&lt;T&gt;::min_value</a>();
 332 <a name="l00448"></a>00448         <a class="code" href="g_i_l_0429.html" title="Traits for channels. Contains the following members:.">channel_traits&lt;T&gt;::max_value</a>();
 333 <a name="l00449"></a>00449     }
 334 <a name="l00450"></a>00450
 335 <a name="l00451"></a>00451      T c;
 336 <a name="l00452"></a>00452 };
 337 <a name="l00453"></a>00453
 338 <a name="l00454"></a>00454 <span class="keyword">namespace </span>detail {
 339 <a name="l00455"></a>00455     <span class="comment">// Preconditions: T models ChannelConcept</span>
 340 <a name="l00456"></a>00456     <span class="keyword">template</span> &lt;<span class="keyword">typename</span> T&gt;
 341 <a name="l00457"></a>00457     <span class="keyword">struct </span>ChannelIsMutableConcept {
 342 <a name="l00458"></a>00458         <span class="keywordtype">void</span> constraints() {
 343 <a name="l00459"></a>00459             c=c;
 344 <a name="l00460"></a>00460             <span class="keyword">using</span> std::swap;
 345 <a name="l00461"></a>00461             swap(c,c);
 346 <a name="l00462"></a>00462         }
 347 <a name="l00463"></a>00463         T c;
 348 <a name="l00464"></a>00464     };
 349 <a name="l00465"></a>00465 }
 350 <a name="l00466"></a>00466
 351 <a name="l00469"></a>00469
 352 <a name="l00474"></a>00474 <span class="keyword">template</span> &lt;<span class="keyword">typename</span> T&gt;
 353 <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> {
 354 <a name="l00476"></a>00476     <span class="keywordtype">void</span> constraints() {
 355 <a name="l00477"></a>00477         gil_function_requires&lt;ChannelConcept&lt;T&gt; &gt;();
 356 <a name="l00478"></a>00478         gil_function_requires&lt;detail::ChannelIsMutableConcept&lt;T&gt; &gt;();
 357 <a name="l00479"></a>00479     }
 358 <a name="l00480"></a>00480 };
 359 <a name="l00481"></a>00481
 360 <a name="l00484"></a>00484
 361 <a name="l00489"></a>00489 <span class="keyword">template</span> &lt;<span class="keyword">typename</span> T&gt;
 362 <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> {
 363 <a name="l00491"></a>00491     <span class="keywordtype">void</span> constraints() {
 364 <a name="l00492"></a>00492         gil_function_requires&lt;ChannelConcept&lt;T&gt; &gt;();
 365 <a name="l00493"></a>00493         gil_function_requires&lt;Regular&lt;T&gt; &gt;();
 366 <a name="l00494"></a>00494     }
 367 <a name="l00495"></a>00495 };
 368 <a name="l00496"></a>00496
 369 <a name="l00497"></a>00497
 370 <a name="l00502"></a>00502
 371 <a name="l00509"></a>00509 <span class="keyword">template</span> &lt;<span class="keyword">typename</span> T1, <span class="keyword">typename</span> T2&gt;  <span class="comment">// Models GIL Pixel</span>
 372 <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>
 373 <a name="l00511"></a>00511     : <span class="keyword">public</span> is_same&lt;typename channel_traits&lt;T1&gt;::value_type, typename channel_traits&lt;T2&gt;::value_type&gt; {};
 374 <a name="l00512"></a>00512
 375 <a name="l00515"></a>00515
 376 <a name="l00522"></a>00522 <span class="keyword">template</span> &lt;<span class="keyword">typename</span> T1, <span class="keyword">typename</span> T2&gt;
 377 <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> {
 378 <a name="l00524"></a>00524     <span class="keywordtype">void</span> constraints() {
 379 <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&lt;T1,T2&gt;::value</a>));
 380 <a name="l00526"></a>00526     }
 381 <a name="l00527"></a>00527 };
 382 <a name="l00528"></a>00528
 383 <a name="l00533"></a>00533
 384 <a name="l00540"></a>00540 <span class="keyword">template</span> &lt;<span class="keyword">typename</span> SrcChannel, <span class="keyword">typename</span> DstChannel&gt;
 385 <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> {
 386 <a name="l00542"></a>00542     <span class="keywordtype">void</span> constraints() {
 387 <a name="l00543"></a>00543         gil_function_requires&lt;ChannelConcept&lt;SrcChannel&gt; &gt;();
 388 <a name="l00544"></a>00544         gil_function_requires&lt;MutableChannelConcept&lt;DstChannel&gt; &gt;();
 389 <a name="l00545"></a>00545         dst=channel_convert&lt;DstChannel,SrcChannel&gt;(src); ignore_unused_variable_warning(dst);
 390 <a name="l00546"></a>00546     }
 391 <a name="l00547"></a>00547     SrcChannel src;
 392 <a name="l00548"></a>00548     DstChannel dst;
 393 <a name="l00549"></a>00549 };
 394 <a name="l00550"></a>00550
 395 <a name="l00551"></a>00551
 396 <a name="l00552"></a>00552
 397 <a name="l00553"></a>00553
 398 <a name="l00554"></a>00554
 399 <a name="l00560"></a>00560
 400 <a name="l00563"></a>00563
 401 <a name="l00603"></a>00603 <span class="keyword">template</span> &lt;<span class="keyword">typename</span> ColorBase&gt;
 402 <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> {
 403 <a name="l00605"></a>00605     <span class="keywordtype">void</span> constraints() {
 404 <a name="l00606"></a>00606         gil_function_requires&lt; CopyConstructible&lt;ColorBase&gt; &gt;();
 405 <a name="l00607"></a>00607         gil_function_requires&lt; EqualityComparable&lt;ColorBase&gt; &gt;();
 406 <a name="l00608"></a>00608
 407 <a name="l00609"></a>00609         <span class="keyword">typedef</span> <span class="keyword">typename</span> ColorBase::layout_t::color_space_t color_space_t;
 408 <a name="l00610"></a>00610         gil_function_requires&lt;ColorSpaceConcept&lt;color_space_t&gt; &gt;();
 409 <a name="l00611"></a>00611
 410 <a name="l00612"></a>00612         <span class="keyword">typedef</span> <span class="keyword">typename</span> ColorBase::layout_t::channel_mapping_t channel_mapping_t;
 411 <a name="l00613"></a>00613         <span class="comment">// TODO: channel_mapping_t must be an MPL RandomAccessSequence</span>
 412 <a name="l00614"></a>00614
 413 <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&lt;ColorBase&gt;::value</a>;
 414 <a name="l00616"></a>00616
 415 <a name="l00617"></a>00617         <span class="keyword">typedef</span> <span class="keyword">typename</span> kth_element_type&lt;ColorBase,num_elements-1&gt;::type TN;
 416 <a name="l00618"></a>00618         <span class="keyword">typedef</span> <span class="keyword">typename</span> kth_element_const_reference_type&lt;ColorBase,num_elements-1&gt;::type CR;
 417 <a name="l00619"></a>00619
 418 <a name="l00620"></a>00620 <span class="preprocessor">#if !defined(_MSC_VER) || _MSC_VER &gt; 1310</span>
 419 <a name="l00621"></a>00621 <span class="preprocessor"></span>        CR cr=at_c&lt;num_elements-1&gt;(cb);  ignore_unused_variable_warning(cr);
 420 <a name="l00622"></a>00622 <span class="preprocessor">#endif</span>
 421 <a name="l00623"></a>00623 <span class="preprocessor"></span>
 422 <a name="l00624"></a>00624         <span class="comment">// functions that work for every pixel (no need to require them)</span>
 423 <a name="l00625"></a>00625         semantic_at_c&lt;0&gt;(cb);
 424 <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>&lt;num_elements-1&gt;(cb);
 425 <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>
 426 <a name="l00628"></a>00628     }
 427 <a name="l00629"></a>00629
 428 <a name="l00630"></a>00630     ColorBase cb;
 429 <a name="l00631"></a>00631 };
 430 <a name="l00632"></a>00632
 431 <a name="l00635"></a>00635
 432 <a name="l00648"></a>00648 <span class="keyword">template</span> &lt;<span class="keyword">typename</span> ColorBase&gt;
 433 <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> {
 434 <a name="l00650"></a>00650     <span class="keywordtype">void</span> constraints() {
 435 <a name="l00651"></a>00651         gil_function_requires&lt; ColorBaseConcept&lt;ColorBase&gt; &gt;();
 436 <a name="l00652"></a>00652         gil_function_requires&lt; Assignable&lt;ColorBase&gt; &gt;();
 437 <a name="l00653"></a>00653         gil_function_requires&lt; Swappable&lt;ColorBase&gt; &gt;();
 438 <a name="l00654"></a>00654
 439 <a name="l00655"></a>00655         <span class="keyword">typedef</span> <span class="keyword">typename</span> kth_element_reference_type&lt;ColorBase, 0&gt;::type CR;
 440 <a name="l00656"></a>00656
 441 <a name="l00657"></a>00657 <span class="preprocessor">#if !defined(_MSC_VER) || _MSC_VER &gt; 1310</span>
 442 <a name="l00658"></a>00658 <span class="preprocessor"></span>        CR r=at_c&lt;0&gt;(cb);
 443 <a name="l00659"></a>00659         at_c&lt;0&gt;(cb)=r;
 444 <a name="l00660"></a>00660 <span class="preprocessor">#endif</span>
 445 <a name="l00661"></a>00661 <span class="preprocessor"></span>    }
 446 <a name="l00662"></a>00662
 447 <a name="l00663"></a>00663     ColorBase cb;
 448 <a name="l00664"></a>00664 };
 449 <a name="l00665"></a>00665
 450 <a name="l00668"></a>00668
 451 <a name="l00674"></a>00674 <span class="keyword">template</span> &lt;<span class="keyword">typename</span> ColorBase&gt;
 452 <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> {
 453 <a name="l00676"></a>00676     <span class="keywordtype">void</span> constraints() {
 454 <a name="l00677"></a>00677         gil_function_requires&lt; MutableColorBaseConcept&lt;ColorBase&gt; &gt;();
 455 <a name="l00678"></a>00678         gil_function_requires&lt; Regular&lt;ColorBase&gt; &gt;();
 456 <a name="l00679"></a>00679     }
 457 <a name="l00680"></a>00680 };
 458 <a name="l00681"></a>00681
 459 <a name="l00684"></a>00684
 460 <a name="l00694"></a>00694 <span class="keyword">template</span> &lt;<span class="keyword">typename</span> ColorBase&gt;
 461 <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> {
 462 <a name="l00696"></a>00696     <span class="keywordtype">void</span> constraints() {
 463 <a name="l00697"></a>00697         gil_function_requires&lt; ColorBaseConcept&lt;ColorBase&gt; &gt;();
 464 <a name="l00698"></a>00698
 465 <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&lt;ColorBase&gt;::value</a>;
 466 <a name="l00700"></a>00700
 467 <a name="l00701"></a>00701         <span class="keyword">typedef</span> <span class="keyword">typename</span> kth_element_type&lt;ColorBase,0&gt;::type T0;
 468 <a name="l00702"></a>00702         <span class="keyword">typedef</span> <span class="keyword">typename</span> kth_element_type&lt;ColorBase,num_elements-1&gt;::type TN;
 469 <a name="l00703"></a>00703
 470 <a name="l00704"></a>00704         BOOST_STATIC_ASSERT((is_same&lt;T0,TN&gt;::value));   <span class="comment">// better than nothing</span>
 471 <a name="l00705"></a>00705         <span class="keyword">typedef</span> <span class="keyword">typename</span> kth_element_const_reference_type&lt;ColorBase,0&gt;::type CRef0;
 472 <a name="l00706"></a>00706         CRef0 e0=dynamic_at_c(cb,0);
 473 <a name="l00707"></a>00707     }
 474 <a name="l00708"></a>00708     ColorBase cb;
 475 <a name="l00709"></a>00709 };
 476 <a name="l00710"></a>00710
 477 <a name="l00713"></a>00713
 478 <a name="l00722"></a>00722 <span class="keyword">template</span> &lt;<span class="keyword">typename</span> ColorBase&gt;
 479 <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> {
 480 <a name="l00724"></a>00724     <span class="keywordtype">void</span> constraints() {
 481 <a name="l00725"></a>00725         gil_function_requires&lt; ColorBaseConcept&lt;ColorBase&gt; &gt;();
 482 <a name="l00726"></a>00726         gil_function_requires&lt; HomogeneousColorBaseConcept&lt;ColorBase&gt; &gt;();
 483 <a name="l00727"></a>00727         <span class="keyword">typedef</span> <span class="keyword">typename</span> kth_element_reference_type&lt;ColorBase, 0&gt;::type R0;
 484 <a name="l00728"></a>00728         R0 x=dynamic_at_c(cb,0);
 485 <a name="l00729"></a>00729         dynamic_at_c(cb,0) = dynamic_at_c(cb,0);
 486 <a name="l00730"></a>00730     }
 487 <a name="l00731"></a>00731     ColorBase cb;
 488 <a name="l00732"></a>00732 };
 489 <a name="l00733"></a>00733
 490 <a name="l00736"></a>00736
 491 <a name="l00744"></a>00744 <span class="keyword">template</span> &lt;<span class="keyword">typename</span> ColorBase&gt;
 492 <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> {
 493 <a name="l00746"></a>00746     <span class="keywordtype">void</span> constraints() {
 494 <a name="l00747"></a>00747         gil_function_requires&lt; MutableHomogeneousColorBaseConcept&lt;ColorBase&gt; &gt;();
 495 <a name="l00748"></a>00748         gil_function_requires&lt; Regular&lt;ColorBase&gt; &gt;();
 496 <a name="l00749"></a>00749     }
 497 <a name="l00750"></a>00750 };
 498 <a name="l00751"></a>00751
 499 <a name="l00752"></a>00752
 500 <a name="l00755"></a>00755
 501 <a name="l00766"></a>00766 <span class="keyword">template</span> &lt;<span class="keyword">typename</span> ColorBase1, <span class="keyword">typename</span> ColorBase2&gt;
 502 <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> {
 503 <a name="l00768"></a>00768     <span class="keywordtype">void</span> constraints() {
 504 <a name="l00769"></a>00769         BOOST_STATIC_ASSERT((is_same&lt;<span class="keyword">typename</span> ColorBase1::layout_t::color_space_t,
 505 <a name="l00770"></a>00770                                      <span class="keyword">typename</span> ColorBase2::layout_t::color_space_t&gt;::value));
 506 <a name="l00771"></a>00771 <span class="comment">//        typedef typename kth_semantic_element_type&lt;ColorBase1,0&gt;::type e1;</span>
 507 <a name="l00772"></a>00772 <span class="comment">//        typedef typename kth_semantic_element_type&lt;ColorBase2,0&gt;::type e2;</span>
 508 <a name="l00773"></a>00773 <span class="comment">//        "e1 is convertible to e2"</span>
 509 <a name="l00774"></a>00774     }
 510 <a name="l00775"></a>00775 };
 511 <a name="l00776"></a>00776
 512 <a name="l00777"></a>00777
 513 <a name="l00778"></a>00778
 514 <a name="l00779"></a>00779
 515 <a name="l00780"></a>00780
 516 <a name="l00781"></a>00781
 517 <a name="l00782"></a>00782
 518 <a name="l00783"></a>00783
 519 <a name="l00784"></a>00784
 520 <a name="l00785"></a>00785
 521 <a name="l00786"></a>00786
 522 <a name="l00787"></a>00787
 523 <a name="l00788"></a>00788
 524 <a name="l00789"></a>00789
 525 <a name="l00790"></a>00790
 526 <a name="l00791"></a>00791
 527 <a name="l00792"></a>00792
 528 <a name="l00793"></a>00793
 529 <a name="l00794"></a>00794
 530 <a name="l00795"></a>00795
 531 <a name="l00796"></a>00796
 532 <a name="l00797"></a>00797
 533 <a name="l00803"></a>00803
 534 <a name="l00806"></a>00806
 535 <a name="l00821"></a>00821 <span class="keyword">template</span> &lt;<span class="keyword">typename</span> P&gt;
 536 <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> {
 537 <a name="l00823"></a>00823     <span class="keywordtype">void</span> constraints() {
 538 <a name="l00824"></a>00824         <span class="keyword">typedef</span> <span class="keyword">typename</span> color_space_type&lt;P&gt;::type color_space_t;
 539 <a name="l00825"></a>00825         gil_function_requires&lt;ColorSpaceConcept&lt;color_space_t&gt; &gt;();
 540 <a name="l00826"></a>00826         <span class="keyword">typedef</span> <span class="keyword">typename</span> channel_mapping_type&lt;P&gt;::type channel_mapping_t;
 541 <a name="l00827"></a>00827         gil_function_requires&lt;ChannelMappingConcept&lt;channel_mapping_t&gt; &gt;();
 542 <a name="l00828"></a>00828
 543 <a name="l00829"></a>00829         <span class="keyword">static</span> <span class="keyword">const</span> <span class="keywordtype">bool</span> planar = is_planar&lt;P&gt;::type::value;   ignore_unused_variable_warning(planar);
 544 <a name="l00830"></a>00830
 545 <a name="l00831"></a>00831
 546 <a name="l00832"></a>00832         <span class="comment">// This is not part of the concept, but should still work</span>
 547 <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&lt;P&gt;::value</a>;
 548 <a name="l00834"></a>00834         ignore_unused_variable_warning(nc);
 549 <a name="l00835"></a>00835     }
 550 <a name="l00836"></a>00836 };
 551 <a name="l00837"></a>00837
 552 <a name="l00840"></a>00840
 553 <a name="l00849"></a>00849 <span class="keyword">template</span> &lt;<span class="keyword">typename</span> P&gt;
 554 <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> {
 555 <a name="l00851"></a>00851     <span class="keywordtype">void</span> constraints() {
 556 <a name="l00852"></a>00852         gil_function_requires&lt;PixelBasedConcept&lt;P&gt; &gt;();
 557 <a name="l00853"></a>00853         <span class="keyword">typedef</span> <span class="keyword">typename</span> channel_type&lt;P&gt;::type channel_t;
 558 <a name="l00854"></a>00854         gil_function_requires&lt;ChannelConcept&lt;channel_t&gt; &gt;();
 559 <a name="l00855"></a>00855     }
 560 <a name="l00856"></a>00856 };
 561 <a name="l00857"></a>00857
 562 <a name="l00858"></a>00858
 563 <a name="l00861"></a>00861
 564 <a name="l00883"></a>00883 <span class="keyword">template</span> &lt;<span class="keyword">typename</span> P&gt;
 565 <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> {
 566 <a name="l00885"></a>00885     <span class="keywordtype">void</span> constraints() {
 567 <a name="l00886"></a>00886         gil_function_requires&lt;ColorBaseConcept&lt;P&gt; &gt;();
 568 <a name="l00887"></a>00887         gil_function_requires&lt;PixelBasedConcept&lt;P&gt; &gt;();
 569 <a name="l00888"></a>00888
 570 <a name="l00889"></a>00889         BOOST_STATIC_ASSERT((is_pixel&lt;P&gt;::value));
 571 <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);
 572 <a name="l00891"></a>00891
 573 <a name="l00892"></a>00892         <span class="keyword">typedef</span> <span class="keyword">typename</span> P::value_type      value_type;
 574 <a name="l00893"></a>00893 <span class="comment">//      gil_function_requires&lt;PixelValueConcept&lt;value_type&gt; &gt;();</span>
 575 <a name="l00894"></a>00894
 576 <a name="l00895"></a>00895         <span class="keyword">typedef</span> <span class="keyword">typename</span> P::reference       reference;
 577 <a name="l00896"></a>00896         gil_function_requires&lt;PixelConcept&lt;typename remove_const_and_reference&lt;reference&gt;::type&gt; &gt;();
 578 <a name="l00897"></a>00897
 579 <a name="l00898"></a>00898         <span class="keyword">typedef</span> <span class="keyword">typename</span> P::const_reference const_reference;
 580 <a name="l00899"></a>00899         gil_function_requires&lt;PixelConcept&lt;typename remove_const_and_reference&lt;const_reference&gt;::type&gt; &gt;();
 581 <a name="l00900"></a>00900     }
 582 <a name="l00901"></a>00901 };
 583 <a name="l00902"></a>00902
 584 <a name="l00903"></a>00903
 585 <a name="l00906"></a>00906
 586 <a name="l00913"></a>00913 <span class="keyword">template</span> &lt;<span class="keyword">typename</span> P&gt;
 587 <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> {
 588 <a name="l00915"></a>00915     <span class="keywordtype">void</span> constraints() {
 589 <a name="l00916"></a>00916         gil_function_requires&lt;PixelConcept&lt;P&gt; &gt;();
 590 <a name="l00917"></a>00917         BOOST_STATIC_ASSERT(P::is_mutable);
 591 <a name="l00918"></a>00918     }
 592 <a name="l00919"></a>00919 };
 593 <a name="l00922"></a>00922
 594 <a name="l00929"></a>00929 <span class="keyword">template</span> &lt;<span class="keyword">typename</span> P&gt;
 595 <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> {
 596 <a name="l00931"></a>00931     <span class="keywordtype">void</span> constraints() {
 597 <a name="l00932"></a>00932         gil_function_requires&lt;PixelConcept&lt;P&gt; &gt;();
 598 <a name="l00933"></a>00933         gil_function_requires&lt;HomogeneousColorBaseConcept&lt;P&gt; &gt;();
 599 <a name="l00934"></a>00934         gil_function_requires&lt;HomogeneousPixelBasedConcept&lt;P&gt; &gt;();
 600 <a name="l00935"></a>00935         p[0];
 601 <a name="l00936"></a>00936     }
 602 <a name="l00937"></a>00937     P p;
 603 <a name="l00938"></a>00938 };
 604 <a name="l00939"></a>00939
 605 <a name="l00942"></a>00942
 606 <a name="l00949"></a>00949 <span class="keyword">template</span> &lt;<span class="keyword">typename</span> P&gt;
 607 <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> {
 608 <a name="l00951"></a>00951     <span class="keywordtype">void</span> constraints() {
 609 <a name="l00952"></a>00952         gil_function_requires&lt;HomogeneousPixelConcept&lt;P&gt; &gt;();
 610 <a name="l00953"></a>00953         gil_function_requires&lt;MutableHomogeneousColorBaseConcept&lt;P&gt; &gt;();
 611 <a name="l00954"></a>00954         p[0]=p[0];
 612 <a name="l00955"></a>00955     }
 613 <a name="l00956"></a>00956     P p;
 614 <a name="l00957"></a>00957 };
 615 <a name="l00958"></a>00958
 616 <a name="l00961"></a>00961
 617 <a name="l00968"></a>00968 <span class="keyword">template</span> &lt;<span class="keyword">typename</span> P&gt;
 618 <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> {
 619 <a name="l00970"></a>00970     <span class="keywordtype">void</span> constraints() {
 620 <a name="l00971"></a>00971         gil_function_requires&lt;PixelConcept&lt;P&gt; &gt;();
 621 <a name="l00972"></a>00972         gil_function_requires&lt;Regular&lt;P&gt; &gt;();
 622 <a name="l00973"></a>00973     }
 623 <a name="l00974"></a>00974 };
 624 <a name="l00975"></a>00975
 625 <a name="l00978"></a>00978
 626 <a name="l00985"></a>00985 <span class="keyword">template</span> &lt;<span class="keyword">typename</span> P&gt;
 627 <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> {
 628 <a name="l00987"></a>00987     <span class="keywordtype">void</span> constraints() {
 629 <a name="l00988"></a>00988         gil_function_requires&lt;HomogeneousPixelConcept&lt;P&gt; &gt;();
 630 <a name="l00989"></a>00989         gil_function_requires&lt;Regular&lt;P&gt; &gt;();
 631 <a name="l00990"></a>00990         BOOST_STATIC_ASSERT((is_same&lt;P, typename P::value_type&gt;::value));
 632 <a name="l00991"></a>00991     }
 633 <a name="l00992"></a>00992 };
 634 <a name="l00993"></a>00993
 635 <a name="l00994"></a>00994 <span class="keyword">namespace </span>detail {
 636 <a name="l00995"></a>00995     <span class="keyword">template</span> &lt;<span class="keyword">typename</span> P1, <span class="keyword">typename</span> P2, <span class="keywordtype">int</span> K&gt;
 637 <a name="l00996"></a>00996     <span class="keyword">struct </span>channels_are_pairwise_compatible : <span class="keyword">public</span>
 638 <a name="l00997"></a>00997         mpl::and_&lt;channels_are_pairwise_compatible&lt;P1,P2,K-1&gt;,
 639 <a name="l00998"></a>00998                          channels_are_compatible&lt;typename kth_semantic_element_reference_type&lt;P1,K&gt;::type,
 640 <a name="l00999"></a>00999                                                  typename kth_semantic_element_reference_type&lt;P2,K&gt;::type&gt; &gt; {};
 641 <a name="l01000"></a>01000
 642 <a name="l01001"></a>01001     <span class="keyword">template</span> &lt;<span class="keyword">typename</span> P1, <span class="keyword">typename</span> P2&gt;
 643 <a name="l01002"></a>01002     <span class="keyword">struct </span>channels_are_pairwise_compatible&lt;P1,P2,-1&gt; : <span class="keyword">public</span> mpl::true_ {};
 644 <a name="l01003"></a>01003 }
 645 <a name="l01004"></a>01004
 646 <a name="l01009"></a>01009 <span class="keyword">template</span> &lt;<span class="keyword">typename</span> P1, <span class="keyword">typename</span> P2&gt;  <span class="comment">// Models GIL Pixel</span>
 647 <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>
 648 <a name="l01011"></a>01011     : <span class="keyword">public</span> mpl::and_&lt;typename color_spaces_are_compatible&lt;typename color_space_type&lt;P1&gt;::type,
 649 <a name="l01012"></a>01012                                                             typename color_space_type&lt;P2&gt;::type&gt;::type,
 650 <a name="l01013"></a>01013                        detail::channels_are_pairwise_compatible&lt;P1,P2,num_channels&lt;P1&gt;::value-1&gt; &gt; {};
 651 <a name="l01014"></a>01014
 652 <a name="l01018"></a>01018
 653 <a name="l01026"></a>01026 <span class="keyword">template</span> &lt;<span class="keyword">typename</span> P1, <span class="keyword">typename</span> P2&gt; <span class="comment">// precondition: P1 and P2 model PixelConcept</span>
 654 <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> {
 655 <a name="l01028"></a>01028     <span class="keywordtype">void</span> constraints() {
 656 <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&lt;P1,P2&gt;::value</a>));
 657 <a name="l01030"></a>01030     }
 658 <a name="l01031"></a>01031 };
 659 <a name="l01032"></a>01032
 660 <a name="l01037"></a>01037
 661 <a name="l01045"></a>01045 <span class="keyword">template</span> &lt;<span class="keyword">typename</span> SrcP, <span class="keyword">typename</span> DstP&gt;
 662 <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> {
 663 <a name="l01047"></a>01047     <span class="keywordtype">void</span> constraints() {
 664 <a name="l01048"></a>01048         gil_function_requires&lt;PixelConcept&lt;SrcP&gt; &gt;();
 665 <a name="l01049"></a>01049         gil_function_requires&lt;MutablePixelConcept&lt;DstP&gt; &gt;();
 666 <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);
 667 <a name="l01051"></a>01051     }
 668 <a name="l01052"></a>01052     SrcP src;
 669 <a name="l01053"></a>01053     DstP dst;
 670 <a name="l01054"></a>01054 };
 671 <a name="l01055"></a>01055
 672 <a name="l01061"></a>01061
 673 <a name="l01063"></a>01063
 674 <a name="l01067"></a>01067
 675 <a name="l01082"></a>01082 <span class="keyword">template</span> &lt;<span class="keyword">typename</span> D&gt;
 676 <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> {
 677 <a name="l01084"></a>01084     <span class="keywordtype">void</span> constraints() {
 678 <a name="l01085"></a>01085         gil_function_requires&lt; boost::UnaryFunctionConcept&lt;D,
 679 <a name="l01086"></a>01086             <span class="keyword">typename</span> remove_const_and_reference&lt;typename D::result_type&gt;::type,
 680 <a name="l01087"></a>01087             <span class="keyword">typename</span> D::argument_type&gt; &gt;();
 681 <a name="l01088"></a>01088         gil_function_requires&lt; boost::DefaultConstructibleConcept&lt;D&gt; &gt;();
 682 <a name="l01089"></a>01089         gil_function_requires&lt; boost::CopyConstructibleConcept&lt;D&gt; &gt;();
 683 <a name="l01090"></a>01090         gil_function_requires&lt; boost::AssignableConcept&lt;D&gt; &gt;();
 684 <a name="l01091"></a>01091
 685 <a name="l01092"></a>01092         gil_function_requires&lt;PixelConcept&lt;typename remove_const_and_reference&lt;typename D::result_type&gt;::type&gt; &gt;();
 686 <a name="l01093"></a>01093
 687 <a name="l01094"></a>01094         <span class="keyword">typedef</span> <span class="keyword">typename</span> D::const_t const_t;
 688 <a name="l01095"></a>01095         gil_function_requires&lt;PixelDereferenceAdaptorConcept&lt;const_t&gt; &gt;();
 689 <a name="l01096"></a>01096         <span class="keyword">typedef</span> <span class="keyword">typename</span> D::value_type value_type;
 690 <a name="l01097"></a>01097         gil_function_requires&lt;PixelValueConcept&lt;value_type&gt; &gt;();
 691 <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>
 692 <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>
 693 <a name="l01100"></a>01100
 694 <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);
 695 <a name="l01102"></a>01102     }
 696 <a name="l01103"></a>01103     D d;
 697 <a name="l01104"></a>01104 };
 698 <a name="l01105"></a>01105
 699 <a name="l01106"></a>01106 <span class="keyword">template</span> &lt;<span class="keyword">typename</span> P&gt;
 700 <a name="l01107"></a>01107 <span class="keyword">struct </span>PixelDereferenceAdaptorArchetype : <span class="keyword">public</span> std::unary_function&lt;P, P&gt; {
 701 <a name="l01108"></a>01108     <span class="keyword">typedef</span> PixelDereferenceAdaptorArchetype const_t;
 702 <a name="l01109"></a>01109     <span class="keyword">typedef</span> <span class="keyword">typename</span> remove_reference&lt;P&gt;::type value_type;
 703 <a name="l01110"></a>01110     <span class="keyword">typedef</span> <span class="keyword">typename</span> add_reference&lt;P&gt;::type reference;
 704 <a name="l01111"></a>01111     <span class="keyword">typedef</span> reference const_reference;
 705 <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>;
 706 <a name="l01113"></a>01113     P operator()(P x)<span class="keyword"> const </span>{ <span class="keywordflow">throw</span>; }
 707 <a name="l01114"></a>01114 };
 708 <a name="l01115"></a>01115
 709 <a name="l01121"></a>01121
 710 <a name="l01124"></a>01124
 711 <a name="l01132"></a>01132 <span class="keyword">template</span> &lt;<span class="keyword">typename</span> T&gt;
 712 <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> {
 713 <a name="l01134"></a>01134     <span class="keywordtype">void</span> constraints() {
 714 <a name="l01135"></a>01135         <span class="keyword">typedef</span> <span class="keyword">typename</span> dynamic_x_step_type&lt;T&gt;::type type;
 715 <a name="l01136"></a>01136     }
 716 <a name="l01137"></a>01137 };
 717 <a name="l01138"></a>01138
 718 <a name="l01141"></a>01141
 719 <a name="l01149"></a>01149 <span class="keyword">template</span> &lt;<span class="keyword">typename</span> T&gt;
 720 <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> {
 721 <a name="l01151"></a>01151     <span class="keywordtype">void</span> constraints() {
 722 <a name="l01152"></a>01152         <span class="keyword">typedef</span> <span class="keyword">typename</span> dynamic_y_step_type&lt;T&gt;::type type;
 723 <a name="l01153"></a>01153     }
 724 <a name="l01154"></a>01154 };
 725 <a name="l01155"></a>01155
 726 <a name="l01156"></a>01156
 727 <a name="l01159"></a>01159
 728 <a name="l01167"></a>01167 <span class="keyword">template</span> &lt;<span class="keyword">typename</span> T&gt;
 729 <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> {
 730 <a name="l01169"></a>01169     <span class="keywordtype">void</span> constraints() {
 731 <a name="l01170"></a>01170         <span class="keyword">typedef</span> <span class="keyword">typename</span> transposed_type&lt;T&gt;::type type;
 732 <a name="l01171"></a>01171     }
 733 <a name="l01172"></a>01172 };
 734 <a name="l01173"></a>01173
 735 <a name="l01177"></a>01177
 736 <a name="l01180"></a>01180
 737 <a name="l01196"></a>01196 <span class="keyword">template</span> &lt;<span class="keyword">typename</span> Iterator&gt;
 738 <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> {
 739 <a name="l01198"></a>01198     <span class="keywordtype">void</span> constraints() {
 740 <a name="l01199"></a>01199         gil_function_requires&lt;boost_concepts::RandomAccessTraversalConcept&lt;Iterator&gt; &gt;();
 741 <a name="l01200"></a>01200         gil_function_requires&lt;PixelBasedConcept&lt;Iterator&gt; &gt;();
 742 <a name="l01201"></a>01201
 743 <a name="l01202"></a>01202         <span class="keyword">typedef</span> <span class="keyword">typename</span> std::iterator_traits&lt;Iterator&gt;::value_type value_type;
 744 <a name="l01203"></a>01203         gil_function_requires&lt;PixelValueConcept&lt;value_type&gt; &gt;();
 745 <a name="l01204"></a>01204
 746 <a name="l01205"></a>01205         <span class="keyword">typedef</span> <span class="keyword">typename</span> const_iterator_type&lt;Iterator&gt;::type const_t;
 747 <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&lt;Iterator&gt;::type::value</a>; ignore_unused_variable_warning(is_mut);
 748 <a name="l01207"></a>01207
 749 <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>
 750 <a name="l01209"></a>01209
 751 <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&lt;Iterator&gt;::type</a>());
 752 <a name="l01211"></a>01211     }
 753 <a name="l01212"></a>01212     <span class="keywordtype">void</span> check_base(mpl::false_) {}
 754 <a name="l01213"></a>01213     <span class="keywordtype">void</span> check_base(mpl::true_) {
 755 <a name="l01214"></a>01214         <span class="keyword">typedef</span> <span class="keyword">typename</span> iterator_adaptor_get_base&lt;Iterator&gt;::type base_t;
 756 <a name="l01215"></a>01215         gil_function_requires&lt;PixelIteratorConcept&lt;base_t&gt; &gt;();
 757 <a name="l01216"></a>01216     }
 758 <a name="l01217"></a>01217
 759 <a name="l01218"></a>01218     Iterator it;
 760 <a name="l01219"></a>01219 };
 761 <a name="l01220"></a>01220
 762 <a name="l01221"></a>01221 <span class="keyword">namespace </span>detail {
 763 <a name="l01222"></a>01222     <span class="keyword">template</span> &lt;<span class="keyword">typename</span> Iterator&gt;  <span class="comment">// Preconditions: Iterator Models PixelIteratorConcept</span>
 764 <a name="l01223"></a>01223     <span class="keyword">struct </span>PixelIteratorIsMutableConcept {
 765 <a name="l01224"></a>01224         <span class="keywordtype">void</span> constraints() {
 766 <a name="l01225"></a>01225             gil_function_requires&lt;detail::RandomAccessIteratorIsMutableConcept&lt;Iterator&gt; &gt;();
 767 <a name="l01226"></a>01226             <span class="keyword">typedef</span> <span class="keyword">typename</span> remove_reference&lt;typename std::iterator_traits&lt;Iterator&gt;::reference&gt;::type ref;
 768 <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&lt;ref&gt;::type</a> channel_t;
 769 <a name="l01228"></a>01228             gil_function_requires&lt;detail::ChannelIsMutableConcept&lt;channel_t&gt; &gt;();
 770 <a name="l01229"></a>01229         }
 771 <a name="l01230"></a>01230     };
 772 <a name="l01231"></a>01231 }
 773 <a name="l01232"></a>01232
 774 <a name="l01235"></a>01235
 775 <a name="l01241"></a>01241 <span class="keyword">template</span> &lt;<span class="keyword">typename</span> Iterator&gt;
 776 <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> {
 777 <a name="l01243"></a>01243     <span class="keywordtype">void</span> constraints() {
 778 <a name="l01244"></a>01244         gil_function_requires&lt;PixelIteratorConcept&lt;Iterator&gt; &gt;();
 779 <a name="l01245"></a>01245         gil_function_requires&lt;detail::PixelIteratorIsMutableConcept&lt;Iterator&gt; &gt;();
 780 <a name="l01246"></a>01246     }
 781 <a name="l01247"></a>01247 };
 782 <a name="l01248"></a>01248
 783 <a name="l01249"></a>01249 <span class="keyword">namespace </span>detail {
 784 <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>
 785 <a name="l01251"></a>01251     <span class="keyword">template</span> &lt;<span class="keyword">typename</span> Iterator&gt;  <span class="comment">// Preconditions: Iterator Models boost_concepts::RandomAccessTraversalConcept</span>
 786 <a name="l01252"></a>01252     <span class="keyword">struct </span>RandomAccessIteratorIsMemoryBasedConcept {
 787 <a name="l01253"></a>01253         <span class="keywordtype">void</span> constraints() {
 788 <a name="l01254"></a>01254             std::ptrdiff_t bs=memunit_step(it);  ignore_unused_variable_warning(bs);
 789 <a name="l01255"></a>01255             it=memunit_advanced(it,3);
 790 <a name="l01256"></a>01256             std::ptrdiff_t bd=memunit_distance(it,it);  ignore_unused_variable_warning(bd);
 791 <a name="l01257"></a>01257             memunit_advance(it,3);
 792 <a name="l01258"></a>01258             <span class="comment">// for performace you may also provide a customized implementation of memunit_advanced_ref</span>
 793 <a name="l01259"></a>01259         }
 794 <a name="l01260"></a>01260         Iterator it;
 795 <a name="l01261"></a>01261     };
 796 <a name="l01262"></a>01262 }
 797 <a name="l01263"></a>01263
 798 <a name="l01267"></a>01267
 799 <a name="l01270"></a>01270
 800 <a name="l01282"></a>01282 <span class="keyword">template</span> &lt;<span class="keyword">typename</span> Iterator&gt;
 801 <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> {
 802 <a name="l01284"></a>01284     <span class="keywordtype">void</span> constraints() {
 803 <a name="l01285"></a>01285         gil_function_requires&lt;boost_concepts::RandomAccessTraversalConcept&lt;Iterator&gt; &gt;();
 804 <a name="l01286"></a>01286         gil_function_requires&lt;detail::RandomAccessIteratorIsMemoryBasedConcept&lt;Iterator&gt; &gt;();
 805 <a name="l01287"></a>01287     }
 806 <a name="l01288"></a>01288 };
 807 <a name="l01289"></a>01289
 808 <a name="l01294"></a>01294
 809 <a name="l01301"></a>01301 <span class="keyword">template</span> &lt;<span class="keyword">typename</span> Iterator&gt;
 810 <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> {
 811 <a name="l01303"></a>01303     <span class="keywordtype">void</span> constraints() {
 812 <a name="l01304"></a>01304         gil_function_requires&lt;boost_concepts::ForwardTraversalConcept&lt;Iterator&gt; &gt;();
 813 <a name="l01305"></a>01305         it.set_step(0);
 814 <a name="l01306"></a>01306     }
 815 <a name="l01307"></a>01307     Iterator it;
 816 <a name="l01308"></a>01308 };
 817 <a name="l01309"></a>01309
 818 <a name="l01310"></a>01310
 819 <a name="l01314"></a>01314
 820 <a name="l01319"></a>01319 <span class="keyword">template</span> &lt;<span class="keyword">typename</span> Iterator&gt;
 821 <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> {
 822 <a name="l01321"></a>01321     <span class="keywordtype">void</span> constraints() {
 823 <a name="l01322"></a>01322         gil_function_requires&lt;StepIteratorConcept&lt;Iterator&gt; &gt;();
 824 <a name="l01323"></a>01323         gil_function_requires&lt;detail::ForwardIteratorIsMutableConcept&lt;Iterator&gt; &gt;();
 825 <a name="l01324"></a>01324     }
 826 <a name="l01325"></a>01325 };
 827 <a name="l01326"></a>01326
 828 <a name="l01330"></a>01330
 829 <a name="l01333"></a>01333
 830 <a name="l01358"></a>01358 <span class="keyword">template</span> &lt;<span class="keyword">typename</span> Iterator&gt;
 831 <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> {
 832 <a name="l01360"></a>01360     <span class="keywordtype">void</span> constraints() {
 833 <a name="l01361"></a>01361         gil_function_requires&lt;boost_concepts::ForwardTraversalConcept&lt;Iterator&gt; &gt;();
 834 <a name="l01362"></a>01362
 835 <a name="l01363"></a>01363         <span class="keyword">typedef</span> <span class="keyword">typename</span> iterator_adaptor_get_base&lt;Iterator&gt;::type base_t;
 836 <a name="l01364"></a>01364         gil_function_requires&lt;boost_concepts::ForwardTraversalConcept&lt;base_t&gt; &gt;();
 837 <a name="l01365"></a>01365
 838 <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&lt;Iterator&gt;::value</a>);
 839 <a name="l01367"></a>01367         <span class="keyword">typedef</span> <span class="keyword">typename</span> iterator_adaptor_rebind&lt;Iterator, void*&gt;::type rebind_t;
 840 <a name="l01368"></a>01368
 841 <a name="l01369"></a>01369         base_t base=it.base();  ignore_unused_variable_warning(base);
 842 <a name="l01370"></a>01370     }
 843 <a name="l01371"></a>01371     Iterator it;
 844 <a name="l01372"></a>01372 };
 845 <a name="l01373"></a>01373
 846 <a name="l01376"></a>01376
 847 <a name="l01381"></a>01381 <span class="keyword">template</span> &lt;<span class="keyword">typename</span> Iterator&gt;
 848 <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> {
 849 <a name="l01383"></a>01383     <span class="keywordtype">void</span> constraints() {
 850 <a name="l01384"></a>01384         gil_function_requires&lt;IteratorAdaptorConcept&lt;Iterator&gt; &gt;();
 851 <a name="l01385"></a>01385         gil_function_requires&lt;detail::ForwardIteratorIsMutableConcept&lt;Iterator&gt; &gt;();
 852 <a name="l01386"></a>01386     }
 853 <a name="l01387"></a>01387 };
 854 <a name="l01388"></a>01388
 855 <a name="l01394"></a>01394
 856 <a name="l01398"></a>01398
 857 <a name="l01402"></a>01402
 858 <a name="l01406"></a>01406
 859 <a name="l01409"></a>01409
 860 <a name="l01455"></a>01455 <span class="keyword">template</span> &lt;<span class="keyword">typename</span> Loc&gt;
 861 <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> {
 862 <a name="l01457"></a>01457     <span class="keywordtype">void</span> constraints() {
 863 <a name="l01458"></a>01458         gil_function_requires&lt; Regular&lt;Loc&gt; &gt;();
 864 <a name="l01459"></a>01459
 865 <a name="l01460"></a>01460         <span class="keyword">typedef</span> <span class="keyword">typename</span> Loc::value_type        value_type;
 866 <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>
 867 <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>
 868 <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>
 869 <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>
 870 <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>
 871 <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);
 872 <a name="l01467"></a>01467
 873 <a name="l01468"></a>01468         <span class="keyword">typedef</span> <span class="keyword">typename</span> Loc::template axis&lt;0&gt;::iterator    first_it_type;
 874 <a name="l01469"></a>01469         <span class="keyword">typedef</span> <span class="keyword">typename</span> Loc::template axis&lt;N-1&gt;::iterator  last_it_type;
 875 <a name="l01470"></a>01470         gil_function_requires&lt;boost_concepts::RandomAccessTraversalConcept&lt;first_it_type&gt; &gt;();
 876 <a name="l01471"></a>01471         gil_function_requires&lt;boost_concepts::RandomAccessTraversalConcept&lt;last_it_type&gt; &gt;();
 877 <a name="l01472"></a>01472
 878 <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>
 879 <a name="l01474"></a>01474         gil_function_requires&lt;PointNDConcept&lt;point_t&gt; &gt;();
 880 <a name="l01475"></a>01475         BOOST_STATIC_ASSERT(point_t::num_dimensions==N);
 881 <a name="l01476"></a>01476         BOOST_STATIC_ASSERT((is_same&lt;<span class="keyword">typename</span> std::iterator_traits&lt;first_it_type&gt;::difference_type, <span class="keyword">typename</span> point_t::template axis&lt;0&gt;::coord_t&gt;::value));
 882 <a name="l01477"></a>01477         BOOST_STATIC_ASSERT((is_same&lt;<span class="keyword">typename</span> std::iterator_traits&lt;last_it_type&gt;::difference_type, <span class="keyword">typename</span> point_t::template axis&lt;N-1&gt;::coord_t&gt;::value));
 883 <a name="l01478"></a>01478
 884 <a name="l01479"></a>01479         difference_type d;
 885 <a name="l01480"></a>01480         loc+=d;
 886 <a name="l01481"></a>01481         loc-=d;
 887 <a name="l01482"></a>01482         loc=loc+d;
 888 <a name="l01483"></a>01483         loc=loc-d;
 889 <a name="l01484"></a>01484         reference r1=loc[d];  ignore_unused_variable_warning(r1);
 890 <a name="l01485"></a>01485         reference r2=*loc;  ignore_unused_variable_warning(r2);
 891 <a name="l01486"></a>01486         cached_location_t cl=loc.cache_location(d);  ignore_unused_variable_warning(cl);
 892 <a name="l01487"></a>01487         reference r3=loc[d];  ignore_unused_variable_warning(r3);
 893 <a name="l01488"></a>01488
 894 <a name="l01489"></a>01489         first_it_type fi=loc.template axis_iterator&lt;0&gt;();
 895 <a name="l01490"></a>01490         fi=loc.template axis_iterator&lt;0&gt;(d);
 896 <a name="l01491"></a>01491         last_it_type li=loc.template axis_iterator&lt;N-1&gt;();
 897 <a name="l01492"></a>01492         li=loc.template axis_iterator&lt;N-1&gt;(d);
 898 <a name="l01493"></a>01493
 899 <a name="l01494"></a>01494         <span class="keyword">typedef</span> PixelDereferenceAdaptorArchetype&lt;typename Loc::value_type&gt; deref_t;
 900 <a name="l01495"></a>01495         <span class="keyword">typedef</span> <span class="keyword">typename</span> Loc::template add_deref&lt;deref_t&gt;::type dtype;
 901 <a name="l01496"></a>01496         <span class="comment">//gil_function_requires&lt;RandomAccessNDLocatorConcept&lt;dtype&gt; &gt;();    // infinite recursion</span>
 902 <a name="l01497"></a>01497     }
 903 <a name="l01498"></a>01498     Loc loc;
 904 <a name="l01499"></a>01499 };
 905 <a name="l01500"></a>01500
 906 <a name="l01503"></a>01503
 907 <a name="l01541"></a>01541 <span class="keyword">template</span> &lt;<span class="keyword">typename</span> Loc&gt;
 908 <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> {
 909 <a name="l01543"></a>01543     <span class="keywordtype">void</span> constraints() {
 910 <a name="l01544"></a>01544         gil_function_requires&lt;RandomAccessNDLocatorConcept&lt;Loc&gt; &gt;();
 911 <a name="l01545"></a>01545         BOOST_STATIC_ASSERT(Loc::num_dimensions==2);
 912 <a name="l01546"></a>01546
 913 <a name="l01547"></a>01547         <span class="keyword">typedef</span> <span class="keyword">typename</span> dynamic_x_step_type&lt;Loc&gt;::type dynamic_x_step_t;
 914 <a name="l01548"></a>01548         <span class="keyword">typedef</span> <span class="keyword">typename</span> dynamic_y_step_type&lt;Loc&gt;::type dynamic_y_step_t;
 915 <a name="l01549"></a>01549         <span class="keyword">typedef</span> <span class="keyword">typename</span> transposed_type&lt;Loc&gt;::type     transposed_t;
 916 <a name="l01550"></a>01550
 917 <a name="l01551"></a>01551         <span class="keyword">typedef</span> <span class="keyword">typename</span> Loc::cached_location_t   cached_location_t;
 918 <a name="l01552"></a>01552         gil_function_requires&lt;Point2DConcept&lt;typename Loc::point_t&gt; &gt;();
 919 <a name="l01553"></a>01553
 920 <a name="l01554"></a>01554         <span class="keyword">typedef</span> <span class="keyword">typename</span> Loc::x_iterator x_iterator;
 921 <a name="l01555"></a>01555         <span class="keyword">typedef</span> <span class="keyword">typename</span> Loc::y_iterator y_iterator;
 922 <a name="l01556"></a>01556         <span class="keyword">typedef</span> <span class="keyword">typename</span> Loc::x_coord_t  x_coord_t;
 923 <a name="l01557"></a>01557         <span class="keyword">typedef</span> <span class="keyword">typename</span> Loc::y_coord_t  y_coord_t;
 924 <a name="l01558"></a>01558
 925 <a name="l01559"></a>01559         x_coord_t xd=0; ignore_unused_variable_warning(xd);
 926 <a name="l01560"></a>01560         y_coord_t yd=0; ignore_unused_variable_warning(yd);
 927 <a name="l01561"></a>01561
 928 <a name="l01562"></a>01562         <span class="keyword">typename</span> Loc::difference_type d;
 929 <a name="l01563"></a>01563         <span class="keyword">typename</span> Loc::reference r=loc(xd,yd);  ignore_unused_variable_warning(r);
 930 <a name="l01564"></a>01564
 931 <a name="l01565"></a>01565         dynamic_x_step_t loc2(dynamic_x_step_t(), yd);
 932 <a name="l01566"></a>01566         dynamic_x_step_t loc3(dynamic_x_step_t(), xd, yd);
 933 <a name="l01567"></a>01567
 934 <a name="l01568"></a>01568         <span class="keyword">typedef</span> <span class="keyword">typename</span> dynamic_y_step_type&lt;typename dynamic_x_step_type&lt;transposed_t&gt;::type&gt;::type dynamic_xy_step_transposed_t;
 935 <a name="l01569"></a>01569         dynamic_xy_step_transposed_t loc4(loc, xd,yd,<span class="keyword">true</span>);
 936 <a name="l01570"></a>01570
 937 <a name="l01571"></a>01571         <span class="keywordtype">bool</span> is_contiguous=loc.is_1d_traversable(xd); ignore_unused_variable_warning(is_contiguous);
 938 <a name="l01572"></a>01572         loc.y_distance_to(loc, xd);
 939 <a name="l01573"></a>01573
 940 <a name="l01574"></a>01574         loc=loc.xy_at(d);
 941 <a name="l01575"></a>01575         loc=loc.xy_at(xd,yd);
 942 <a name="l01576"></a>01576
 943 <a name="l01577"></a>01577         x_iterator xit=loc.x_at(d);
 944 <a name="l01578"></a>01578         xit=loc.x_at(xd,yd);
 945 <a name="l01579"></a>01579         xit=loc.x();
 946 <a name="l01580"></a>01580
 947 <a name="l01581"></a>01581         y_iterator yit=loc.y_at(d);
 948 <a name="l01582"></a>01582         yit=loc.y_at(xd,yd);
 949 <a name="l01583"></a>01583         yit=loc.y();
 950 <a name="l01584"></a>01584
 951 <a name="l01585"></a>01585         cached_location_t cl=loc.cache_location(xd,yd);  ignore_unused_variable_warning(cl);
 952 <a name="l01586"></a>01586     }
 953 <a name="l01587"></a>01587     Loc loc;
 954 <a name="l01588"></a>01588 };
 955 <a name="l01589"></a>01589
 956 <a name="l01592"></a>01592
 957 <a name="l01604"></a>01604 <span class="keyword">template</span> &lt;<span class="keyword">typename</span> Loc&gt;
 958 <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&amp;#39;s 2-dimensional locator over immutable GIL pixels.">PixelLocatorConcept</a> {
 959 <a name="l01606"></a>01606     <span class="keywordtype">void</span> constraints() {
 960 <a name="l01607"></a>01607         gil_function_requires&lt; RandomAccess2DLocatorConcept&lt;Loc&gt; &gt;();
 961 <a name="l01608"></a>01608         gil_function_requires&lt; PixelIteratorConcept&lt;typename Loc::x_iterator&gt; &gt;();
 962 <a name="l01609"></a>01609         gil_function_requires&lt; PixelIteratorConcept&lt;typename Loc::y_iterator&gt; &gt;();
 963 <a name="l01610"></a>01610         <span class="keyword">typedef</span> <span class="keyword">typename</span> Loc::coord_t                      coord_t;
 964 <a name="l01611"></a>01611         BOOST_STATIC_ASSERT((is_same&lt;typename Loc::x_coord_t, typename Loc::y_coord_t&gt;::value));
 965 <a name="l01612"></a>01612     }
 966 <a name="l01613"></a>01613     Loc loc;
 967 <a name="l01614"></a>01614 };
 968 <a name="l01615"></a>01615
 969 <a name="l01616"></a>01616 <span class="keyword">namespace </span>detail {
 970 <a name="l01617"></a>01617     <span class="keyword">template</span> &lt;<span class="keyword">typename</span> Loc&gt; <span class="comment">// preconditions: Loc Models RandomAccessNDLocatorConcept</span>
 971 <a name="l01618"></a>01618     <span class="keyword">struct </span>RandomAccessNDLocatorIsMutableConcept {
 972 <a name="l01619"></a>01619         <span class="keywordtype">void</span> constraints() {
 973 <a name="l01620"></a>01620             gil_function_requires&lt;detail::RandomAccessIteratorIsMutableConcept&lt;typename Loc::template axis&lt;0&gt;::iterator&gt; &gt;();
 974 <a name="l01621"></a>01621             gil_function_requires&lt;detail::RandomAccessIteratorIsMutableConcept&lt;<span class="keyword">typename</span> Loc::template axis&lt;Loc::num_dimensions-1&gt;::iterator&gt; &gt;();
 975 <a name="l01622"></a>01622
 976 <a name="l01623"></a>01623             <span class="keyword">typename</span> Loc::difference_type d; initialize_it(d);
 977 <a name="l01624"></a>01624             <span class="keyword">typename</span> Loc::value_type v;initialize_it(v);
 978 <a name="l01625"></a>01625             <span class="keyword">typename</span> Loc::cached_location_t cl=loc.cache_location(d);
 979 <a name="l01626"></a>01626             *loc=v;
 980 <a name="l01627"></a>01627             loc[d]=v;
 981 <a name="l01628"></a>01628             loc[cl]=v;
 982 <a name="l01629"></a>01629         }
 983 <a name="l01630"></a>01630         Loc loc;
 984 <a name="l01631"></a>01631     };
 985 <a name="l01632"></a>01632
 986 <a name="l01633"></a>01633     <span class="keyword">template</span> &lt;<span class="keyword">typename</span> Loc&gt; <span class="comment">// preconditions: Loc Models RandomAccess2DLocatorConcept</span>
 987 <a name="l01634"></a>01634     <span class="keyword">struct </span>RandomAccess2DLocatorIsMutableConcept {
 988 <a name="l01635"></a>01635         <span class="keywordtype">void</span> constraints() {
 989 <a name="l01636"></a>01636             gil_function_requires&lt;detail::RandomAccessNDLocatorIsMutableConcept&lt;Loc&gt; &gt;();
 990 <a name="l01637"></a>01637             <span class="keyword">typename</span> Loc::x_coord_t xd=0; ignore_unused_variable_warning(xd);
 991 <a name="l01638"></a>01638             <span class="keyword">typename</span> Loc::y_coord_t yd=0; ignore_unused_variable_warning(yd);
 992 <a name="l01639"></a>01639             <span class="keyword">typename</span> Loc::value_type v; initialize_it(v);
 993 <a name="l01640"></a>01640             loc(xd,yd)=v;
 994 <a name="l01641"></a>01641         }
 995 <a name="l01642"></a>01642         Loc loc;
 996 <a name="l01643"></a>01643     };
 997 <a name="l01644"></a>01644 }
 998 <a name="l01645"></a>01645
 999 <a name="l01648"></a>01648
1000 <a name="l01655"></a>01655 <span class="keyword">template</span> &lt;<span class="keyword">typename</span> Loc&gt;
1001 <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> {
1002 <a name="l01657"></a>01657     <span class="keywordtype">void</span> constraints() {
1003 <a name="l01658"></a>01658         gil_function_requires&lt;RandomAccessNDLocatorConcept&lt;Loc&gt; &gt;();
1004 <a name="l01659"></a>01659         gil_function_requires&lt;detail::RandomAccessNDLocatorIsMutableConcept&lt;Loc&gt; &gt;();
1005 <a name="l01660"></a>01660     }
1006 <a name="l01661"></a>01661 };
1007 <a name="l01662"></a>01662
1008 <a name="l01665"></a>01665
1009 <a name="l01670"></a>01670 <span class="keyword">template</span> &lt;<span class="keyword">typename</span> Loc&gt;
1010 <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> {
1011 <a name="l01672"></a>01672     <span class="keywordtype">void</span> constraints() {
1012 <a name="l01673"></a>01673         gil_function_requires&lt; RandomAccess2DLocatorConcept&lt;Loc&gt; &gt;();
1013 <a name="l01674"></a>01674         gil_function_requires&lt;detail::RandomAccess2DLocatorIsMutableConcept&lt;Loc&gt; &gt;();
1014 <a name="l01675"></a>01675     }
1015 <a name="l01676"></a>01676 };
1016 <a name="l01677"></a>01677
1017 <a name="l01680"></a>01680
1018 <a name="l01685"></a>01685 <span class="keyword">template</span> &lt;<span class="keyword">typename</span> Loc&gt;
1019 <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&amp;#39;s 2-dimensional locator over mutable GIL pixels.">MutablePixelLocatorConcept</a> {
1020 <a name="l01687"></a>01687     <span class="keywordtype">void</span> constraints() {
1021 <a name="l01688"></a>01688         gil_function_requires&lt;PixelLocatorConcept&lt;Loc&gt; &gt;();
1022 <a name="l01689"></a>01689         gil_function_requires&lt;detail::RandomAccess2DLocatorIsMutableConcept&lt;Loc&gt; &gt;();
1023 <a name="l01690"></a>01690     }
1024 <a name="l01691"></a>01691 };
1025 <a name="l01692"></a>01692
1026 <a name="l01698"></a>01698
1027 <a name="l01702"></a>01702
1028 <a name="l01706"></a>01706
1029 <a name="l01710"></a>01710
1030 <a name="l01713"></a>01713
1031 <a name="l01762"></a>01762 <span class="keyword">template</span> &lt;<span class="keyword">typename</span> View&gt;
1032 <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> {
1033 <a name="l01764"></a>01764     <span class="keywordtype">void</span> constraints() {
1034 <a name="l01765"></a>01765         gil_function_requires&lt; Regular&lt;View&gt; &gt;();
1035 <a name="l01766"></a>01766
1036 <a name="l01767"></a>01767         <span class="keyword">typedef</span> <span class="keyword">typename</span> View::value_type       value_type;
1037 <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>
1038 <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>
1039 <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>
1040 <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>
1041 <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>
1042 <a name="l01773"></a>01773         <span class="keyword">typedef</span> <span class="keyword">typename</span> View::iterator         iterator;
1043 <a name="l01774"></a>01774         <span class="keyword">typedef</span> <span class="keyword">typename</span> View::reverse_iterator reverse_iterator;
1044 <a name="l01775"></a>01775         <span class="keyword">typedef</span> <span class="keyword">typename</span> View::size_type        size_type;
1045 <a name="l01776"></a>01776         <span class="keyword">static</span> <span class="keyword">const</span> std::size_t N=View::num_dimensions;
1046 <a name="l01777"></a>01777
1047 <a name="l01778"></a>01778         gil_function_requires&lt;RandomAccessNDLocatorConcept&lt;locator&gt; &gt;();
1048 <a name="l01779"></a>01779         gil_function_requires&lt;boost_concepts::RandomAccessTraversalConcept&lt;iterator&gt; &gt;();
1049 <a name="l01780"></a>01780         gil_function_requires&lt;boost_concepts::RandomAccessTraversalConcept&lt;reverse_iterator&gt; &gt;();
1050 <a name="l01781"></a>01781
1051 <a name="l01782"></a>01782         <span class="keyword">typedef</span> <span class="keyword">typename</span> View::template axis&lt;0&gt;::iterator   first_it_type;
1052 <a name="l01783"></a>01783         <span class="keyword">typedef</span> <span class="keyword">typename</span> View::template axis&lt;N-1&gt;::iterator last_it_type;
1053 <a name="l01784"></a>01784         gil_function_requires&lt;boost_concepts::RandomAccessTraversalConcept&lt;first_it_type&gt; &gt;();
1054 <a name="l01785"></a>01785         gil_function_requires&lt;boost_concepts::RandomAccessTraversalConcept&lt;last_it_type&gt; &gt;();
1055 <a name="l01786"></a>01786
1056 <a name="l01787"></a>01787 <span class="comment">//        BOOST_STATIC_ASSERT((typename std::iterator_traits&lt;first_it_type&gt;::difference_type, typename point_t::template axis&lt;0&gt;::coord_t&gt;::value));</span>
1057 <a name="l01788"></a>01788 <span class="comment">//        BOOST_STATIC_ASSERT((typename std::iterator_traits&lt; last_it_type&gt;::difference_type, typename point_t::template axis&lt;N-1&gt;::coord_t&gt;::value));</span>
1058 <a name="l01789"></a>01789
1059 <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>
1060 <a name="l01791"></a>01791         gil_function_requires&lt;PointNDConcept&lt;point_t&gt; &gt;();
1061 <a name="l01792"></a>01792         BOOST_STATIC_ASSERT(point_t::num_dimensions==N);
1062 <a name="l01793"></a>01793         BOOST_STATIC_ASSERT((is_same&lt;<span class="keyword">typename</span> std::iterator_traits&lt;first_it_type&gt;::difference_type, <span class="keyword">typename</span> point_t::template axis&lt;0&gt;::coord_t&gt;::value));
1063 <a name="l01794"></a>01794         BOOST_STATIC_ASSERT((is_same&lt;<span class="keyword">typename</span> std::iterator_traits&lt;last_it_type&gt;::difference_type, <span class="keyword">typename</span> point_t::template axis&lt;N-1&gt;::coord_t&gt;::value));
1064 <a name="l01795"></a>01795
1065 <a name="l01796"></a>01796         point_t p;
1066 <a name="l01797"></a>01797         locator lc;
1067 <a name="l01798"></a>01798         iterator it;
1068 <a name="l01799"></a>01799         reverse_iterator rit;
1069 <a name="l01800"></a>01800         difference_type d; detail::initialize_it(d); ignore_unused_variable_warning(d);
1070 <a name="l01801"></a>01801
1071 <a name="l01802"></a>01802         View(p,lc); <span class="comment">// view must be constructible from a locator and a point</span>
1072 <a name="l01803"></a>01803
1073 <a name="l01804"></a>01804         p=view.dimensions();
1074 <a name="l01805"></a>01805         lc=view.pixels();
1075 <a name="l01806"></a>01806         size_type sz=view.size();  ignore_unused_variable_warning(sz);
1076 <a name="l01807"></a>01807         <span class="keywordtype">bool</span> is_contiguous=view.is_1d_traversable(); ignore_unused_variable_warning(is_contiguous);
1077 <a name="l01808"></a>01808
1078 <a name="l01809"></a>01809         it=view.begin();
1079 <a name="l01810"></a>01810         it=view.end();
1080 <a name="l01811"></a>01811         rit=view.rbegin();
1081 <a name="l01812"></a>01812         rit=view.rend();
1082 <a name="l01813"></a>01813
1083 <a name="l01814"></a>01814         reference r1=view[d]; ignore_unused_variable_warning(r1);    <span class="comment">// 1D access </span>
1084 <a name="l01815"></a>01815         reference r2=view(p); ignore_unused_variable_warning(r2);    <span class="comment">// 2D access</span>
1085 <a name="l01816"></a>01816
1086 <a name="l01817"></a>01817         <span class="comment">// get 1-D iterator of any dimension at a given pixel location</span>
1087 <a name="l01818"></a>01818         first_it_type fi=view.template axis_iterator&lt;0&gt;(p); ignore_unused_variable_warning(fi);
1088 <a name="l01819"></a>01819         last_it_type li=view.template axis_iterator&lt;N-1&gt;(p); ignore_unused_variable_warning(li);
1089 <a name="l01820"></a>01820
1090 <a name="l01821"></a>01821         <span class="keyword">typedef</span> PixelDereferenceAdaptorArchetype&lt;typename View::value_type&gt; deref_t;
1091 <a name="l01822"></a>01822         <span class="keyword">typedef</span> <span class="keyword">typename</span> View::template add_deref&lt;deref_t&gt;::type dtype;
1092 <a name="l01823"></a>01823     }
1093 <a name="l01824"></a>01824     View view;
1094 <a name="l01825"></a>01825 };
1095 <a name="l01826"></a>01826
1096 <a name="l01829"></a>01829
1097 <a name="l01866"></a>01866 <span class="keyword">template</span> &lt;<span class="keyword">typename</span> View&gt;
1098 <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> {
1099 <a name="l01868"></a>01868     <span class="keywordtype">void</span> constraints() {
1100 <a name="l01869"></a>01869         gil_function_requires&lt;RandomAccessNDImageViewConcept&lt;View&gt; &gt;();
1101 <a name="l01870"></a>01870         BOOST_STATIC_ASSERT(View::num_dimensions==2);
1102 <a name="l01871"></a>01871
1103 <a name="l01872"></a>01872         <span class="comment">// TODO: This executes the requirements for RandomAccessNDLocatorConcept again. Fix it to improve compile time</span>
1104 <a name="l01873"></a>01873         gil_function_requires&lt;RandomAccess2DLocatorConcept&lt;typename View::locator&gt; &gt;();
1105 <a name="l01874"></a>01874
1106 <a name="l01875"></a>01875         <span class="keyword">typedef</span> <span class="keyword">typename</span> dynamic_x_step_type&lt;View&gt;::type  dynamic_x_step_t;
1107 <a name="l01876"></a>01876         <span class="keyword">typedef</span> <span class="keyword">typename</span> dynamic_y_step_type&lt;View&gt;::type  dynamic_y_step_t;
1108 <a name="l01877"></a>01877         <span class="keyword">typedef</span> <span class="keyword">typename</span> transposed_type&lt;View&gt;::type      transposed_t;
1109 <a name="l01878"></a>01878
1110 <a name="l01879"></a>01879         <span class="keyword">typedef</span> <span class="keyword">typename</span> View::x_iterator x_iterator;
1111 <a name="l01880"></a>01880         <span class="keyword">typedef</span> <span class="keyword">typename</span> View::y_iterator y_iterator;
1112 <a name="l01881"></a>01881         <span class="keyword">typedef</span> <span class="keyword">typename</span> View::x_coord_t  x_coord_t;
1113 <a name="l01882"></a>01882         <span class="keyword">typedef</span> <span class="keyword">typename</span> View::y_coord_t  y_coord_t;
1114 <a name="l01883"></a>01883         <span class="keyword">typedef</span> <span class="keyword">typename</span> View::xy_locator xy_locator;
1115 <a name="l01884"></a>01884
1116 <a name="l01885"></a>01885         x_coord_t xd=0; ignore_unused_variable_warning(xd);
1117 <a name="l01886"></a>01886         y_coord_t yd=0; ignore_unused_variable_warning(yd);
1118 <a name="l01887"></a>01887         x_iterator xit;
1119 <a name="l01888"></a>01888         y_iterator yit;
1120 <a name="l01889"></a>01889         <span class="keyword">typename</span> View::point_t d;
1121 <a name="l01890"></a>01890
1122 <a name="l01891"></a>01891         View(xd,yd,xy_locator());       <span class="comment">// constructible with width, height, 2d_locator</span>
1123 <a name="l01892"></a>01892
1124 <a name="l01893"></a>01893         xy_locator lc=view.xy_at(xd,yd);
1125 <a name="l01894"></a>01894         lc=view.xy_at(d);
1126 <a name="l01895"></a>01895
1127 <a name="l01896"></a>01896         <span class="keyword">typename</span> View::reference r=view(xd,yd);  ignore_unused_variable_warning(r);
1128 <a name="l01897"></a>01897         xd=view.width();
1129 <a name="l01898"></a>01898         yd=view.height();
1130 <a name="l01899"></a>01899
1131 <a name="l01900"></a>01900         xit=view.x_at(d);
1132 <a name="l01901"></a>01901         xit=view.x_at(xd,yd);
1133 <a name="l01902"></a>01902         xit=view.row_begin(xd);
1134 <a name="l01903"></a>01903         xit=view.row_end(xd);
1135 <a name="l01904"></a>01904
1136 <a name="l01905"></a>01905         yit=view.y_at(d);
1137 <a name="l01906"></a>01906         yit=view.y_at(xd,yd);
1138 <a name="l01907"></a>01907         yit=view.col_begin(xd);
1139 <a name="l01908"></a>01908         yit=view.col_end(xd);
1140 <a name="l01909"></a>01909     }
1141 <a name="l01910"></a>01910     View view;
1142 <a name="l01911"></a>01911 };
1143 <a name="l01912"></a>01912
1144 <a name="l01913"></a>01913
1145 <a name="l01916"></a>01916
1146 <a name="l01930"></a>01930 <span class="keyword">template</span> &lt;<span class="keyword">typename</span> View&gt;
1147 <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&amp;#39;s 2-dimensional view over immutable GIL pixels.">ImageViewConcept</a> {
1148 <a name="l01932"></a>01932     <span class="keywordtype">void</span> constraints() {
1149 <a name="l01933"></a>01933         gil_function_requires&lt;RandomAccess2DImageViewConcept&lt;View&gt; &gt;();
1150 <a name="l01934"></a>01934
1151 <a name="l01935"></a>01935         <span class="comment">// TODO: This executes the requirements for RandomAccess2DLocatorConcept again. Fix it to improve compile time</span>
1152 <a name="l01936"></a>01936         gil_function_requires&lt;PixelLocatorConcept&lt;typename View::xy_locator&gt; &gt;();
1153 <a name="l01937"></a>01937
1154 <a name="l01938"></a>01938         BOOST_STATIC_ASSERT((is_same&lt;typename View::x_coord_t, typename View::y_coord_t&gt;::value));
1155 <a name="l01939"></a>01939
1156 <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>
1157 <a name="l01941"></a>01941         std::size_t num_chan = view.num_channels(); ignore_unused_variable_warning(num_chan);
1158 <a name="l01942"></a>01942     }
1159 <a name="l01943"></a>01943     View view;
1160 <a name="l01944"></a>01944 };
1161 <a name="l01945"></a>01945
1162 <a name="l01946"></a>01946
1163 <a name="l01947"></a>01947 <span class="keyword">namespace </span>detail {
1164 <a name="l01948"></a>01948     <span class="keyword">template</span> &lt;<span class="keyword">typename</span> View&gt;    <span class="comment">// Preconditions: View Models RandomAccessNDImageViewConcept</span>
1165 <a name="l01949"></a>01949     <span class="keyword">struct </span>RandomAccessNDImageViewIsMutableConcept {
1166 <a name="l01950"></a>01950         <span class="keywordtype">void</span> constraints() {
1167 <a name="l01951"></a>01951             gil_function_requires&lt;detail::RandomAccessNDLocatorIsMutableConcept&lt;typename View::locator&gt; &gt;();
1168 <a name="l01952"></a>01952
1169 <a name="l01953"></a>01953             gil_function_requires&lt;detail::RandomAccessIteratorIsMutableConcept&lt;typename View::iterator&gt; &gt;();
1170 <a name="l01954"></a>01954             gil_function_requires&lt;detail::RandomAccessIteratorIsMutableConcept&lt;typename View::reverse_iterator&gt; &gt;();
1171 <a name="l01955"></a>01955             gil_function_requires&lt;detail::RandomAccessIteratorIsMutableConcept&lt;typename View::template axis&lt;0&gt;::iterator&gt; &gt;();
1172 <a name="l01956"></a>01956             gil_function_requires&lt;detail::RandomAccessIteratorIsMutableConcept&lt;<span class="keyword">typename</span> View::template axis&lt;View::num_dimensions-1&gt;::iterator&gt; &gt;();
1173 <a name="l01957"></a>01957
1174 <a name="l01958"></a>01958             <span class="keyword">typename</span> View::difference_type diff; initialize_it(diff); ignore_unused_variable_warning(diff);
1175 <a name="l01959"></a>01959             <span class="keyword">typename</span> View::point_t pt;
1176 <a name="l01960"></a>01960             <span class="keyword">typename</span> View::value_type v; initialize_it(v);
1177 <a name="l01961"></a>01961
1178 <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;
1179 <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;
1180 <a name="l01964"></a>01964         }
1181 <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>;
1182 <a name="l01966"></a>01966     };
1183 <a name="l01967"></a>01967
1184 <a name="l01968"></a>01968     <span class="keyword">template</span> &lt;<span class="keyword">typename</span> View&gt;    <span class="comment">// preconditions: View Models RandomAccessNDImageViewConcept</span>
1185 <a name="l01969"></a>01969     <span class="keyword">struct </span>RandomAccess2DImageViewIsMutableConcept {
1186 <a name="l01970"></a>01970         <span class="keywordtype">void</span> constraints() {
1187 <a name="l01971"></a>01971             gil_function_requires&lt;detail::RandomAccessNDImageViewIsMutableConcept&lt;View&gt; &gt;();
1188 <a name="l01972"></a>01972             <span class="keyword">typename</span> View::x_coord_t xd=0; ignore_unused_variable_warning(xd);
1189 <a name="l01973"></a>01973             <span class="keyword">typename</span> View::y_coord_t yd=0; ignore_unused_variable_warning(yd);
1190 <a name="l01974"></a>01974             <span class="keyword">typename</span> View::value_type v; initialize_it(v);
1191 <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;
1192 <a name="l01976"></a>01976         }
1193 <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>;
1194 <a name="l01978"></a>01978     };
1195 <a name="l01979"></a>01979
1196 <a name="l01980"></a>01980     <span class="keyword">template</span> &lt;<span class="keyword">typename</span> View&gt;    <span class="comment">// preconditions: View Models ImageViewConcept</span>
1197 <a name="l01981"></a>01981     <span class="keyword">struct </span>PixelImageViewIsMutableConcept {
1198 <a name="l01982"></a>01982         <span class="keywordtype">void</span> constraints() {
1199 <a name="l01983"></a>01983             gil_function_requires&lt;detail::RandomAccess2DImageViewIsMutableConcept&lt;View&gt; &gt;();
1200 <a name="l01984"></a>01984         }
1201 <a name="l01985"></a>01985     };
1202 <a name="l01986"></a>01986 }
1203 <a name="l01987"></a>01987
1204 <a name="l01990"></a>01990
1205 <a name="l01997"></a>01997 <span class="keyword">template</span> &lt;<span class="keyword">typename</span> View&gt;
1206 <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> {
1207 <a name="l01999"></a>01999     <span class="keywordtype">void</span> constraints() {
1208 <a name="l02000"></a>02000         gil_function_requires&lt;RandomAccessNDImageViewConcept&lt;View&gt; &gt;();
1209 <a name="l02001"></a>02001         gil_function_requires&lt;detail::RandomAccessNDImageViewIsMutableConcept&lt;View&gt; &gt;();
1210 <a name="l02002"></a>02002     }
1211 <a name="l02003"></a>02003 };
1212 <a name="l02004"></a>02004
1213 <a name="l02007"></a>02007
1214 <a name="l02012"></a>02012 <span class="keyword">template</span> &lt;<span class="keyword">typename</span> View&gt;
1215 <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> {
1216 <a name="l02014"></a>02014     <span class="keywordtype">void</span> constraints() {
1217 <a name="l02015"></a>02015         gil_function_requires&lt;RandomAccess2DImageViewConcept&lt;View&gt; &gt;();
1218 <a name="l02016"></a>02016         gil_function_requires&lt;detail::RandomAccess2DImageViewIsMutableConcept&lt;View&gt; &gt;();
1219 <a name="l02017"></a>02017     }
1220 <a name="l02018"></a>02018 };
1221 <a name="l02019"></a>02019
1222 <a name="l02022"></a>02022
1223 <a name="l02027"></a>02027 <span class="keyword">template</span> &lt;<span class="keyword">typename</span> View&gt;
1224 <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&amp;#39;s 2-dimensional view over mutable GIL pixels.">MutableImageViewConcept</a> {
1225 <a name="l02029"></a>02029     <span class="keywordtype">void</span> constraints() {
1226 <a name="l02030"></a>02030         gil_function_requires&lt;ImageViewConcept&lt;View&gt; &gt;();
1227 <a name="l02031"></a>02031         gil_function_requires&lt;detail::PixelImageViewIsMutableConcept&lt;View&gt; &gt;();
1228 <a name="l02032"></a>02032     }
1229 <a name="l02033"></a>02033 };
1230 <a name="l02034"></a>02034
1231 <a name="l02038"></a>02038 <span class="keyword">template</span> &lt;<span class="keyword">typename</span> V1, <span class="keyword">typename</span> V2&gt;  <span class="comment">// Model ImageViewConcept</span>
1232 <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>&lt;typename V1::value_type, typename V2::value_type&gt; {};
1233 <a name="l02040"></a>02040
1234 <a name="l02043"></a>02043
1235 <a name="l02050"></a>02050 <span class="keyword">template</span> &lt;<span class="keyword">typename</span> V1, <span class="keyword">typename</span> V2&gt;
1236 <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> {
1237 <a name="l02052"></a>02052     <span class="keywordtype">void</span> constraints() {
1238 <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&lt;V1,V2&gt;::value</a>));
1239 <a name="l02054"></a>02054     }
1240 <a name="l02055"></a>02055 };
1241 <a name="l02056"></a>02056
1242 <a name="l02057"></a>02057
1243 <a name="l02063"></a>02063
1244 <a name="l02064"></a>02064
1245 <a name="l02067"></a>02067
1246 <a name="l02088"></a>02088 <span class="keyword">template</span> &lt;<span class="keyword">typename</span> Img&gt;
1247 <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> {
1248 <a name="l02090"></a>02090     <span class="keywordtype">void</span> constraints() {
1249 <a name="l02091"></a>02091         gil_function_requires&lt;Regular&lt;Img&gt; &gt;();
1250 <a name="l02092"></a>02092
1251 <a name="l02093"></a>02093         <span class="keyword">typedef</span> <span class="keyword">typename</span> Img::view_t       view_t;
1252 <a name="l02094"></a>02094         gil_function_requires&lt;MutableRandomAccessNDImageViewConcept&lt;view_t&gt; &gt;();
1253 <a name="l02095"></a>02095
1254 <a name="l02096"></a>02096         <span class="keyword">typedef</span> <span class="keyword">typename</span> Img::const_view_t const_view_t;
1255 <a name="l02097"></a>02097         <span class="keyword">typedef</span> <span class="keyword">typename</span> Img::value_type   pixel_t;
1256 <a name="l02098"></a>02098
1257 <a name="l02099"></a>02099         <span class="keyword">typedef</span> <span class="keyword">typename</span> Img::point_t        point_t;
1258 <a name="l02100"></a>02100         gil_function_requires&lt;PointNDConcept&lt;point_t&gt; &gt;();
1259 <a name="l02101"></a>02101
1260 <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);
1261 <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);
1262 <a name="l02104"></a>02104
1263 <a name="l02105"></a>02105         pixel_t fill_value;
1264 <a name="l02106"></a>02106         point_t pt=img.dimensions();
1265 <a name="l02107"></a>02107         Img im1(pt);
1266 <a name="l02108"></a>02108         Img im2(pt,1);
1267 <a name="l02109"></a>02109         Img im3(pt,fill_value,1);
1268 <a name="l02110"></a>02110         img.recreate(pt);
1269 <a name="l02111"></a>02111         img.recreate(pt,1);
1270 <a name="l02112"></a>02112         img.recreate(pt,fill_value,1);
1271 <a name="l02113"></a>02113     }
1272 <a name="l02114"></a>02114     Img img;
1273 <a name="l02115"></a>02115 };
1274 <a name="l02116"></a>02116
1275 <a name="l02117"></a>02117
1276 <a name="l02120"></a>02120
1277 <a name="l02137"></a>02137 <span class="keyword">template</span> &lt;<span class="keyword">typename</span> Img&gt;
1278 <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> {
1279 <a name="l02139"></a>02139     <span class="keywordtype">void</span> constraints() {
1280 <a name="l02140"></a>02140         gil_function_requires&lt;RandomAccessNDImageConcept&lt;Img&gt; &gt;();
1281 <a name="l02141"></a>02141         <span class="keyword">typedef</span> <span class="keyword">typename</span> Img::x_coord_t  x_coord_t;
1282 <a name="l02142"></a>02142         <span class="keyword">typedef</span> <span class="keyword">typename</span> Img::y_coord_t  y_coord_t;
1283 <a name="l02143"></a>02143         <span class="keyword">typedef</span> <span class="keyword">typename</span> Img::value_type value_t;
1284 <a name="l02144"></a>02144
1285 <a name="l02145"></a>02145         gil_function_requires&lt;MutableRandomAccess2DImageViewConcept&lt;typename Img::view_t&gt; &gt;();
1286 <a name="l02146"></a>02146
1287 <a name="l02147"></a>02147         x_coord_t w=img.width();
1288 <a name="l02148"></a>02148         y_coord_t h=img.height();
1289 <a name="l02149"></a>02149         value_t fill_value;
1290 <a name="l02150"></a>02150         Img im1(w,h);
1291 <a name="l02151"></a>02151         Img im2(w,h,1);
1292 <a name="l02152"></a>02152         Img im3(w,h,fill_value,1);
1293 <a name="l02153"></a>02153         img.recreate(w,h);
1294 <a name="l02154"></a>02154         img.recreate(w,h,1);
1295 <a name="l02155"></a>02155         img.recreate(w,h,fill_value,1);
1296 <a name="l02156"></a>02156     }
1297 <a name="l02157"></a>02157     Img img;
1298 <a name="l02158"></a>02158 };
1299 <a name="l02159"></a>02159
1300 <a name="l02162"></a>02162
1301 <a name="l02170"></a>02170 <span class="keyword">template</span> &lt;<span class="keyword">typename</span> Img&gt;
1302 <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> {
1303 <a name="l02172"></a>02172     <span class="keywordtype">void</span> constraints() {
1304 <a name="l02173"></a>02173         gil_function_requires&lt;RandomAccess2DImageConcept&lt;Img&gt; &gt;();
1305 <a name="l02174"></a>02174         gil_function_requires&lt;MutableImageViewConcept&lt;typename Img::view_t&gt; &gt;();
1306 <a name="l02175"></a>02175         <span class="keyword">typedef</span> <span class="keyword">typename</span> Img::coord_t        coord_t;
1307 <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&lt;Img&gt;::value</a> == mpl::size&lt;<span class="keyword">typename</span> color_space_type&lt;Img&gt;::type&gt;::value);
1308 <a name="l02177"></a>02177
1309 <a name="l02178"></a>02178         BOOST_STATIC_ASSERT((is_same&lt;coord_t, typename Img::x_coord_t&gt;::value));
1310 <a name="l02179"></a>02179         BOOST_STATIC_ASSERT((is_same&lt;coord_t, typename Img::y_coord_t&gt;::value));
1311 <a name="l02180"></a>02180     }
1312 <a name="l02181"></a>02181     Img img;
1313 <a name="l02182"></a>02182 };
1314 <a name="l02183"></a>02183
1315 <a name="l02184"></a>02184
1316 <a name="l02185"></a>02185 } }  <span class="comment">// namespace boost::gil</span>
1317 <a name="l02186"></a>02186
1318 <a name="l02187"></a>02187 <span class="preprocessor">#endif</span>
1319 </pre></div></div>
1320 <hr size="1"><address style="text-align: right;"><small>Generated on Sat May 2 13:50:13 2009 for Generic Image Library by&nbsp;
1321 <a href="http://www.doxygen.org/index.html">
1322 <img src="doxygen.png" alt="doxygen" align="middle" border="0"></a> 1.5.6 </small></address>
1323 </body>
1324 </html>