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
|
///////////////////////////////////////////////////////////////////////////////
// Unit Test for Loki
//
// Copyright Terje Sletteb and Pavel Vozenilek 2002.
//
// Permission to use, copy, modify, and distribute this software for any
// purpose is hereby granted without fee, provided that this copyright and
// permissions notice appear in all copies and derivatives.
//
// This software is provided "as is" without express or implied warranty.
//
///////////////////////////////////////////////////////////////////////////////
#ifndef TYPEMANIPTEST_H
#define TYPEMANIPTEST_H
// $Id: TypeManipTest.h 760 2006-10-17 20:36:13Z syntheticpp $
#include <loki/TypeManip.h>
#include "UnitTest.h"
///////////////////////////////////////////////////////////////////////////////
// TypeManipTest
///////////////////////////////////////////////////////////////////////////////
class TypeManipTest : public Test
{
public:
TypeManipTest() : Test("TypeManip.h") {}
virtual void execute(TestResult &result)
{
printName(result);
using namespace Loki;
bool r;
r=Int2Type<1>::value==1;
testAssert("Int2Type",r,result);
r=SameType<Type2Type<char>::OriginalType,char>::value;
testAssert("Type2Type",r,result);
r=SameType<Select<true,char,int>::Result,char>::value &&
SameType<Select<false,char,int>::Result,int>::value;
testAssert("Select",r,result);
r=Conversion<char,int>::exists &&
Conversion<char,int>::exists2Way &&
!Conversion<char,int>::sameType &&
Conversion<char,char>::exists &&
Conversion<char,char>::exists2Way &&
Conversion<char,char>::sameType &&
Conversion<void,void>::exists &&
!Conversion<void,char>::exists &&
!Conversion<char,void>::exists &&
Conversion<Derived2,Base>::exists &&
Conversion<Derived1,Base>::exists &&
Conversion<Base,Base>::exists &&
!Conversion<Base,Derived2>::exists &&
!Conversion<Base,Derived1>::exists &&
Conversion<Derived2 *,Base *>::exists &&
Conversion<Derived1 *,Base *>::exists &&
!Conversion<Base *,Derived2 *>::exists &&
!Conversion<Base *,Derived1 *>::exists &&
Conversion<Base *,void *>::exists &&
!Conversion<void *,Base *>::exists;
testAssert("Conversion",r,result);
r=SuperSubclass<Base,Derived1>::value &&
SuperSubclass<Base,Derived2>::value &&
SuperSubclass<Base,Base>::value &&
!SuperSubclass<Derived1,Base>::value &&
!SuperSubclass<Derived2,Base>::value &&
!SuperSubclass<void,Base>::value;
testAssert("SuperSubclass",r,result);
r=SuperSubclassStrict<Base,Derived1>::value &&
SuperSubclassStrict<Base,Derived2>::value &&
!SuperSubclassStrict<Base,Base>::value &&
!SuperSubclassStrict<Derived1,Base>::value &&
!SuperSubclassStrict<Derived2,Base>::value &&
!SuperSubclassStrict<void,Base>::value;
testAssert("SuperSubclassStrict",r,result);
r=LOKI_SUPERSUBCLASS(Base,Derived1) &&
LOKI_SUPERSUBCLASS(Base,Derived2) &&
LOKI_SUPERSUBCLASS(Base,Base) &&
!LOKI_SUPERSUBCLASS(Derived1,Base) &&
!LOKI_SUPERSUBCLASS(Derived2,Base) &&
!LOKI_SUPERSUBCLASS(void,Base);
testAssert("LOKI_SUPERSUBCLASS",r,result);
r=LOKI_SUPERSUBCLASS_STRICT(Base,Derived1) &&
LOKI_SUPERSUBCLASS_STRICT(Base,Derived2) &&
!LOKI_SUPERSUBCLASS_STRICT(Base,Base) &&
!LOKI_SUPERSUBCLASS_STRICT(Derived1,Base) &&
!LOKI_SUPERSUBCLASS_STRICT(Derived2,Base) &&
!LOKI_SUPERSUBCLASS_STRICT(void,Base);
testAssert("LOKI_SUPERSUBCLASS_STRICT",r,result);
std::cout << '\n';
}
private:
struct Base { char c; };
struct Derived1 : Base { char c; };
struct Derived2 : Derived1 { char c; };
} typeManipTest;
#endif
|
