00001 /*===========================================================================*\ 00002 * * 00003 * OpenMesh * 00004 * Copyright (C) 2001-2010 by Computer Graphics Group, RWTH Aachen * 00005 * www.openmesh.org * 00006 * * 00007 *---------------------------------------------------------------------------* 00008 * This file is part of OpenMesh. * 00009 * * 00010 * OpenMesh is free software: you can redistribute it and/or modify * 00011 * it under the terms of the GNU Lesser General Public License as * 00012 * published by the Free Software Foundation, either version 3 of * 00013 * the License, or (at your option) any later version with the * 00014 * following exceptions: * 00015 * * 00016 * If other files instantiate templates or use macros * 00017 * or inline functions from this file, or you compile this file and * 00018 * link it with other files to produce an executable, this file does * 00019 * not by itself cause the resulting executable to be covered by the * 00020 * GNU Lesser General Public License. This exception does not however * 00021 * invalidate any other reasons why the executable file might be * 00022 * covered by the GNU Lesser General Public License. * 00023 * * 00024 * OpenMesh is distributed in the hope that it will be useful, * 00025 * but WITHOUT ANY WARRANTY; without even the implied warranty of * 00026 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the * 00027 * GNU Lesser General Public License for more details. * 00028 * * 00029 * You should have received a copy of the GNU LesserGeneral Public * 00030 * License along with OpenMesh. If not, * 00031 * see <http://www.gnu.org/licenses/>. * 00032 * * 00033 \*===========================================================================*/ 00034 00035 /*===========================================================================*\ 00036 * * 00037 * $Revision: 325 $ * 00038 * $Date: 2010-06-17 12:45:58 +0200 (Do, 17 Jun 2010) $ * 00039 * * 00040 \*===========================================================================*/ 00041 00042 00043 //============================================================================= 00044 // 00045 // Utils for generic/generative programming 00046 // 00047 //============================================================================= 00048 00049 #ifndef OPENMESH_GENPROG_HH 00050 #define OPENMESH_GENPROG_HH 00051 00052 00053 //== INCLUDES ================================================================= 00054 00055 #include <OpenMesh/Core/System/config.h> 00056 00057 00058 //== NAMESPACES =============================================================== 00059 00060 namespace OpenMesh { 00061 00062 namespace GenProg { 00063 #ifndef DOXY_IGNORE_THIS 00064 00065 //== IMPLEMENTATION =========================================================== 00066 00067 00069 template <bool b> struct Bool2Type { enum { my_bool = b }; }; 00070 00072 template <int i> struct Int2Type { enum { my_int = i }; }; 00073 00075 typedef Bool2Type<true> True; 00076 00078 typedef Bool2Type<false> False; 00079 00080 //----------------------------------------------------------------------------- 00082 template <bool Expr> struct AssertCompile; 00083 template <> struct AssertCompile<true> {}; 00084 00085 00086 00087 //--- Template "if" w/ partial specialization --------------------------------- 00088 #if OM_PARTIAL_SPECIALIZATION 00089 00090 00091 template <bool condition, class Then, class Else> 00092 struct IF { typedef Then Result; }; 00093 00099 template <class Then, class Else> 00100 struct IF<false, Then, Else> { typedef Else Result; }; 00101 00102 00103 00104 00105 00106 //--- Template "if" w/o partial specialization -------------------------------- 00107 #else 00108 00109 00110 struct SelectThen 00111 { 00112 template <class Then, class Else> struct Select { 00113 typedef Then Result; 00114 }; 00115 }; 00116 00117 struct SelectElse 00118 { 00119 template <class Then, class Else> struct Select { 00120 typedef Else Result; 00121 }; 00122 }; 00123 00124 template <bool condition> struct ChooseSelector { 00125 typedef SelectThen Result; 00126 }; 00127 00128 template <> struct ChooseSelector<false> { 00129 typedef SelectElse Result; 00130 }; 00131 00132 00139 template <bool condition, class Then, class Else> 00140 class IF 00141 { 00142 typedef typename ChooseSelector<condition>::Result Selector; 00143 public: 00144 typedef typename Selector::template Select<Then, Else>::Result Result; 00145 }; 00146 00147 #endif 00148 00149 //============================================================================= 00150 #endif 00151 } // namespace GenProg 00152 } // namespace OpenMesh 00153 00154 #define assert_compile(EXPR) GenProg::AssertCompile<(EXPR)>(); 00155 00156 //============================================================================= 00157 #endif // OPENMESH_GENPROG_HH defined 00158 //=============================================================================