|
6 | 6 | #ifndef LIBCYPHAL_VERIFICATION_UTILITIES_HPP_INCLUDED |
7 | 7 | #define LIBCYPHAL_VERIFICATION_UTILITIES_HPP_INCLUDED |
8 | 8 |
|
| 9 | +#include <libcyphal/transport/types.hpp> |
| 10 | + |
9 | 11 | #include <cetl/pf17/cetlpf.hpp> |
10 | 12 | #include <cetl/pf20/cetlpf.hpp> |
11 | 13 |
|
@@ -45,20 +47,20 @@ std::array<cetl::byte, N> makeIotaArray(const cetl::byte init) |
45 | 47 | } |
46 | 48 |
|
47 | 49 | template <std::size_t N> |
48 | | -std::array<cetl::span<const cetl::byte>, 1> makeSpansFrom(const std::array<cetl::byte, N>& payload) |
| 50 | +std::array<transport::PayloadFragment, 1> makeSpansFrom(const std::array<cetl::byte, N>& payload) |
49 | 51 | { |
50 | 52 | return {payload}; |
51 | 53 | } |
52 | 54 |
|
53 | 55 | template <std::size_t N1, std::size_t N2> |
54 | | -std::array<cetl::span<const cetl::byte>, 2> makeSpansFrom(const std::array<cetl::byte, N1>& payload1, |
| 56 | +std::array<transport::PayloadFragment, 2> makeSpansFrom(const std::array<cetl::byte, N1>& payload1, |
55 | 57 | const std::array<cetl::byte, N2>& payload2) |
56 | 58 | { |
57 | 59 | return {payload1, payload2}; |
58 | 60 | } |
59 | 61 |
|
60 | 62 | template <typename T> |
61 | | -static bool tryDeserialize(T& obj, const cetl::span<const cetl::span<const cetl::byte>> fragments) |
| 63 | +static bool tryDeserialize(T& obj, const transport::PayloadFragments fragments) |
62 | 64 | { |
63 | 65 | std::vector<cetl::byte> bytes; |
64 | 66 | for (const auto& fragment : fragments) |
|
0 commit comments