/usr/include/vigra/functortraits.hxx is in libvigraimpex-dev 1.10.0+dfsg-11ubuntu2.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222 223 224 225 226 227 228 229 230 231 232 233 234 235 236 237 238 239 240 241 242 243 244 245 246 247 248 249 250 251 252 253 254 255 256 257 258 259 260 261 262 263 264 265 266 | /************************************************************************/
/* */
/* Copyright 1998-2005 by Ullrich Koethe */
/* */
/* This file is part of the VIGRA computer vision library. */
/* The VIGRA Website is */
/* http://hci.iwr.uni-heidelberg.de/vigra/ */
/* Please direct questions, bug reports, and contributions to */
/* ullrich.koethe@iwr.uni-heidelberg.de or */
/* vigra@informatik.uni-hamburg.de */
/* */
/* Permission is hereby granted, free of charge, to any person */
/* obtaining a copy of this software and associated documentation */
/* files (the "Software"), to deal in the Software without */
/* restriction, including without limitation the rights to use, */
/* copy, modify, merge, publish, distribute, sublicense, and/or */
/* sell copies of the Software, and to permit persons to whom the */
/* Software is furnished to do so, subject to the following */
/* conditions: */
/* */
/* The above copyright notice and this permission notice shall be */
/* included in all copies or substantial portions of the */
/* Software. */
/* */
/* THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND */
/* EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES */
/* OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND */
/* NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT */
/* HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, */
/* WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING */
/* FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR */
/* OTHER DEALINGS IN THE SOFTWARE. */
/* */
/************************************************************************/
#ifndef VIGRA_FUNCTORTRAITS_HXX
#define VIGRA_FUNCTORTRAITS_HXX
#include <functional>
#include "metaprogramming.hxx"
namespace vigra {
struct InitializerTag {};
struct UnaryFunctorTag {};
struct BinaryFunctorTag {};
struct TernaryFunctorTag {};
struct UnaryAnalyserTag {};
struct BinaryAnalyserTag {};
struct TernaryAnalyserTag {};
struct UnaryReduceFunctorTag
: public InitializerTag, public UnaryAnalyserTag
{};
struct BinaryReduceFunctorTag
: public InitializerTag, public BinaryAnalyserTag
{};
typedef UnaryFunctorTag UnaryExpandFunctorTag;
typedef BinaryFunctorTag BinaryExpandFunctorTag;
template <class T>
class FunctorTraitsBase
{
public:
typedef T type;
typedef typename IsDerivedFrom<T, InitializerTag>::result isInitializer;
typedef typename IsDerivedFrom<T, UnaryFunctorTag>::result isUnaryFunctor;
typedef typename IsDerivedFrom<T, BinaryFunctorTag>::result isBinaryFunctor;
typedef typename IsDerivedFrom<T, TernaryFunctorTag>::result isTernaryFunctor;
typedef typename IsDerivedFrom<T, UnaryAnalyserTag>::result isUnaryAnalyser;
typedef typename IsDerivedFrom<T, BinaryAnalyserTag>::result isBinaryAnalyser;
typedef typename IsDerivedFrom<T, TernaryAnalyserTag>::result isTernaryAnalyser;
};
/** \addtogroup Functors
*/
//@{
/** \brief Export associated information for a functor.
The FunctorTraits class contains the following fields:
\code
template <class T>
struct FunctorTraits
{
typedef T type;
typedef ... isInitializer;
typedef ... isUnaryFunctor;
typedef ... isBinaryFunctor;
typedef ... isTernaryFunctor;
typedef ... isUnaryAnalyser;
typedef ... isBinaryAnalyser;
typedef ... isTernaryAnalyser;
};
\endcode
where the dots are either <tt>VigraTrueType</tt> or <tt>VigraFalseType</tt>
depending on whether the functor supports the respective functionality or not.
Note that these traits are automatically defined correctly when your functor is derived
from the appropriate functor tag classes:
\code
struct InitializerTag {};
struct UnaryFunctorTag {};
struct BinaryFunctorTag {};
struct TernaryFunctorTag {};
struct UnaryAnalyserTag {};
struct BinaryAnalyserTag {};
struct TernaryAnalyserTag {};
struct UnaryReduceFunctorTag : public InitializerTag, public UnaryAnalyserTag {};
struct BinaryReduceFunctorTag : public InitializerTag, public BinaryAnalyserTag {};
\endcode
If a functor <tt>f</tt> is a model of these categories, it supports the following
calls (<tt>v</tt> is a variable such that the result type of the functor
calls can be converted into <tt>v</tt>'s type, and <tt>a1, a2, a3</tt> are
variables convertible into the functor's argument types):
<DL>
<DT><b>Initializer</b>
<DD> <tt>v = f()</tt> (used with initImageWithFunctor())
<DT><b>UnaryFunctor</b>
<DD> <tt>v = f(a1)</tt> (used with transformImage())
<DT><b>BinaryFunctor</b>
<DD> <tt>v = f(a1, a2)</tt> (used with combineTwoImages())
<DT><b>TernaryFunctor</b>
<DD> <tt>v = f(a1, a2, a3)</tt> (used with combineThreeImages())
<DT><b>UnaryAnalyser</b>
<DD> <tt>f(a1)</tt> (return type <tt>void</tt>, used with inspectImage())
<DT><b>BinaryAnalyser</b>
<DD> <tt>f(a1, a2)</tt> (return type <tt>void</tt>, used with inspectTwoImages())
<DT><b>TernaryAnalyser</b>
<DD> <tt>f(a1, a2, a3)</tt> (return type <tt>void</tt>)
</DL>
It should be noted that the functor's argument and result types are not contained
in the traits class: Since the function calls are often member template functions in
VIGRA, many functors do not have fixed argument types. Neither are the result
types fixed in this case because they are computed (via a template meta-program)
from the argument types.
<b>\#include</b> \<vigra/functortraits.hxx\> <br/>
Namespace: vigra
*/
template <class T>
class FunctorTraits
: public FunctorTraitsBase<T>
{};
#define VIGRA_DEFINE_STL_FUNCTOR(name, unary, binary) \
template <class T> \
class FunctorTraits<name<T> > \
{ \
public: \
typedef T type; \
\
typedef VigraFalseType isInitializer; \
\
typedef unary isUnaryFunctor; \
typedef binary isBinaryFunctor; \
typedef VigraFalseType isTernaryFunctor; \
\
typedef VigraFalseType isUnaryAnalyser; \
typedef VigraFalseType isBinaryAnalyser; \
typedef VigraFalseType isTernaryAnalyser; \
};
// ???TODO: these should also be specialized for the ptr_fun and mem_fun_ptr wrappers
VIGRA_DEFINE_STL_FUNCTOR(std::plus, VigraFalseType, VigraTrueType)
VIGRA_DEFINE_STL_FUNCTOR(std::minus, VigraFalseType, VigraTrueType)
VIGRA_DEFINE_STL_FUNCTOR(std::multiplies, VigraFalseType, VigraTrueType)
VIGRA_DEFINE_STL_FUNCTOR(std::divides, VigraFalseType, VigraTrueType)
VIGRA_DEFINE_STL_FUNCTOR(std::modulus, VigraFalseType, VigraTrueType)
VIGRA_DEFINE_STL_FUNCTOR(std::equal_to, VigraFalseType, VigraTrueType)
VIGRA_DEFINE_STL_FUNCTOR(std::not_equal_to, VigraFalseType, VigraTrueType)
VIGRA_DEFINE_STL_FUNCTOR(std::greater, VigraFalseType, VigraTrueType)
VIGRA_DEFINE_STL_FUNCTOR(std::less, VigraFalseType, VigraTrueType)
VIGRA_DEFINE_STL_FUNCTOR(std::greater_equal, VigraFalseType, VigraTrueType)
VIGRA_DEFINE_STL_FUNCTOR(std::less_equal, VigraFalseType, VigraTrueType)
VIGRA_DEFINE_STL_FUNCTOR(std::logical_and, VigraFalseType, VigraTrueType)
VIGRA_DEFINE_STL_FUNCTOR(std::logical_or, VigraFalseType, VigraTrueType)
VIGRA_DEFINE_STL_FUNCTOR(std::binary_negate, VigraFalseType, VigraTrueType)
VIGRA_DEFINE_STL_FUNCTOR(std::negate, VigraTrueType, VigraFalseType)
VIGRA_DEFINE_STL_FUNCTOR(std::logical_not, VigraTrueType, VigraFalseType)
VIGRA_DEFINE_STL_FUNCTOR(std::unary_negate, VigraTrueType, VigraFalseType)
VIGRA_DEFINE_STL_FUNCTOR(std::binder1st, VigraTrueType, VigraFalseType)
VIGRA_DEFINE_STL_FUNCTOR(std::binder2nd, VigraTrueType, VigraFalseType)
#undef VIGRA_DEFINE_STL_FUNCTOR
template <class R>
class FunctorTraits<R (*)()>
{
public:
typedef R (*type)();
typedef VigraTrueType isInitializer;
typedef VigraFalseType isUnaryFunctor;
typedef VigraFalseType isBinaryFunctor;
typedef VigraFalseType isTernaryFunctor;
typedef VigraFalseType isUnaryAnalyser;
typedef VigraFalseType isBinaryAnalyser;
typedef VigraFalseType isTernaryAnalyser;
};
template <class R, class T>
class FunctorTraits<R (*)(T)>
{
public:
typedef R (*type)(T);
typedef VigraFalseType isInitializer;
typedef VigraTrueType isUnaryFunctor;
typedef VigraFalseType isBinaryFunctor;
typedef VigraFalseType isTernaryFunctor;
typedef VigraFalseType isUnaryAnalyser;
typedef VigraFalseType isBinaryAnalyser;
typedef VigraFalseType isTernaryAnalyser;
};
template <class R, class T1, class T2>
class FunctorTraits<R (*)(T1, T2)>
{
public:
typedef R (*type)(T1, T2);
typedef VigraFalseType isInitializer;
typedef VigraFalseType isUnaryFunctor;
typedef VigraTrueType isBinaryFunctor;
typedef VigraFalseType isTernaryFunctor;
typedef VigraFalseType isUnaryAnalyser;
typedef VigraFalseType isBinaryAnalyser;
typedef VigraFalseType isTernaryAnalyser;
};
template <class R, class T1, class T2, class T3>
class FunctorTraits<R (*)(T1, T2, T3)>
{
public:
typedef R (*type)(T1, T2, T3);
typedef VigraFalseType isInitializer;
typedef VigraFalseType isUnaryFunctor;
typedef VigraFalseType isBinaryFunctor;
typedef VigraTrueType isTernaryFunctor;
typedef VigraFalseType isUnaryAnalyser;
typedef VigraFalseType isBinaryAnalyser;
typedef VigraFalseType isTernaryAnalyser;
};
//@}
} // namespace vigra
#endif // VIGRA_FUNCTORTRAITS_HXX
|