Library of Assembled Shared Sources
meta_common.h
Go to the documentation of this file.
1/** @file
2 * @author Bram de Greve (bram@cocamware.com)
3 * @author Tom De Muer (tom@cocamware.com)
4 *
5 * *** BEGIN LICENSE INFORMATION ***
6 *
7 * The contents of this file are subject to the Common Public Attribution License
8 * Version 1.0 (the "License"); you may not use this file except in compliance with
9 * the License. You may obtain a copy of the License at
10 * http://lass.sourceforge.net/cpal-license. The License is based on the
11 * Mozilla Public License Version 1.1 but Sections 14 and 15 have been added to cover
12 * use of software over a computer network and provide for limited attribution for
13 * the Original Developer. In addition, Exhibit A has been modified to be consistent
14 * with Exhibit B.
15 *
16 * Software distributed under the License is distributed on an "AS IS" basis, WITHOUT
17 * WARRANTY OF ANY KIND, either express or implied. See the License for the specific
18 * language governing rights and limitations under the License.
19 *
20 * The Original Code is LASS - Library of Assembled Shared Sources.
21 *
22 * The Initial Developer of the Original Code is Bram de Greve and Tom De Muer.
23 * The Original Developer is the Initial Developer.
24 *
25 * All portions of the code written by the Initial Developer are:
26 * Copyright (C) 2004-2011 the Initial Developer.
27 * All Rights Reserved.
28 *
29 * Contributor(s):
30 *
31 * Alternatively, the contents of this file may be used under the terms of the
32 * GNU General Public License Version 2 or later (the GPL), in which case the
33 * provisions of GPL are applicable instead of those above. If you wish to allow use
34 * of your version of this file only under the terms of the GPL and not to allow
35 * others to use your version of this file under the CPAL, indicate your decision by
36 * deleting the provisions above and replace them with the notice and other
37 * provisions required by the GPL License. If you do not delete the provisions above,
38 * a recipient may use your version of this file under either the CPAL or the GPL.
39 *
40 * *** END LICENSE INFORMATION ***
41 */
42
43
44
45/** @namespace lass::meta
46 * @brief library for template meta programming
47 *
48 * This library (and namespace) contains tools for meta programming.
49 *
50 * @section overview
51 *
52 * This library obeys the grand rules of lass' code style. Types start with a capital, values
53 * don't. They do so regardless if the type is in fact a meta value, a meta type or a meta
54 * function. And that's a good thing. That way Bool, True, False, If, ... start with a capital
55 * so they can exists in peace next to @c bool, @c true, @c false, @c if ... .
56 *
57 * @subsection meta-constants
58 *
59 * - True
60 * - False
61 *
62 * @subsection meta-types
63 *
64 * - NullType: the @e i'm-not-a-type type.
65 * - TypeList: A meta container of types
66 *
67 * @subsection meta-functions
68 *
69 * The result of a meta function can be a type or a value. The former will be presented by
70 * a @c typedef called @c Type. The latter will be an @c enum called @c value. Again, style
71 * rules are obeyed: types start with a capital, values don't.
72 *
73 * @code
74 * typedef typename AMetaFunctionReturningAType<Foo, Bar>::Type Type;
75 * enum { value = AMetaFunctionReturningAValue<Fun, Spam>::value };
76 * @endcode
77 *
78 * - Bool: converts a @c bool value the the meta constants True and False.
79 * - If: executes one of two metafunctions based on the value of a compile time @c bool.
80 * - Int2Type: converts an integral value to a type.
81 * - IsConvertible: evaluates true if one type is convertible to another.
82 * - IsDerived: evaluates true if one type is derived from (or equal to) another.
83 * - IsDerivedTypeStruct: evaluates true if one type is derived from another and is not the same.
84 * - IsIntegral: evaluates true if a type is a standard integral type.
85 * - IsSame: evaluates true if two types are identical.
86 * - Select: selects one of two types based on a compile time @c bool.
87 * - Wrap: converts a type to a unique empty type.
88 *
89 * @subscection traits
90 *
91 * - TypeTraits: compile time information and operations on a single type
92 *
93 * @subsection macros
94 *
95 * - @ref LASS_META_ASSERT: compile time assert
96 *
97 * @note Currently, this libary is headers only. This means no static library needs to be
98 * build. Hence, the meta project is skipped by the build and the automatic link
99 * to the lib is commented. [BdG]
100 */
101
102#ifndef LASS_GUARDIAN_OF_INCLUSION_META_META_COMMON_H
103#define LASS_GUARDIAN_OF_INCLUSION_META_META_COMMON_H
104
105#include "../lass_common.h"
106
107#endif
108
109// EOF