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
121
122
|
// Copyright (C) 2006 Davis E. King (davis@dlib.net)
// License: Boost Software License See LICENSE.txt for the full license.
#include <sstream>
#include <string>
#include <cstdlib>
#include <ctime>
#include <dlib/reference_counter.h>
#include "tester.h"
namespace
{
using namespace test;
using namespace std;
using namespace dlib;
logger dlog("test.reference_counter");
template <
typename ref_counter
>
void reference_counter_test (
)
/*!
requires
- ref_counter is an implementation of reference_counter/reference_counter_kernel_abstract.h
and is instantiated to contain an int
ensures
- runs tests on reference_counter for compliance with the specs
!*/
{
ref_counter a, b, c;
for (long i = 0; i < 10; ++i)
{
print_spinner();
for (long j = 0; j < 10000; ++j)
{
a.modify() = j;
b.modify() = j+1;
c.modify() = j+2;
DLIB_ASSERT(a.access() == j,"");
DLIB_ASSERT(b.access() == j+1,"");
DLIB_ASSERT(c.access() == j+2,"");
DLIB_ASSERT(a.modify() == j,"");
DLIB_ASSERT(b.modify() == j+1,"");
DLIB_ASSERT(c.modify() == j+2,"");
DLIB_ASSERT(a.access() == j,"");
DLIB_ASSERT(b.access() == j+1,"");
DLIB_ASSERT(c.access() == j+2,"");
DLIB_ASSERT(a.modify() == j,"");
DLIB_ASSERT(b.modify() == j+1,"");
DLIB_ASSERT(c.modify() == j+2,"");
a = c;
DLIB_ASSERT(a.access() == j+2,"");
DLIB_ASSERT(b.access() == j+1,"");
DLIB_ASSERT(c.access() == j+2,"");
DLIB_ASSERT(a.modify() == j+2,"");
DLIB_ASSERT(b.modify() == j+1,"");
DLIB_ASSERT(c.modify() == j+2,"");
DLIB_ASSERT(a.access() == j+2,"");
DLIB_ASSERT(b.access() == j+1,"");
DLIB_ASSERT(c.access() == j+2,"");
DLIB_ASSERT(a.modify() == j+2,"");
DLIB_ASSERT(b.modify() == j+1,"");
DLIB_ASSERT(c.modify() == j+2,"");
a = b = c;
DLIB_ASSERT(a.access() == b.access(),"");
DLIB_ASSERT(a.access() == c.access(),"");
DLIB_ASSERT(c.access() == b.access(),"");
a.modify() = j;
DLIB_ASSERT(a.access() == j,"");
DLIB_ASSERT(a.access() != b.access(),"");
DLIB_ASSERT(a.access() != c.access(),"");
DLIB_ASSERT(c.access() == b.access(),"");
DLIB_ASSERT(c.access() == j+2,"");
DLIB_ASSERT(b.access() == j+2,"");
DLIB_ASSERT(a.access() == j,"");
a = a;
DLIB_ASSERT(a.access() == j,"");
c = c;
DLIB_ASSERT(c.access() == j+2,"");
DLIB_ASSERT(b.access() == j+2,"");
swap(a,c);
DLIB_ASSERT(a.access() == j+2,"");
DLIB_ASSERT(c.access() == j,"");
DLIB_ASSERT(b.access() == j+2,"");
}
}
}
class reference_counter_tester : public tester
{
public:
reference_counter_tester (
) :
tester ("test_reference_counter",
"Runs tests on the reference_counter component.")
{}
void perform_test (
)
{
dlog << LINFO << "testing kernel_1a";
reference_counter_test<reference_counter<int>::kernel_1a> ();
}
} a;
}
|
