boostorg/fusion
1
0
Fork 1
mirror of https://github.com/boostorg/fusion.git synced 2025-07-16 13:52:24 +02:00
Code Issues Packages Projects Releases Wiki Activity

adds const correctness

Browse Source 
[SVN r38200]
This commit is contained in:
Tobias Schwinger
2007-07-13 15:11:20 +00:00
parent 8ff2dca34a
commit 897a312766
4 changed files with 13 additions and 42 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
test/functional/fused_function_object.cpp
View File

@ -25,8 +25,8 @@ struct test_func
template<typename T> template<typename T>
struct result; struct result;
template<typename B, typename T0, typename T1> template<class Self, typename T0, typename T1>
struct result<test_func<B>(T0, T1)> struct result< Self(T0, T1) >
{ {
typedef int type; typedef int type;
}; };

18
test/functional/invoke_function_object.cpp
View File

@ -41,23 +41,23 @@ struct object_nc : boost::noncopyable {};
struct fobj struct fobj
{ {
// Handle nullary separately to exercise result_of support // Handle nullary separately to exercise result_of support
template<typename T> template <typename Sig>
struct result; struct result;
template<typename T0> template <class Self, typename T0>
struct result<fobj(T0)> struct result< Self(T0) >
{ {
typedef int type; typedef int type;
}; };
template<typename T0, typename T1> template <class Self, typename T0, typename T1>
struct result<fobj(T0, T1)> struct result< Self(T0, T1) >
{ {
typedef int type; typedef int type;
}; };
template<typename T0, typename T1, typename T2> template <class Self, typename T0, typename T1, typename T2>
struct result<fobj(T0, T1, T2)> struct result< Self(T0, T1, T2) >
{ {
typedef int type; typedef int type;
}; };
@ -92,8 +92,8 @@ struct fobj_nc
template <typename T> template <typename T>
struct result; struct result;
template<typename T0> template <class Self, typename T0>
struct result<fobj_nc(T0)> struct result< Self(T0) >
{ {
typedef int type; typedef int type;
}; };

29
test/functional/invoke_procedure.cpp
View File

@ -10,8 +10,6 @@
#include <boost/fusion/functional/invocation/invoke_procedure.hpp> #include <boost/fusion/functional/invocation/invoke_procedure.hpp>
#include <boost/detail/lightweight_test.hpp> #include <boost/detail/lightweight_test.hpp>
#include <boost/fusion/functional/adapter/detail/has_type.hpp>
#include <memory> #include <memory>
#include <boost/noncopyable.hpp> #include <boost/noncopyable.hpp>
@ -249,35 +247,8 @@ void test_sequence(Sequence & seq)
test_sequence_n(seq, mpl::int_<fusion::result_of::size<Sequence>::value>()); test_sequence_n(seq, mpl::int_<fusion::result_of::size<Sequence>::value>());
} }
void result_type_tests()
{
using boost::fusion::detail::has_type;
BOOST_TEST(( has_type<
fusion::result_of::invoke_procedure<int (*)(), fusion::vector0 >
>::value ));
BOOST_TEST(( has_type<
fusion::result_of::invoke_procedure<int (*)(...), fusion::vector1<int> >
>::value ));
BOOST_TEST(( ! has_type<
fusion::result_of::invoke_procedure<int (*)(), fusion::vector1<int> >
>::value ));
BOOST_TEST(( has_type<
fusion::result_of::invoke_procedure<int (members::*)(), fusion::vector1<members*> >
>::value ));
BOOST_TEST(( has_type<
fusion::result_of::invoke_procedure<int (members::*)(...), fusion::vector2<members*,int> >
>::value ));
BOOST_TEST(( ! has_type<
fusion::result_of::invoke_procedure<int (members::*)(), fusion::vector2<members*,int> >
>::value ));
}
int main() int main()
{ {
result_type_tests();
typedef fusion::vector<> vector0; typedef fusion::vector<> vector0;
typedef fusion::vector<element1_type &> vector1; typedef fusion::vector<element1_type &> vector1;
typedef fusion::vector<element1_type &, element2_type> vector2; typedef fusion::vector<element1_type &, element2_type> vector2;

4
test/functional/make_fused_function_object.cpp
View File

@ -30,8 +30,8 @@ struct test_func
}; };
template<typename B, typename T0, typename T1> template<class Self, typename T0, typename T1>
struct result<test_func<B>(T0, T1)> struct result< Self(T0, T1) >
{ {
typedef int type; typedef int type;
}; };