]> git.proxmox.com Git - ceph.git/blame - ceph/src/boost/libs/gil/doc/html/g_i_l_0091.html
add subtree-ish sources for 12.0.3
[ceph.git] / ceph / src / boost / libs / gil / doc / html / g_i_l_0091.html
CommitLineData
7c673cae
FG
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>