unit test examples reworked

[SVN r32050]

example/est_example2.cpp

@@ -0,0 +1,80 @@
+//  (C) Copyright Gennadiy Rozental 2005.
+//  Distributed under the Boost Software License, Version 1.0.
+//  (See accompanying file LICENSE_1_0.txt or copy at 
+//  http://www.boost.org/LICENSE_1_0.txt)
+
+//  See http://www.boost.org/libs/test for the library home page.
+
+// Boost.Test
+#define BOOST_TEST_MAIN
+#include <boost/test/unit_test.hpp>
+#include <boost/test/exception_safety.hpp>
+#include <boost/test/mock_object.hpp>
+using namespace boost::itest;
+
+// Boost
+#include <boost/bind.hpp>
+
+//____________________________________________________________________________//
+
+// Here is an exampt from simple (incorrect) stack implementation
+
+template<class T>
+class stack {
+public:
+    explicit stack( int init_capacity = 10 )
+    : m_capacity( init_capacity )
+    , m_size( 0 )
+    , m_v( BOOST_ITEST_NEW(T)[m_capacity] )
+    {
+        BOOST_ITEST_SCOPE( stack::stack );
+    }
+    ~stack()
+    {
+        delete[] m_v;
+    }
+
+    void push( T const& element )
+    {
+        BOOST_ITEST_SCOPE( stack::push );
+
+        if( m_size == m_capacity ) {
+            m_capacity *= 2;
+            T* new_buffer = BOOST_ITEST_NEW( T )[m_capacity];
+            for( unsigned i = 0; i < m_size; i++ ) {
+                new_buffer[i] = m_v[i];
+            }
+            delete [] m_v;
+            m_v = new_buffer;
+        }
+        m_v[m_size++] = element;
+    }
+    unsigned size() { return m_size; }
+
+private:
+    unsigned    m_capacity;
+    unsigned    m_size;
+    T*          m_v;
+};
+
+//____________________________________________________________________________//
+
+BOOST_TEST_EXCEPTION_SAFETY( test_stack_push )
+{
+    stack<mock_object<> > st( 2 );
+
+    for( unsigned i = 0; i < 3; ++i ) {
+        try {
+            st.push( simple_mock );
+        }
+        catch( ... ) {
+            // this invariant checks that in case of failed push number of elements doesn't change
+            BOOST_CHECK_EQUAL( i, st.size() );
+            throw;
+        }
+    }
+}
+
+//____________________________________________________________________________//
+
+// EOF