1 files changed, 56 insertions, 0 deletions
diff --git a/src/boost/libs/contract/test/detail/counter.hpp b/src/boost/libs/contract/test/detail/counter.hpp
new file mode 100644
index 00000000..ab40dfcd
--- /dev/null
+++ b/src/boost/libs/contract/test/detail/counter.hpp
@@ -0,0 +1,56 @@
+
+#ifndef BOOST_CONTRACT_TEST_DETAIL_COUNTER_HPP_
+#define BOOST_CONTRACT_TEST_DETAIL_COUNTER_HPP_
+
+// Copyright (C) 2008-2018 Lorenzo Caminiti
+// Distributed under the Boost Software License, Version 1.0 (see accompanying
+// file LICENSE_1_0.txt or a copy at http://www.boost.org/LICENSE_1_0.txt).
+// See: http://www.boost.org/doc/libs/release/libs/contract/doc/html/index.html
+
+namespace boost { namespace contract { namespace test { namespace detail {
+
+// Helper to count copies and evaluations of type (e.g., for old values).
+template<class Tag, typename T>
+struct counter {
+    T value;
+
+    counter() : value() { ++ctors_; }
+    static unsigned ctors() { return ctors_; }
+
+    ~counter() { ++dtors_; }
+    static unsigned dtors() { return dtors_; }
+
+    /* implicit */ counter(counter const& other) : value(other.value) {
+        ++ctor_copies_;
+        ++ctors_;
+    }
+
+    counter& operator=(counter const& other) {
+        value = other.value;
+        ++op_copies_;
+        return *this;
+    }
+    
+    static unsigned copies() { return ctor_copies_ + op_copies_; }
+
+    static counter const& eval(counter const& me) { ++me.evals_; return me; }
+    static unsigned evals() { return evals_; }
+
+private:
+    static unsigned ctors_; // Total constructions (including copies).
+    static unsigned dtors_;
+    static unsigned ctor_copies_;
+    static unsigned op_copies_;
+    static unsigned evals_;
+};
+
+template<class Tag, typename T> unsigned counter<Tag, T>::ctors_ = 0;
+template<class Tag, typename T> unsigned counter<Tag, T>::dtors_ = 0;
+template<class Tag, typename T> unsigned counter<Tag, T>::ctor_copies_ = 0;
+template<class Tag, typename T> unsigned counter<Tag, T>::op_copies_ = 0;
+template<class Tag, typename T> unsigned counter<Tag, T>::evals_ = 0;
+    
+} } } } // namespace
+
+#endif // #include guard
+