LeakCheck.h File Reference

#include "Prefix.h"
#include "nc_alloc.h"
#include <cstdio>
#include <cassert>
#include <iterator>
#include <iostream>

Include dependency graph for LeakCheck.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Functions
template<class T1 , class T2 >
EH_BEGIN_NAMESPACE ostream &	operator<< (ostream &s, const pair< T1, T2 > &p)
template<class C >
EH_END_NAMESPACE void	CheckInvariant (const C &)
template<class Value , class Operation >
void	WeakCheck (const Value &v, const Operation &op, long max_iters=2000000)
template<class Value , class Operation >
void	ConstCheck (const Value &v, const Operation &op, long max_iters=2000000)
template<class Value , class Operation >
void	StrongCheck (const Value &v, const Operation &op, long max_iters=2000000)

Function Documentation

CheckInvariant()

template<class C >

EH_END_NAMESPACE void CheckInvariant

(

const C &

)

Definition at line 52 of file LeakCheck.h.

{}

Referenced by test_copy_construct< T >::operator()(), test_default_construct< T >::operator()(), test_construct_n< T >::operator()(), test_construct_n_instance< T >::operator()(), test_construct_pointer_range< T >::operator()(), test_construct_iter_range< T >::operator()(), test_construct_iter_range_n< T >::operator()(), StrongCheck(), and WeakCheck().

ConstCheck()

template<class Value , class Operation >

void ConstCheck	(	const Value &	v,
		const Operation &	op,
		long	max_iters = 2000000
	)

Definition at line 103 of file LeakCheck.h.

                                                                               {
  bool succeeded = false;
  bool failed = false;
  gTestController.SetCurrentTestCategory("const");
  for (long count = 0; !succeeded && !failed && count < max_iters; ++count) {
    gTestController.BeginLeakDetection();
    {
#ifndef EH_NO_EXCEPTIONS
      try {
#endif
        gTestController.SetFailureCountdown(count);
        op( v );
        succeeded = true;
#ifndef EH_NO_EXCEPTIONS
      }
      catch(...) {}  // Just try again.
# endif
      gTestController.CancelFailureCountdown();
    }
    failed = gTestController.ReportLeaked();
    EH_ASSERT( !failed );
 
    if ( succeeded )
      gTestController.ReportSuccess(count);
  }
  EH_ASSERT( succeeded || failed );  // Make sure the count hasn't gone over
}

Referenced by test_bit_vector(), test_deque(), test_hash_map(), test_hash_multimap(), test_hash_multiset(), test_hash_set(), test_list(), test_map(), test_multimap(), test_multiset(), test_rope(), test_set(), test_slist(), test_string(), and test_vector().

operator<<()

template<class T1 , class T2 >

EH_BEGIN_NAMESPACE ostream & operator<< ( ostream &  s, const pair< T1, T2 > &  p  )

inline

Definition at line 38 of file LeakCheck.h.

                        {
    return s<<'['<<p.first<<":"<<p.second<<']';
}

StrongCheck()

template<class Value , class Operation >

void StrongCheck	(	const Value &	v,
		const Operation &	op,
		long	max_iters = 2000000
	)

Definition at line 145 of file LeakCheck.h.

                                                                                {
  bool succeeded = false;
  bool failed = false;
  gTestController.SetCurrentTestCategory("strong");
  for ( long count = 0; !succeeded && !failed && count < max_iters; count++ ) {
    gTestController.BeginLeakDetection();
 
    {
      Value dup = v;
      {
#ifndef EH_NO_EXCEPTIONS
        try {
#endif
          gTestController.SetFailureCountdown(count);
          op( dup );
          succeeded = true;
          gTestController.CancelFailureCountdown();
# ifndef EH_NO_EXCEPTIONS
        }
        catch (...) {
          gTestController.CancelFailureCountdown();
          bool unchanged = (dup == v);
          EH_ASSERT( unchanged );
 
          if ( !unchanged ) {
#if 0
            typedef typename Value::value_type value_type;
            EH_STD::ostream_iterator<value_type> o(EH_STD::cerr, " ");
            EH_STD::cerr<<"EH test FAILED:\nStrong guaranee failed !\n";
            EH_STD::copy(dup.begin(), dup.end(), o);
            EH_STD::cerr<<"\nOriginal is:\n";
            EH_STD::copy(v.begin(), v.end(), o);
            EH_STD::cerr<<EH_STD::endl;
#endif
            failed = true;
          }
        }  // Just try again.
# endif
        CheckInvariant(v);
      }
    }
 
    bool leaked = gTestController.ReportLeaked();
    EH_ASSERT( !leaked );
    if ( leaked )
      failed = true;
 
    if ( succeeded )
      gTestController.ReportSuccess(count);
  }
  EH_ASSERT( succeeded || failed );  // Make sure the count hasn't gone over
}

Referenced by test_bit_vector(), test_deque(), test_list(), test_map(), test_multimap(), test_multiset(), test_set(), test_slist(), and test_vector().

WeakCheck()

template<class Value , class Operation >

void WeakCheck	(	const Value &	v,
		const Operation &	op,
		long	max_iters = 2000000
	)

Definition at line 65 of file LeakCheck.h.

                                                                              {
  bool succeeded = false;
  bool failed = false;
  gTestController.SetCurrentTestCategory("weak");
  for (long count = 0; !succeeded && !failed && count < max_iters; ++count) {
    gTestController.BeginLeakDetection();
    {
      Value dup = v;
#ifndef EH_NO_EXCEPTIONS
      try {
#endif
        gTestController.SetFailureCountdown(count);
        op( dup );
        succeeded = true;
#ifndef EH_NO_EXCEPTIONS
      }
      catch (...) {}  // Just try again.
#endif
      gTestController.CancelFailureCountdown();
      CheckInvariant(dup);
    }
    failed = gTestController.ReportLeaked();
    EH_ASSERT( !failed );
 
    if ( succeeded )
      gTestController.ReportSuccess(count);
  }
  EH_ASSERT( succeeded || failed );  // Make sure the count hasn't gone over
}

Referenced by test_algo(), test_algobase(), test_bit_vector(), test_deque(), test_hash_map(), test_hash_multimap(), test_hash_multiset(), test_hash_set(), test_list(), test_map(), test_multimap(), test_multiset(), test_rope(), test_set(), test_slist(), test_string(), and test_vector().