SeqAn3 3.4.0-rc.4
The Modern C++ library for sequence analysis.
All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Modules Pages Concepts
debug_matrix.hpp
Go to the documentation of this file.
1// SPDX-FileCopyrightText: 2006-2025 Knut Reinert & Freie Universität Berlin
2// SPDX-FileCopyrightText: 2016-2025 Knut Reinert & MPI für molekulare Genetik
3// SPDX-License-Identifier: BSD-3-Clause
4
10#pragma once
11
12#include <iomanip>
13#include <sstream>
14
23
24namespace seqan3::detail
25{
26
58template <matrix matrix_t, typename first_sequence_t = std::nullopt_t, typename second_sequence_t = std::nullopt_t>
59class debug_matrix
60{
61protected:
63 static constexpr bool has_first_sequence = !std::is_same_v<std::decay_t<first_sequence_t>, std::nullopt_t>;
65 static constexpr bool has_second_sequence = !std::is_same_v<std::decay_t<second_sequence_t>, std::nullopt_t>;
67 using entry_t = typename std::remove_reference_t<matrix_t>::value_type;
69 static constexpr bool is_traceback_matrix = std::is_same_v<std::decay_t<entry_t>, trace_directions>;
72 static constexpr bool is_optional_score = is_type_specialisation_of_v<entry_t, std::optional>;
73
74public:
81 using reference = value_type;
83 using const_reference = reference;
85 using size_type = typename std::remove_reference_t<matrix_t>::size_type;
87
91 debug_matrix() = default;
92 debug_matrix(debug_matrix const &) = default;
93 debug_matrix(debug_matrix &&) = default;
94 debug_matrix & operator=(debug_matrix const &) = default;
95 debug_matrix & operator=(debug_matrix &&) = default;
96 ~debug_matrix() = default;
97
101 debug_matrix(matrix_t matrix) : debug_matrix(std::forward<matrix_t>(matrix), std::nullopt, std::nullopt)
102 {}
103
109 debug_matrix(matrix_t matrix, first_sequence_t first_sequence, second_sequence_t second_sequence) :
110 _matrix{std::forward<matrix_t>(matrix)},
111 _first_sequence{std::forward<first_sequence_t>(first_sequence)},
112 _second_sequence{std::forward<second_sequence_t>(second_sequence)}
113 {
114 if constexpr (has_first_sequence)
115 {
116 assert(_matrix.cols() <= _first_sequence.size() + 1u);
117 }
118
119 if constexpr (has_second_sequence)
120 {
121 assert(_matrix.rows() <= _second_sequence.size() + 1u);
122 }
123 }
125
127 size_t rows() const noexcept
128 {
129 if (!_transpose)
130 return _rows.value_or(_matrix.rows());
131 else
132 return _cols.value_or(_matrix.cols());
133 }
134
136 size_t cols() const noexcept
137 {
138 if (!_transpose)
139 return _cols.value_or(_matrix.cols());
140 else
141 return _rows.value_or(_matrix.rows());
142 }
143
145 first_sequence_t const & first_sequence() const noexcept
146 {
147 if (!_transpose)
148 return _first_sequence;
149 else
150 return _second_sequence;
151 }
152
154 second_sequence_t const & second_sequence() const noexcept
155 {
156 if (!_transpose)
157 return _second_sequence;
158 else
159 return _first_sequence;
160 }
161
163 const_reference at(matrix_coordinate const & coordinate) const noexcept
164 {
165 size_t row = coordinate.row;
166 size_t col = coordinate.col;
167
168 assert(row < rows() && col < cols());
169
170 row_index_type const _row{!_transpose ? row : col};
171 column_index_type const _col{!_transpose ? col : row};
172 row_index_type const _mask_row{_transpose == _transpose_mask ? row : col};
173 column_index_type const _mask_col{_transpose == _transpose_mask ? col : row};
174
175 if (!_masking_matrix.has_value() || _masking_matrix.value().at({_mask_row, _mask_col}))
176 {
177 entry_t const & entry = _matrix.at({_row, _col});
178
179 if (!is_traceback_matrix || !_transpose)
180 return entry;
181
182 if constexpr (is_traceback_matrix)
183 {
184 trace_directions reverse{};
185 if ((entry & trace_directions::left) == trace_directions::left)
186 reverse |= trace_directions::up;
187 if ((entry & trace_directions::up) == trace_directions::up)
188 reverse |= trace_directions::left;
189 if ((entry & trace_directions::diagonal) == trace_directions::diagonal)
190 reverse |= trace_directions::diagonal;
191 return reverse;
192 }
193 }
194
195 if constexpr (is_traceback_matrix)
196 return trace_directions::none;
197 else
198 return std::nullopt;
199 }
200
207 debug_matrix & mask_matrix(row_wise_matrix<bool> masking_matrix) noexcept
208 {
209 assert(masking_matrix.rows() == rows());
210 assert(masking_matrix.cols() == cols());
211 _transpose_mask = _transpose;
212 _masking_matrix = std::move(masking_matrix);
213 return *this;
214 }
215
220 debug_matrix & mask_matrix(std::vector<bool> masking_vector) noexcept
221 {
222 return mask_matrix(row_wise_matrix<bool>{number_rows{rows()}, number_cols{cols()}, std::move(masking_vector)});
223 }
224
230 debug_matrix & sub_matrix(size_t const new_rows, size_t const new_cols) noexcept
231 {
232 assert(new_rows <= rows());
233 assert(new_cols <= cols());
234 if (!_transpose)
235 {
236 _rows = new_rows;
237 _cols = new_cols;
238 }
239 else
240 {
241 _rows = new_cols;
242 _cols = new_rows;
243 }
244 return *this;
245 }
246
250 debug_matrix & transpose_matrix() noexcept
251 {
252 _transpose = !_transpose;
253 return *this;
254 }
255
256protected:
258 struct format_type; // forward declaration
260
261public:
271 template <typename ostream_t>
272 void stream_matrix(ostream_t & cout, fmtflags2 const flags) const noexcept
273 {
274 format_type const & symbols = (flags & fmtflags2::utf8) == fmtflags2::utf8 ? unicode : csv;
275 size_t const column_width =
276 this->column_width.has_value() ? this->column_width.value() : auto_column_width(flags);
277
278 auto char_first_sequence = [&]([[maybe_unused]] size_t const i) -> std::string
279 {
280 if constexpr (!has_first_sequence)
281 return " ";
282 else
283 return as_string(first_sequence()[i], flags);
284 };
285
286 auto char_second_sequence = [&]([[maybe_unused]] size_t const i) -> std::string
287 {
288 if constexpr (!has_second_sequence)
289 return " ";
290 else
291 return as_string(second_sequence()[i], flags);
292 };
293
294 auto print_cell = [&](std::string const & symbol)
295 {
296 // deal with unicode chars that mess up std::setw
297 size_t const length_bytes = symbol.size();
298 size_t const length = unicode_str_length(symbol);
299 size_t const offset = length_bytes - length;
300
301 cout << std::left << std::setw(column_width + offset) << symbol << symbols.col_sep;
302 };
303
304 auto print_first_cell = [&](std::string const & symbol)
305 {
306 cout << symbol << symbols.col_sep;
307 };
308
309 // |_|d|a|t|a|b|a|s|e|
310 auto print_first_row = [&]
311 {
312 print_first_cell(" ");
313 print_cell(symbols.epsilon);
314
315 for (size_t col = 0; col < cols() - 1; ++col)
316 print_cell(char_first_sequence(col));
317
318 cout << "\n";
319 };
320
321 // |-|-|-|-|-|-|-|-|-|
322 auto print_divider = [&]
323 {
324 cout << " " << symbols.row_col_sep;
325 for (size_t col = 0; col < cols(); ++col)
326 {
327 for (size_t i = 0; i < column_width; ++i)
328 cout << symbols.row_sep;
329
330 cout << symbols.row_col_sep;
331 }
332 cout << "\n";
333 };
334
335 print_first_row();
336 for (size_t row = 0; row < rows(); ++row)
337 {
338 if (symbols.row_sep[0] != '\0')
339 print_divider();
340
341 // one query letter + one row of scores / traces
342 if (row == 0)
343 print_first_cell(symbols.epsilon);
344 else
345 print_first_cell(char_second_sequence(row - 1));
346
347 for (size_t col = 0; col < cols(); ++col)
348 print_cell(entry_at({row_index_type{row}, column_index_type{col}}, flags));
349
350 cout << "\n";
351 }
352 }
353
355 size_t auto_column_width(fmtflags2 const flags) const noexcept
356 {
357 size_t col_width = 1;
358 for (size_t row = 0; row < rows(); ++row)
359 for (size_t col = 0; col < cols(); ++col)
360 col_width =
361 std::max(col_width,
362 unicode_str_length(entry_at({row_index_type{row}, column_index_type{col}}, flags)));
363
364 return col_width;
365 }
366
367protected:
369 std::string entry_at(matrix_coordinate const coordinate, fmtflags2 flags) const noexcept
370 {
371 format_type const & symbols = (flags & fmtflags2::utf8) == fmtflags2::utf8 ? unicode : csv;
372
373 value_type const & entry = at(coordinate);
374 if (!is_traceback_matrix && entry == matrix_inf<value_type>)
375 return symbols.inf;
376
377 return as_string(entry, flags);
378 }
379
381 template <typename value_type>
382 static std::string as_string(value_type && entry, fmtflags2 const flags) noexcept
383 {
384 std::stringstream strstream;
385 debug_stream_type stream{strstream};
386 stream << flags << entry;
387 return strstream.str();
388 }
389
392 static size_t unicode_str_length(std::string const & str) noexcept
393 {
394 size_t length = 0u;
395 for (auto it = str.cbegin(); it < str.cend(); ++it, ++length)
396 {
397 uint8_t v = *it;
398 if ((v & 0b1110'0000) == 0b1100'0000)
399 ++it;
400 else if ((v & 0b1111'0000) == 0b1110'0000)
401 it += 2;
402 else if ((v & 0b1111'1000) == 0b1111'0000)
403 it += 3;
404 }
405 return length;
406 }
407
409 struct format_type
410 {
412 char const * epsilon{};
414 char const * col_sep{};
416 char const * row_sep{};
418 char const * row_col_sep{};
420 char const * inf{};
421 };
422
424 static constexpr format_type csv{" ", ";", "", "", ""};
426 static constexpr format_type unicode{"ε", "║", "═", "╬", "∞"};
427
428public:
430 std::optional<size_t> column_width{std::nullopt};
431
432protected:
434 matrix_t _matrix;
436 first_sequence_t _first_sequence;
438 second_sequence_t _second_sequence;
440 std::optional<size_t> _rows{};
442 std::optional<size_t> _cols{};
444 std::optional<row_wise_matrix<bool>> _masking_matrix{};
446 bool _transpose{};
448 bool _transpose_mask{};
449};
450
456template <matrix matrix_t>
457debug_matrix(matrix_t &&) -> debug_matrix<matrix_t>;
458
461template <matrix matrix_t, typename first_sequence_t, typename second_sequence_t>
462debug_matrix(matrix_t &&,
463 first_sequence_t &&,
464 second_sequence_t &&) -> debug_matrix<matrix_t, first_sequence_t, second_sequence_t>;
466
467} // namespace seqan3::detail
468
469namespace seqan3
470{
471
479template <detail::matrix alignment_matrix_t>
480struct alignment_matrix_printer<alignment_matrix_t>
481{
494 template <typename stream_t, typename arg_t>
495 requires detail::is_type_specialisation_of_v<stream_t, debug_stream_type>
496 constexpr void operator()(stream_t & stream, arg_t && arg) const
497 {
498 print_impl(stream.get_underlying_stream(), stream.flags2(), std::forward<arg_t>(arg));
499 }
500
511 template <typename stream_t, typename arg_t>
512 constexpr void operator()(stream_t & stream, arg_t && arg) const
513 {
514 print_impl(stream, fmtflags2::none, std::forward<arg_t>(arg));
515 }
516
517private:
525 template <typename stream_t, typename arg_t>
526 void print_impl(stream_t & stream, fmtflags2 const flags, arg_t && arg) const
527 {
528 detail::debug_matrix debug{std::forward<arg_t>(arg)};
529
530 debug.stream_matrix(stream, flags);
531 }
532};
533
534} // namespace seqan3
Provides seqan3::debug_stream and related types.
Provides seqan3::debug_stream and related types.
T forward(T... args)
fmtflags2
Flags that change the behaviour of the seqan3::debug_stream.
Definition debug_stream_type.hpp:32
@ utf8
Enables use of non-ASCII UTF8 characters in formatted output.
@ none
No flag is set.
@ offset
Sequence (seqan3::field::seq) relative start position (0-based), unsigned value.
typename decltype(detail::at< idx >(list_t{}))::type at
Return the type at given index from the type list.
Definition type_list/traits.hpp:276
T left(T... args)
Provides seqan3::detail::matrix.
T max(T... args)
The main SeqAn3 namespace.
Definition aligned_sequence_concept.hpp:26
SeqAn specific customisations in the standard namespace.
Provides seqan3::debug_stream and related types.
Provides seqan3::debug_stream and related types.
T reverse(T... args)
Provides seqan3::detail::row_wise_matrix.
T setw(T... args)
T str(T... args)
constexpr void operator()(stream_t &stream, arg_t &&arg) const
Prints the alignment matrix into the given stream using ascii formatting.
Definition debug_matrix.hpp:512
constexpr void operator()(stream_t &stream, arg_t &&arg) const
Prints the alignment matrix into the given stream using formatting specified by seqan3::fmtflags2.
Definition debug_matrix.hpp:496
Definition default_printer.hpp:28
Provides type traits for working with templates.
Provides the declaration of seqan3::detail::trace_directions.
Hide me