library of assembled shared sources

http://lass.cocamware.com

meta_common.h

Go to the documentation of this file.
00001 /** @file
00002  *  @author Bram de Greve (bramz@users.sourceforge.net)
00003  *  @author Tom De Muer (tomdemuer@users.sourceforge.net)
00004  *
00005  *  *** BEGIN LICENSE INFORMATION ***
00006  *  
00007  *  The contents of this file are subject to the Common Public Attribution License 
00008  *  Version 1.0 (the "License"); you may not use this file except in compliance with 
00009  *  the License. You may obtain a copy of the License at 
00010  *  http://lass.sourceforge.net/cpal-license. The License is based on the 
00011  *  Mozilla Public License Version 1.1 but Sections 14 and 15 have been added to cover 
00012  *  use of software over a computer network and provide for limited attribution for 
00013  *  the Original Developer. In addition, Exhibit A has been modified to be consistent 
00014  *  with Exhibit B.
00015  *  
00016  *  Software distributed under the License is distributed on an "AS IS" basis, WITHOUT 
00017  *  WARRANTY OF ANY KIND, either express or implied. See the License for the specific 
00018  *  language governing rights and limitations under the License.
00019  *  
00020  *  The Original Code is LASS - Library of Assembled Shared Sources.
00021  *  
00022  *  The Initial Developer of the Original Code is Bram de Greve and Tom De Muer.
00023  *  The Original Developer is the Initial Developer.
00024  *  
00025  *  All portions of the code written by the Initial Developer are:
00026  *  Copyright (C) 2004-2007 the Initial Developer.
00027  *  All Rights Reserved.
00028  *  
00029  *  Contributor(s):
00030  *
00031  *  Alternatively, the contents of this file may be used under the terms of the 
00032  *  GNU General Public License Version 2 or later (the GPL), in which case the 
00033  *  provisions of GPL are applicable instead of those above.  If you wish to allow use
00034  *  of your version of this file only under the terms of the GPL and not to allow 
00035  *  others to use your version of this file under the CPAL, indicate your decision by 
00036  *  deleting the provisions above and replace them with the notice and other 
00037  *  provisions required by the GPL License. If you do not delete the provisions above,
00038  *  a recipient may use your version of this file under either the CPAL or the GPL.
00039  *  
00040  *  *** END LICENSE INFORMATION ***
00041  */
00042 
00043 
00044 
00045 /** @namespace lass::meta
00046  *  @brief library for template meta programming
00047  *
00048  *  This library (and namespace) contains tools for meta programming.
00049  *
00050  *  @section overview
00051  *
00052  *  This library obeys the grand rules of lass' code style.  Types start with a capital, values
00053  *  don't.  They do so regardless if the type is in fact a meta value, a meta type or a meta
00054  *  function.  And that's a good thing.  That way Bool, True, False, If, ... start with a capital
00055  *  so they can exists in peace next to @c bool, @c true, @c false, @c if ... .
00056  *
00057  *  @subsection meta-constants
00058  *
00059  *  - True
00060  *  - False
00061  *
00062  *  @subsection meta-types
00063  *
00064  *  - NullType: the @e i'm-not-a-type type.
00065  *  - TypeList: A meta container of types
00066  *
00067  *  @subsection meta-functions
00068  *
00069  *  The result of a meta function can be a type or a value.  The former will be presented by
00070  *  a @c typedef called @c Type.  The latter will be an @c enum called @c value.  Again, style
00071  *  rules are obeyed: types start with a capital, values don't.
00072  *
00073  *  @code
00074  *  typedef typename AMetaFunctionReturningAType<Foo, Bar>::Type Type;
00075  *  enum { value = AMetaFunctionReturningAValue<Fun, Spam>::value };
00076  *  @endcode
00077  *
00078  *  - Bool: converts a @c bool value the the meta constants True and False.
00079  *  - If: executes one of two metafunctions based on the value of a compile time @c bool.
00080  *  - Int2Type: converts an integral value to a type.
00081  *  - IsConvertible: evaluates true if one type is convertible to another.
00082  *  - IsDerived: evaluates true if one type is derived from (or equal to) another.
00083  *  - IsDerivedTypeStruct: evaluates true if one type is derived from another and is not the same.
00084  *  - IsIntegral: evaluates true if a type is a standard integral type.
00085  *  - IsSame: evaluates true if two types are identical.
00086  *  - Select: selects one of two types based on a compile time @c bool.
00087  *  - Wrap: converts a type to a unique empty type.
00088  *
00089  *  @subscection traits
00090  *
00091  *  - TypeTraits: compile time information and operations on a single type
00092  *
00093  *  @subsection macros
00094  *
00095  *  - @ref LASS_META_ASSERT: compile time assert
00096  *
00097  *  @note Currently, this libary is headers only.  This means no static library needs to be
00098  *        build.  Hence, the meta project is skipped by the build and the automatic link
00099  *        to the lib is commented. [BdG]
00100  */
00101 
00102 #ifndef LASS_GUARDIAN_OF_INCLUSION_META_META_COMMON_H
00103 #define LASS_GUARDIAN_OF_INCLUSION_META_META_COMMON_H
00104 
00105 #include "../lass_common.h"
00106 
00107 #endif
00108 
00109 // EOF

Generated on Mon Nov 10 14:20:31 2008 for Library of Assembled Shared Sources by doxygen 1.5.7.1
SourceForge.net Logo