summaryrefslogtreecommitdiffstats
path: root/src/boost/libs/proto/test/protect.cpp
blob: 33b055198c74e9aaa20cd1e2007f10465c90ebfb (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
///////////////////////////////////////////////////////////////////////////////
// protect.hpp
//
//  Copyright 2012 Eric Niebler. 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)

#include <boost/proto/core.hpp>
#include <boost/proto/transform/make.hpp>
#include <boost/type_traits/add_pointer.hpp>
#include <boost/type_traits/remove_pointer.hpp>
#include <boost/test/unit_test.hpp>
namespace proto=boost::proto;
using proto::_;

template<typename T>
struct identity
{
    typedef T type;
};

struct TestWithMake
  : proto::make< proto::protect<_> >
{};

struct TestWithMake1
  : proto::make< identity<proto::protect<_> > >
{};

struct TestWithMake2
  : proto::make< identity<proto::protect<int> > >
{};

struct TestWithMake3
  : proto::make< identity<proto::protect<identity<_> > > >
{};

struct TestWithMake4
  : proto::make< identity<proto::protect<identity<int> > > >
{};

struct TestWithMake5
  : proto::make< identity<proto::protect<identity<identity<int> > > > >
{};

void test_protect_with_make()
{
    proto::terminal<int>::type i = {42};

    _ t = TestWithMake()(i);
    _ t1 = TestWithMake1()(i);
    int t2 = TestWithMake2()(i);
    identity<_> t3 = TestWithMake3()(i);
    identity<int> t4 = TestWithMake4()(i);
    identity<identity<int> > t5 = TestWithMake5()(i);
}

//struct TestWithWhen
//  : proto::when<_, proto::protect<_>() >
//{};

struct TestWithWhen1
  : proto::when<_, identity<proto::protect<_> >() >
{};

struct TestWithWhen2
  : proto::when<_, identity<proto::protect<int> >() >
{};

struct TestWithWhen3
  : proto::when<_, identity<proto::protect<identity<_> > >() >
{};

struct TestWithWhen4
  : proto::when<_, identity<proto::protect<identity<int> > >() >
{};

struct TestWithWhen5
  : proto::when<_, identity<proto::protect<identity<identity<int> > > >() >
{};

void test_protect_with_when()
{
    proto::terminal<int>::type i = {42};

    //_ t = TestWithWhen()(i);
    _ t1 = TestWithWhen1()(i);
    int t2 = TestWithWhen2()(i);
    identity<_> t3 = TestWithWhen3()(i);
    identity<int> t4 = TestWithWhen4()(i);
    identity<identity<int> > t5 = TestWithWhen5()(i);
}

using namespace boost::unit_test;
///////////////////////////////////////////////////////////////////////////////
// init_unit_test_suite
//
test_suite* init_unit_test_suite( int argc, char* argv[] )
{
    test_suite *test = BOOST_TEST_SUITE("test proto::protect");

    test->add(BOOST_TEST_CASE(&test_protect_with_make));
    test->add(BOOST_TEST_CASE(&test_protect_with_when));

    return test;
}