2 // Utility subroutines for the C++ library testsuite.
4 // Copyright (C) 2000, 2001, 2002, 2003, 2004 Free Software Foundation, Inc.
6 // This file is part of the GNU ISO C++ Library. This library is free
7 // software; you can redistribute it and/or modify it under the
8 // terms of the GNU General Public License as published by the
9 // Free Software Foundation; either version 2, or (at your option)
12 // This library is distributed in the hope that it will be useful,
13 // but WITHOUT ANY WARRANTY; without even the implied warranty of
14 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 // GNU General Public License for more details.
17 // You should have received a copy of the GNU General Public License along
18 // with this library; see the file COPYING. If not, write to the Free
19 // Software Foundation, 59 Temple Place - Suite 330, Boston, MA 02111-1307,
22 // As a special exception, you may use this file as part of a free software
23 // library without restriction. Specifically, if other files instantiate
24 // templates or use macros or inline functions from this file, or you compile
25 // this file and link it with other files to produce an executable, this
26 // file does not by itself cause the resulting executable to be covered by
27 // the GNU General Public License. This exception does not however
28 // invalidate any other reasons why the executable file might be covered by
29 // the GNU General Public License.
31 // This file provides the following:
33 // 1) VERIFY(), via _GLIBCXX_ASSERT, from Brent Verner <brent@rcfile.org>.
34 // This file is included in the various testsuite programs to provide
35 // #define(able) assert() behavior for debugging/testing. It may be
36 // a suitable location for other furry woodland creatures as well.
38 // 2) set_memory_limits()
39 // set_memory_limits() uses setrlimit() to restrict dynamic memory
40 // allocation. We provide a default memory limit if none is passed by the
41 // calling application. The argument to set_memory_limits() is the
42 // limit in megabytes (a floating-point number). If _GLIBCXX_RES_LIMITS is
43 // not #defined before including this header, then no limiting is attempted.
46 // This is a POD with a static data member, gnu_counting_struct::count,
47 // which starts at zero, increments on instance construction, and decrements
48 // on instance destruction. "assert_count(n)" can be called to VERIFY()
49 // that the count equals N.
51 // 4) copy_tracker, from Stephen M. Webb <stephen@bregmasoft.com>.
52 // A class with nontrivial ctor/dtor that provides the ability to track the
53 // number of copy ctors and dtors, and will throw on demand during copy.
55 // 5) pod_char, pod_int, , abstract character classes and
56 // char_traits specializations for testing instantiations.
58 #ifndef _GLIBCXX_TESTSUITE_HOOKS_H
59 #define _GLIBCXX_TESTSUITE_HOOKS_H
61 #include <bits/c++config.h>
62 #include <bits/functexcept.h>
65 #include <ext/pod_char_traits.h>
66 #ifdef _GLIBCXX_HAVE_SYS_STAT_H
70 #ifdef _GLIBCXX_ASSERT
72 # define VERIFY(fn) assert(fn)
74 # define VERIFY(fn) test &= (fn)
77 #ifdef _GLIBCXX_HAVE_UNISTD_H
85 // All macros are defined in GLIBCXX_CONFIGURE_TESTSUITE and imported
88 // Set memory limits if possible, if not set to 0.
89 #ifndef _GLIBCXX_RES_LIMITS
90 # define MEMLIMIT_MB 0
93 # define MEMLIMIT_MB 16.0
97 set_memory_limits(float __size = MEMLIMIT_MB);
100 set_file_limit(unsigned long __size);
102 // Check mangled name demangles (using __cxa_demangle) as expected.
104 verify_demangle(const char* mangled, const char* wanted);
106 // Simple callback structure for variable numbers of tests (all with
107 // same signature). Assume all unit tests are of the signature
112 typedef void (*test_type) (void);
116 test_type _M_tests[15];
119 operator=(const func_callback&);
121 func_callback(const func_callback&);
124 func_callback(): _M_size(0) { };
127 size() const { return _M_size; }
130 tests() const { return _M_tests; }
133 push_back(test_type test)
135 _M_tests[_M_size] = test;
141 // Run select unit tests after setting global locale.
143 run_tests_wrapped_locale(const char*, const func_callback&);
145 // Run select unit tests after setting environment variables.
147 run_tests_wrapped_env(const char*, const char*, const func_callback&);
149 // Try to create a locale with the given name. If it fails, bail.
151 try_named_locale(const char* name);
154 try_mkfifo (const char* filename, mode_t mode);
163 operator==(const pod_char& lhs, const pod_char& rhs)
164 { return lhs.c == rhs.c; }
177 typedef unsigned short value_type;
178 typedef unsigned int int_type;
179 typedef __gnu_cxx::character<value_type, int_type> pod_type;
185 // Specifically and glaringly-obviously marked 'signed' so that when
186 // COUNT mistakenly goes negative, we can track the patterns of
187 // deletions more easily.
188 typedef signed int size_type;
189 static size_type count;
190 counter() { ++count; }
191 counter (const counter&) { ++count; }
192 ~counter() { --count; }
195 #define assert_count(n) VERIFY(__gnu_test::counter::count == n)
197 // A (static) class for counting copy constructors and possibly throwing an
198 // exception on a desired count.
199 class copy_constructor
203 count() { return count_; }
209 if (count_ == throw_on_)
210 __throw_exception_again "copy constructor exception";
221 throw_on(unsigned int count) { throw_on_ = count; }
224 static unsigned int count_;
225 static unsigned int throw_on_;
228 // A (static) class for counting assignment operator calls and
229 // possibly throwing an exception on a desired count.
230 class assignment_operator
234 count() { return count_; }
240 if (count_ == throw_on_)
241 __throw_exception_again "assignment operator exception";
252 throw_on(unsigned int count) { throw_on_ = count; }
255 static unsigned int count_;
256 static unsigned int throw_on_;
259 // A (static) class for tracking calls to an object's destructor.
264 count() { return _M_count; }
267 mark_call() { _M_count++; }
270 reset() { _M_count = 0; }
273 static unsigned int _M_count;
276 // An class of objects that can be used for validating various
277 // behaviours and guarantees of containers and algorithms defined in
278 // the standard library.
282 // Creates a copy-tracking object with the given ID number. If
283 // "throw_on_copy" is set, an exception will be thrown if an
284 // attempt is made to copy this object.
285 copy_tracker(int id = next_id_--, bool throw_on_copy = false)
286 : id_(id) , throw_on_copy_(throw_on_copy) { }
288 // Copy-constructs the object, marking a call to the copy
289 // constructor and forcing an exception if indicated.
290 copy_tracker(const copy_tracker& rhs)
291 : id_(rhs.id()), throw_on_copy_(rhs.throw_on_copy_)
294 copy_constructor::throw_on(copy_constructor::count() + 1);
295 copy_constructor::mark_call();
298 // Assigns the value of another object to this one, tracking the
299 // number of times this member function has been called and if the
300 // other object is supposed to throw an exception when it is
301 // copied, well, make it so.
303 operator=(const copy_tracker& rhs)
306 if (rhs.throw_on_copy_)
307 assignment_operator::throw_on(assignment_operator::count() + 1);
308 assignment_operator::mark_call();
313 { destructor::mark_call(); }
316 id() const { return id_; }
320 const bool throw_on_copy_;
326 copy_constructor::reset();
327 assignment_operator::reset();
331 // for backwards-compatibility
334 { return copy_constructor::count(); }
336 // for backwards-compatibility
339 { return destructor::count(); }
346 operator==(const copy_tracker& lhs, const copy_tracker& rhs)
347 { return lhs.id() == rhs.id(); }
349 // Class for checking required type conversions, implicit and
350 // explicit for given library data structures.
351 template<typename _Container>
354 typedef typename _Container::const_iterator const_iterator;
356 // Implicit conversion iterator to const_iterator.
357 static const_iterator
358 iterator_to_const_iterator()
361 const_iterator it = v.begin();
362 const_iterator end = v.end();
363 return it == end ? v.end() : it;
366 } // namespace __gnu_test
370 template<class _CharT>
373 // char_traits specialization
375 struct char_traits<__gnu_test::pod_char>
377 typedef __gnu_test::pod_char char_type;
378 typedef __gnu_test::pod_int int_type;
379 typedef __gnu_test::state state_type;
380 typedef fpos<state_type> pos_type;
381 typedef streamoff off_type;
384 assign(char_type& c1, const char_type& c2)
388 eq(const char_type& c1, const char_type& c2)
389 { return c1.c == c2.c; }
392 lt(const char_type& c1, const char_type& c2)
393 { return c1.c < c2.c; }
396 compare(const char_type* s1, const char_type* s2, size_t n)
397 { return memcmp(s1, s2, n); }
400 length(const char_type* s)
401 { return strlen(reinterpret_cast<const char*>(s)); }
403 static const char_type*
404 find(const char_type* s, size_t n, const char_type& a)
405 { return static_cast<const char_type*>(memchr(s, a.c, n)); }
408 move(char_type* s1, const char_type* s2, size_t n)
415 copy(char_type* s1, const char_type* s2, size_t n)
422 assign(char_type* s, size_t n, char_type a)
429 to_char_type(const int_type& c)
432 ret.c = static_cast<unsigned char>(c.i);
437 to_int_type(const char_type& c)
445 eq_int_type(const int_type& c1, const int_type& c2)
446 { return c1.i == c2.i; }
457 not_eof(const int_type& c)
459 if (eq_int_type(c, eof()))
466 #endif // _GLIBCXX_TESTSUITE_HOOKS_H