mirror of
https://github.com/boostorg/contract.git
synced 2026-02-27 04:52:22 +00:00
added max_bases test. renamed aux::test to test::aux.
This commit is contained in:
@@ -14,7 +14,7 @@
|
||||
#include <boost/detail/lightweight_test.hpp>
|
||||
#include <sstream>
|
||||
|
||||
boost::contract::aux::test::oteststream out;
|
||||
boost::contract::test::aux::oteststream out;
|
||||
|
||||
template<char Id>
|
||||
struct t
|
||||
@@ -35,11 +35,11 @@ struct t
|
||||
}
|
||||
|
||||
struct l_tag;
|
||||
typedef boost::contract::aux::test::counter<l_tag, int> l_type;
|
||||
typedef boost::contract::test::aux::counter<l_tag, int> l_type;
|
||||
static l_type l;
|
||||
|
||||
struct z_tag;
|
||||
typedef boost::contract::aux::test::counter<z_tag, int> z_type;
|
||||
typedef boost::contract::test::aux::counter<z_tag, int> z_type;
|
||||
|
||||
explicit t(z_type& z) :
|
||||
boost::contract::constructor_precondition<t<Id> >([&] {
|
||||
@@ -97,11 +97,11 @@ struct c
|
||||
}
|
||||
|
||||
struct m_tag;
|
||||
typedef boost::contract::aux::test::counter<m_tag, int> m_type;
|
||||
typedef boost::contract::test::aux::counter<m_tag, int> m_type;
|
||||
static m_type m;
|
||||
|
||||
struct y_tag;
|
||||
typedef boost::contract::aux::test::counter<y_tag, int> y_type;
|
||||
typedef boost::contract::test::aux::counter<y_tag, int> y_type;
|
||||
|
||||
explicit c(y_type& y, t<'d'>::z_type& dz, t<'p'>::z_type& pz,
|
||||
t<'q'>::z_type& qz, t<'e'>::z_type& ez) :
|
||||
@@ -173,11 +173,11 @@ struct a
|
||||
}
|
||||
|
||||
struct n_tag;
|
||||
typedef boost::contract::aux::test::counter<n_tag, int> n_type;
|
||||
typedef boost::contract::test::aux::counter<n_tag, int> n_type;
|
||||
static n_type n;
|
||||
|
||||
struct x_tag;
|
||||
typedef boost::contract::aux::test::counter<x_tag, int> x_type;
|
||||
typedef boost::contract::test::aux::counter<x_tag, int> x_type;
|
||||
|
||||
explicit a(x_type& x, c::y_type& y, t<'d'>::z_type& dz,
|
||||
t<'p'>::z_type& pz, t<'q'>::z_type& qz, t<'e'>::z_type& ez) :
|
||||
|
||||
Reference in New Issue
Block a user