<!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" />
  </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=
      "../../../../testsuite/ext/pb_ds/regression/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=
      "../../../../testsuite/ext/pb_ds/regression/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=
      "../../../../testsuite/ext/pb_ds/regression/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=
      "../../../../testsuite/ext/pb_ds/regression/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=
      "../../../../testsuite/ext/pb_ds/regression/hash_data_map_rand.cc"><tt>hash_data_map_rand.cc</tt></a>
      checks all hash-based "map" types.</li>

      <li><a href=
      "../../../../testsuite/ext/pb_ds/regression/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=
      "../../../../testsuite/ext/pb_ds/regression/tree_data_map_rand.cc"><tt>tree_data_map_rand.cc</tt></a>
      checks all tree-based "map" types.</li>

      <li><a href=
      "../../../../testsuite/ext/pb_ds/regression/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>