| David Tolnay | 97c7210 | 2020-01-25 16:49:00 -0800 | [diff] [blame] | 1 | #include "tests/ffi/tests.h" |
| David Tolnay | b871577 | 2020-01-28 00:54:05 -0800 | [diff] [blame] | 2 | #include "tests/ffi/lib.rs" |
| David Tolnay | 97c7210 | 2020-01-25 16:49:00 -0800 | [diff] [blame] | 3 | |
| David Tolnay | 2fe58c6 | 2020-03-06 16:23:09 -0800 | [diff] [blame^] | 4 | extern "C" void cxx_test_suite_set_correct() noexcept; |
| 5 | extern "C" tests::R *cxx_test_suite_get_box() noexcept; |
| 6 | extern "C" bool cxx_test_suite_r_is_correct(const tests::R *) noexcept; |
| David Tolnay | 3fd7f56 | 2020-01-26 17:47:11 -0800 | [diff] [blame] | 7 | |
| David Tolnay | 97c7210 | 2020-01-25 16:49:00 -0800 | [diff] [blame] | 8 | namespace tests { |
| 9 | |
| David Tolnay | ad5b8af | 2020-01-26 16:59:13 -0800 | [diff] [blame] | 10 | C::C(size_t n) : n(n) {} |
| 11 | |
| David Tolnay | 3fd7f56 | 2020-01-26 17:47:11 -0800 | [diff] [blame] | 12 | size_t C::get() const { return this->n; } |
| 13 | |
| David Tolnay | b871577 | 2020-01-28 00:54:05 -0800 | [diff] [blame] | 14 | size_t c_return_primitive() { return 2020; } |
| David Tolnay | ad5b8af | 2020-01-26 16:59:13 -0800 | [diff] [blame] | 15 | |
| David Tolnay | b871577 | 2020-01-28 00:54:05 -0800 | [diff] [blame] | 16 | Shared c_return_shared() { return Shared{2020}; } |
| David Tolnay | ad5b8af | 2020-01-26 16:59:13 -0800 | [diff] [blame] | 17 | |
| David Tolnay | be13d8a | 2020-03-06 15:45:39 -0800 | [diff] [blame] | 18 | rust::Box<R> c_return_box() { |
| 19 | return rust::Box<R>::from_raw(cxx_test_suite_get_box()); |
| 20 | } |
| 21 | |
| David Tolnay | ad5b8af | 2020-01-26 16:59:13 -0800 | [diff] [blame] | 22 | std::unique_ptr<C> c_return_unique_ptr() { |
| 23 | return std::unique_ptr<C>(new C{2020}); |
| 24 | } |
| 25 | |
| David Tolnay | b871577 | 2020-01-28 00:54:05 -0800 | [diff] [blame] | 26 | const size_t &c_return_ref(const Shared &shared) { return shared.z; } |
| David Tolnay | ad5b8af | 2020-01-26 16:59:13 -0800 | [diff] [blame] | 27 | |
| David Tolnay | 750755e | 2020-03-01 13:04:08 -0800 | [diff] [blame] | 28 | rust::Str c_return_str(const Shared &shared) { |
| David Tolnay | ad5b8af | 2020-01-26 16:59:13 -0800 | [diff] [blame] | 29 | (void)shared; |
| 30 | return "2020"; |
| 31 | } |
| 32 | |
| David Tolnay | 750755e | 2020-03-01 13:04:08 -0800 | [diff] [blame] | 33 | rust::String c_return_rust_string() { return "2020"; } |
| David Tolnay | ad5b8af | 2020-01-26 16:59:13 -0800 | [diff] [blame] | 34 | |
| 35 | std::unique_ptr<std::string> c_return_unique_ptr_string() { |
| 36 | return std::unique_ptr<std::string>(new std::string("2020")); |
| 37 | } |
| 38 | |
| David Tolnay | 3fd7f56 | 2020-01-26 17:47:11 -0800 | [diff] [blame] | 39 | void c_take_primitive(size_t n) { |
| 40 | if (n == 2020) { |
| 41 | cxx_test_suite_set_correct(); |
| 42 | } |
| 43 | } |
| David Tolnay | ad5b8af | 2020-01-26 16:59:13 -0800 | [diff] [blame] | 44 | |
| David Tolnay | 3fd7f56 | 2020-01-26 17:47:11 -0800 | [diff] [blame] | 45 | void c_take_shared(Shared shared) { |
| 46 | if (shared.z == 2020) { |
| 47 | cxx_test_suite_set_correct(); |
| 48 | } |
| 49 | } |
| David Tolnay | ad5b8af | 2020-01-26 16:59:13 -0800 | [diff] [blame] | 50 | |
| David Tolnay | 750755e | 2020-03-01 13:04:08 -0800 | [diff] [blame] | 51 | void c_take_box(rust::Box<R> r) { |
| David Tolnay | a7d00e8 | 2020-03-06 15:50:14 -0800 | [diff] [blame] | 52 | if (cxx_test_suite_r_is_correct(&*r)) { |
| 53 | cxx_test_suite_set_correct(); |
| 54 | } |
| David Tolnay | 3fd7f56 | 2020-01-26 17:47:11 -0800 | [diff] [blame] | 55 | } |
| David Tolnay | ad5b8af | 2020-01-26 16:59:13 -0800 | [diff] [blame] | 56 | |
| David Tolnay | 3fd7f56 | 2020-01-26 17:47:11 -0800 | [diff] [blame] | 57 | void c_take_unique_ptr(std::unique_ptr<C> c) { |
| 58 | if (c->get() == 2020) { |
| 59 | cxx_test_suite_set_correct(); |
| 60 | } |
| 61 | } |
| David Tolnay | ad5b8af | 2020-01-26 16:59:13 -0800 | [diff] [blame] | 62 | |
| David Tolnay | a7d00e8 | 2020-03-06 15:50:14 -0800 | [diff] [blame] | 63 | void c_take_ref_r(const R &r) { |
| 64 | if (cxx_test_suite_r_is_correct(&r)) { |
| 65 | cxx_test_suite_set_correct(); |
| 66 | } |
| 67 | } |
| David Tolnay | ad5b8af | 2020-01-26 16:59:13 -0800 | [diff] [blame] | 68 | |
| David Tolnay | 3fd7f56 | 2020-01-26 17:47:11 -0800 | [diff] [blame] | 69 | void c_take_ref_c(const C &c) { |
| 70 | if (c.get() == 2020) { |
| 71 | cxx_test_suite_set_correct(); |
| 72 | } |
| 73 | } |
| David Tolnay | ad5b8af | 2020-01-26 16:59:13 -0800 | [diff] [blame] | 74 | |
| David Tolnay | 750755e | 2020-03-01 13:04:08 -0800 | [diff] [blame] | 75 | void c_take_str(rust::Str s) { |
| David Tolnay | 3fd7f56 | 2020-01-26 17:47:11 -0800 | [diff] [blame] | 76 | if (std::string(s) == "2020") { |
| 77 | cxx_test_suite_set_correct(); |
| 78 | } |
| 79 | } |
| David Tolnay | ad5b8af | 2020-01-26 16:59:13 -0800 | [diff] [blame] | 80 | |
| David Tolnay | 750755e | 2020-03-01 13:04:08 -0800 | [diff] [blame] | 81 | void c_take_rust_string(rust::String s) { |
| David Tolnay | 3fd7f56 | 2020-01-26 17:47:11 -0800 | [diff] [blame] | 82 | if (std::string(s) == "2020") { |
| 83 | cxx_test_suite_set_correct(); |
| 84 | } |
| 85 | } |
| David Tolnay | ad5b8af | 2020-01-26 16:59:13 -0800 | [diff] [blame] | 86 | |
| David Tolnay | 3fd7f56 | 2020-01-26 17:47:11 -0800 | [diff] [blame] | 87 | void c_take_unique_ptr_string(std::unique_ptr<std::string> s) { |
| 88 | if (*s == "2020") { |
| 89 | cxx_test_suite_set_correct(); |
| 90 | } |
| 91 | } |
| David Tolnay | ad5b8af | 2020-01-26 16:59:13 -0800 | [diff] [blame] | 92 | |
| David Tolnay | 2fe58c6 | 2020-03-06 16:23:09 -0800 | [diff] [blame^] | 93 | extern "C" C *cxx_test_suite_get_unique_ptr() noexcept { |
| David Tolnay | 4b3a66e | 2020-03-06 16:14:00 -0800 | [diff] [blame] | 94 | return std::unique_ptr<C>(new C{2020}).release(); |
| 95 | } |
| 96 | |
| David Tolnay | f306da4 | 2020-02-22 19:55:43 -0800 | [diff] [blame] | 97 | extern "C" const char *cxx_run_test() noexcept { |
| 98 | #define STRINGIFY(x) #x |
| 99 | #define TOSTRING(x) STRINGIFY(x) |
| 100 | #define ASSERT(x) \ |
| 101 | do { \ |
| 102 | if (!(x)) { \ |
| 103 | return "Assertion failed: `" #x "`, " __FILE__ ":" TOSTRING(__LINE__); \ |
| 104 | } \ |
| 105 | } while (false) |
| 106 | |
| 107 | ASSERT(r_return_primitive() == 2020); |
| 108 | ASSERT(r_return_shared().z == 2020); |
| David Tolnay | 5cd8d61 | 2020-03-06 15:56:30 -0800 | [diff] [blame] | 109 | ASSERT(cxx_test_suite_r_is_correct(&*r_return_box())); |
| David Tolnay | 4b3a66e | 2020-03-06 16:14:00 -0800 | [diff] [blame] | 110 | ASSERT(r_return_unique_ptr()->get() == 2020); |
| David Tolnay | f306da4 | 2020-02-22 19:55:43 -0800 | [diff] [blame] | 111 | ASSERT(r_return_ref(Shared{2020}) == 2020); |
| 112 | ASSERT(std::string(r_return_str(Shared{2020})) == "2020"); |
| 113 | ASSERT(std::string(r_return_rust_string()) == "2020"); |
| 114 | |
| 115 | r_take_primitive(2020); |
| 116 | r_take_shared(Shared{2020}); |
| 117 | r_take_unique_ptr(std::unique_ptr<C>(new C{2020})); |
| 118 | r_take_ref_c(C{2020}); |
| David Tolnay | 750755e | 2020-03-01 13:04:08 -0800 | [diff] [blame] | 119 | r_take_str(rust::Str("2020")); |
| David Tolnay | 40226ab | 2020-03-03 00:05:35 -0800 | [diff] [blame] | 120 | r_take_rust_string(rust::String("2020")); |
| David Tolnay | f306da4 | 2020-02-22 19:55:43 -0800 | [diff] [blame] | 121 | r_take_unique_ptr_string( |
| 122 | std::unique_ptr<std::string>(new std::string("2020"))); |
| 123 | |
| 124 | cxx_test_suite_set_correct(); |
| 125 | return nullptr; |
| 126 | } |
| 127 | |
| David Tolnay | 97c7210 | 2020-01-25 16:49:00 -0800 | [diff] [blame] | 128 | } // namespace tests |