Added most intra-function reflection (statements, expressions, if statements)

Added tests

Added sample code that traverses function bodies including if branches

That's most of it... the main thing to reflect next is loops, and then a few smaller things like using statements and inspect statements

Author: hsutter

include/cpp2regex.h

@@ -82,7 +82,7 @@ template<typename CharT, typename matcher> class regular_expression;
 
 #line 1 "cpp2regex.h2"
 
-//  Copyright 2022-2024 Herb Sutter
+//  Copyright 2022-2025 Herb Sutter
 //  SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
 //  
 //  Part of the Cppfront Project, under the Apache License v2.0 with LLVM Exceptions.

include/cpp2regex.h2

@@ -1,5 +1,5 @@
 
-//  Copyright 2022-2024 Herb Sutter
+//  Copyright 2022-2025 Herb Sutter
 //  SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
 //  
 //  Part of the Cppfront Project, under the Apache License v2.0 with LLVM Exceptions.

include/cpp2util.h

@@ -1,5 +1,5 @@
 
-//  Copyright 2022-2024 Herb Sutter
+//  Copyright 2022-2025 Herb Sutter
 //  SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
 //  
 //  Part of the Cppfront Project, under the Apache License v2.0 with LLVM Exceptions.

regression-tests/pure2-function-body-reflection.cpp2

@@ -0,0 +1,61 @@
+
+test: @sample_traverser type =
+{
+    one_liner: (a: double, b: double, c: double) = (a + c) * b;
+
+    return_list: () 
+        -> (r: double, s: float, t: std::string)
+    = {
+        r = 42.0;
+        s = 2.71828f;
+        t = "e times pi";
+    }
+
+    branches: (a: double, b: double, c: double)
+        -> (r: double = 3.14159)
+    = {
+        if true {
+            r = r + a;
+        }
+
+        if a * b > c {
+            r += sin(b);
+        }
+        else {
+            r = c;
+        }
+    }
+
+    binary_ops: (inout a: double, b: double, c: double)
+    = {
+        a -= b * c + (1 << 2);
+        test: bool = a <= b < c && true || false;
+        x := 1 & 2;
+        y := 3 ^ 4;
+        z := 5 | 6;
+    }
+
+    prefix: () -> int
+    = {
+        a := -1;
+        b := +2;
+        if !true {
+            return 0;
+        }
+        return a+b;
+    }
+
+    postfix: (inout a: double)
+    = {
+        ptr := a&;
+        ptr*++--;
+    }
+
+    qualified_ids: () -> _
+    = {
+        v : std::vector<int> = (1, 2, 3);
+        return v.ssize();
+    }
+}
+
+main: () = { }

regression-tests/test-results/msvc-2022-c++latest/pure2-function-body-reflection.cpp.output

@@ -0,0 +1 @@
+pure2-function-body-reflection.cpp

regression-tests/test-results/pure2-function-body-reflection.cpp

@@ -0,0 +1,131 @@
+
+#define CPP2_IMPORT_STD          Yes
+
+//=== Cpp2 type declarations ====================================================
+
+
+#include "cpp2util.h"
+
+#line 1 "pure2-function-body-reflection.cpp2"
+
+#line 2 "pure2-function-body-reflection.cpp2"
+class test;
+
+
+//=== Cpp2 type definitions and function declarations ===========================
+
+#line 1 "pure2-function-body-reflection.cpp2"
+
+#line 2 "pure2-function-body-reflection.cpp2"
+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 6 "pure2-function-body-reflection.cpp2"
+    public: [[nodiscard]] static auto return_list() -> return_list_ret;
+using branches_ret = double;
+
+
+#line 14 "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 29 "pure2-function-body-reflection.cpp2"
+    public: static auto binary_ops(double& a, cpp2::impl::in<double> b, cpp2::impl::in<double> c) -> void;
+
+#line 38 "pure2-function-body-reflection.cpp2"
+    public: [[nodiscard]] static auto prefix() -> int;
+
+#line 48 "pure2-function-body-reflection.cpp2"
+    public: static auto postfix(double& a) -> void;
+
+#line 54 "pure2-function-body-reflection.cpp2"
+    public: [[nodiscard]] static auto qualified_ids() -> auto;
+    public: test() = default;
+    public: test(test const&) = delete; /* No 'that' constructor, suppress copy */
+    public: auto operator=(test const&) -> void = delete;
+
+
+#line 59 "pure2-function-body-reflection.cpp2"
+};
+
+auto main() -> int;
+
+//=== Cpp2 function definitions =================================================
+
+#line 1 "pure2-function-body-reflection.cpp2"
+
+#line 4 "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 6 "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 9 "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 14 "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 17 "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 29 "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 38 "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 48 "pure2-function-body-reflection.cpp2"
+    auto test::postfix(double& a) -> void
+    {
+        auto ptr {&a}; 
+        --++*cpp2::impl::assert_not_null(cpp2::move(ptr));
+    }
+
+#line 54 "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 61 "pure2-function-body-reflection.cpp2"
+auto main() -> int{}
+