cppfront/regression-tests/test-results/pure2-function-body-reflection.cpp at f085661dc105d63a30ba92f11e324dc36c7439cc · LT2H/cppfront · GitHub

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
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173

#define CPP2_INCLUDE_STD         Yes

//=== Cpp2 type declarations ====================================================


#include "cpp2util.h"

#line 1 "pure2-function-body-reflection.cpp2"

#line 2 "pure2-function-body-reflection.cpp2"
namespace xyzzy {

#line 7 "pure2-function-body-reflection.cpp2"
class test;

#line 81 "pure2-function-body-reflection.cpp2"
}


//=== Cpp2 type definitions and function declarations ===========================

#line 1 "pure2-function-body-reflection.cpp2"

#line 2 "pure2-function-body-reflection.cpp2"
namespace xyzzy {

// This function will be visible as a namespace member while reflecting on xyzzy::test
auto sample_function_before_type() -> void;

class test
 {
    public: [[nodiscard]] static auto one_liner(cpp2::impl::in<double> a, cpp2::impl::in<double> b, cpp2::impl::in<double> c) -> decltype(auto);
struct return_list_ret { double r; float s; std::string t; };


#line 11 "pure2-function-body-reflection.cpp2"
    public: [[nodiscard]] static auto return_list() -> return_list_ret;
using branches_ret = double;


#line 19 "pure2-function-body-reflection.cpp2"
    public: [[nodiscard]] static auto branches(cpp2::impl::in<double> a, cpp2::impl::in<double> b, cpp2::impl::in<double> c) -> branches_ret;

#line 34 "pure2-function-body-reflection.cpp2"
    public: static auto binary_ops(double& a, cpp2::impl::in<double> b, cpp2::impl::in<double> c) -> void;

#line 43 "pure2-function-body-reflection.cpp2"
    public: [[nodiscard]] static auto prefix() -> int;

#line 53 "pure2-function-body-reflection.cpp2"
    public: static auto postfix(double& a) -> void;

#line 59 "pure2-function-body-reflection.cpp2"
    public: [[nodiscard]] static auto qualified_ids() -> auto;

#line 65 "pure2-function-body-reflection.cpp2"
    public: static auto loops() -> void;
    public: test() = default;
    public: test(test const&) = delete; /* No 'that' constructor, suppress copy */
    public: auto operator=(test const&) -> void = delete;


#line 76 "pure2-function-body-reflection.cpp2"
};

// This function will not be visible as a namespace member while reflecting on xyzzy::test
auto sample_function_after_type() -> void;

}

auto main() -> int;

//=== Cpp2 function definitions =================================================

#line 1 "pure2-function-body-reflection.cpp2"

#line 2 "pure2-function-body-reflection.cpp2"
namespace xyzzy {

#line 5 "pure2-function-body-reflection.cpp2"
auto sample_function_before_type() -> void{}

#line 9 "pure2-function-body-reflection.cpp2"
    [[nodiscard]] auto test::one_liner(cpp2::impl::in<double> a, cpp2::impl::in<double> b, cpp2::impl::in<double> c) -> decltype(auto) { return (a + c) * b;  }

#line 11 "pure2-function-body-reflection.cpp2"
    [[nodiscard]] auto test::return_list() -> return_list_ret

    {
            cpp2::impl::deferred_init<double> r;
            cpp2::impl::deferred_init<float> s;
            cpp2::impl::deferred_init<std::string> t;
#line 14 "pure2-function-body-reflection.cpp2"
        r.construct(42.0);
        s.construct(2.71828f);
        t.construct("e times pi");
    return  { std::move(r.value()), std::move(s.value()), std::move(t.value()) }; }

#line 19 "pure2-function-body-reflection.cpp2"
    [[nodiscard]] auto test::branches(cpp2::impl::in<double> a, cpp2::impl::in<double> b, cpp2::impl::in<double> c) -> branches_ret

    {
        double r {3.14159};
#line 22 "pure2-function-body-reflection.cpp2"
        if (true) {
            r = r + a;
        }

        if (cpp2::impl::cmp_greater(a * b,c)) {
            r += sin(b);
        }
        else {
            r = c;
        }return r;
    }

#line 34 "pure2-function-body-reflection.cpp2"
    auto test::binary_ops(double& a, cpp2::impl::in<double> b, cpp2::impl::in<double> c) -> void
    {
        a -= b * c + (1 << 2);
        bool test {[_0 = a, _1 = b, _2 = c]{ return cpp2::impl::cmp_less_eq(_0,_1) && cpp2::impl::cmp_less(_1,_2); }() && true || false};
        auto x {1 & 2};
        auto y {3 ^ 4};
        auto z {5 | 6};
    }

#line 43 "pure2-function-body-reflection.cpp2"
    [[nodiscard]] auto test::prefix() -> int
    {
        auto a {-1};
        auto b {+2};
        if (!(true)) {
            return 0;
        }
        return cpp2::move(a) + cpp2::move(b);
    }

#line 53 "pure2-function-body-reflection.cpp2"
    auto test::postfix(double& a) -> void
    {
        auto ptr {&a};
        --++*cpp2::impl::assert_not_null(cpp2::move(ptr));
    }

#line 59 "pure2-function-body-reflection.cpp2"
    [[nodiscard]] auto test::qualified_ids() -> auto
    {
        std::vector<int> v {1, 2, 3};
        return CPP2_UFCS(ssize)(cpp2::move(v));
    }

#line 65 "pure2-function-body-reflection.cpp2"
    auto test::loops() -> void
    {
        std::vector v {1, 2, 3};

        for ( auto const& value : cpp2::move(v) ) {std::cout << value << "\n"; }

        auto i {0};
        for( ; cpp2::impl::cmp_less(i,3); i += 1 ) {std::cout << i << "\n"; }

        do {std::cout << "plugh\n"; } while ( false);
    }

#line 79 "pure2-function-body-reflection.cpp2"
auto sample_function_after_type() -> void{}

}

#line 83 "pure2-function-body-reflection.cpp2"
auto main() -> int{}