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
|
/*
# Copyright (c) 2009 - OpenSLX Project, Computer Center University of Freiburg
#
# This program is free software distributed under the GPL version 2.
# See http://openslx.org/COPYING
#
# If you have any feedback please consult http://openslx.org/feedback and
# send your suggestions, praise, or complaints to feedback@openslx.org
#
# General information about OpenSLX can be found at http://openslx.org/
# --------------------------------------------------------------------------
# detail/typeList.h:
# - Compile-time metaprogramming facilities: Type Lists and Member Check
# --------------------------------------------------------------------------
*/
#ifndef TYPELIST_H_
#define TYPELIST_H_
namespace input_policy
{
namespace detail
{
/////////////////////////////////////////////////////////////////////////
// TypeList, Contains, EmptyList:
// This class is autogenerated by gen/gen_typeList.cpp
/////////////////////////////////////////////////////////////////////////
#include "typeList_autogen.h"
/////////////////////////////////////////////////////////////////////////
// Type-level functions that do not need to be autogenerated as they
// do not depend on the maximum number of entries:
//
// ForAnyInTypeList<Predicate, List>::value == true
// if there is any entry E in List for which
// Predicate::apply<E>::value == true
/////////////////////////////////////////////////////////////////////////
template<typename Predicate, typename List>
struct ForAnyInTypeList
{
static const bool value =
Predicate::template apply<typename List::head>::value ||
ForAnyInTypeList<Predicate, typename List::tail>::value;
};
template<typename Predicate>
struct ForAnyInTypeList<Predicate, EmptyList>
{
static const bool value = false;
};
/////////////////////////////////////////////////////////////////////////
// ForAllInTypeList<Predicate, List>::value == true
// if there is not any entry E in List for which
// Predicate::apply<E>::value == false
/////////////////////////////////////////////////////////////////////////
template<typename Predicate, typename List>
struct ForAllInTypeList
{
static const bool value =
Predicate::template apply<typename List::head>::value &&
ForAllInTypeList<Predicate, typename List::tail>::value;
};
template<typename Predicate>
struct ForAllInTypeList<Predicate, EmptyList>
{
static const bool value = true;
};
}
}
#endif /* TYPELIST_H_ */
|
