<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
"http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en">
<head>
<meta name="generator" content=
"HTML Tidy for Linux/x86 (vers 12 April 2005), see www.w3.org" />
<title>Associative-Container Regression Tests</title>
<meta http-equiv="Content-Type" content=
"text/html; charset=us-ascii" />
<base href="http://gcc.gnu.org/viewcvs/*checkout*/trunk/libstdc%2B%2B-v3/testsuite/ext/pb_ds/regression/">
</head>
<body>
<div id="page">
<h1>Associative-Container Regression Tests</h1>
<h2><a name="assoc_desc" id="assoc_desc">Description</a></h2>
<p>The library contains a single comprehensive regression test.
For a given container type in <tt>pb_ds</tt>, the test creates
an object of the container type and an object of the
corresponding STL type (<i>e.g.</i>, <tt>std::set</tt>). It
then performs a random sequence of methods with random
arguments (<i>e.g.</i>, inserts, erases, and so forth) on both
objects. At each operation, the test checks the return value of
the method, and optionally both compares <tt>pb_ds</tt>'s
object with the STL's object as well as performing other
consistency checks on <tt>pb_ds</tt>'s object (<i>e.g.</i>,
order preservation, when applicable, or node invariants, when
applicable).</p>
<p>Additionally, the test integrally checks exception safety
and resource leaks. This is done as follows. A special
allocator type, written for the purpose of the test, both
randomly throws an exceptions when allocations are performed,
and tracks allocations and de-allocations. The exceptions thrown
at allocations simulate memory-allocation failures; the
tracking mechanism checks for memory-related bugs (<i>e.g.</i>,
resource leaks and multiple de-allocations). Both
<tt>pb_ds</tt>'s containers and the containers' value-types are
configured to use this allocator.</p>
<p>Due to compiler constraints, the test is split into the
several sources, each checking only some containers.</p>
<h2><a name="assoc_tests" id="assoc_tests">Tests</a></h2>
<h3><a name="assoc_tests_set" id="assoc_tests_set">"Set"
Tests</a></h3>
<p>The following check all "set" types:</p>
<ol>
<li><a href=
"hash_no_data_map_rand.cc"><tt>hash_no_data_map_rand.cc</tt></a>
checks all hash-based "set" types.</li>
<li><a href=
"list_update_no_data_map_rand.cc"><tt>list_update_no_data_map_rand.cc</tt></a>
checks all list-based "set" types.</li>
<li><a href=
"tree_no_data_map_rand.cc"><tt>tree_no_data_map_rand.cc</tt></a>
checks all tree-based "set" types.</li>
<li><a href=
"trie_no_data_map_rand.cc"><tt>trie_no_data_map_rand.cc</tt></a>
checks all PATRICIA-trie-based "set" types.</li>
</ol>
<h3><a name="assoc_tests_map" id="assoc_tests_map">"Map"
Tests</a></h3>
<p>The following check all "map" types:</p>
<ol>
<li><a href= "hash_data_map_rand.cc"><tt>hash_data_map_rand.cc</tt></a>
checks all hash-based "map" types.</li>
<li><a href= "list_update_data_map_rand.cc"><tt>list_update_data_map_rand.cc</tt></a>
checks all list-based "map" types.</li>
<li><a href= "tree_data_map_rand.cc"><tt>tree_data_map_rand.cc</tt></a>
checks all tree-based "map" types.</li>
<li><a href= "trie_data_map_rand.cc"><tt>trie_data_map_rand.cc</tt></a>
checks all PATRICIA-trie-based "map" types.</li>
</ol>
</div>
</body>
</html>
