| Line | Branch | Exec | Source |
|---|---|---|---|
| 1 | // SPDX-FileCopyrightText: 2022-2023 Dennis Gläser <dennis.glaeser@iws.uni-stuttgart.de> | ||
| 2 | // SPDX-License-Identifier: MIT | ||
| 3 | /*! | ||
| 4 | * \file | ||
| 5 | * \ingroup Common | ||
| 6 | * \copydoc GridFormat::Field | ||
| 7 | */ | ||
| 8 | #ifndef GRIDFORMAT_COMMON_FIELD_HPP_ | ||
| 9 | #define GRIDFORMAT_COMMON_FIELD_HPP_ | ||
| 10 | |||
| 11 | #include <memory> | ||
| 12 | #include <cstddef> | ||
| 13 | #include <concepts> | ||
| 14 | #include <type_traits> | ||
| 15 | #include <utility> | ||
| 16 | #include <ranges> | ||
| 17 | #include <cmath> | ||
| 18 | #include <string> | ||
| 19 | |||
| 20 | #include <gridformat/common/md_layout.hpp> | ||
| 21 | #include <gridformat/common/precision.hpp> | ||
| 22 | #include <gridformat/common/serialization.hpp> | ||
| 23 | #include <gridformat/common/type_traits.hpp> | ||
| 24 | #include <gridformat/common/exceptions.hpp> | ||
| 25 | #include <gridformat/common/concepts.hpp> | ||
| 26 | #include <gridformat/common/ranges.hpp> | ||
| 27 | |||
| 28 | namespace GridFormat { | ||
| 29 | |||
| 30 | //! \addtogroup Common | ||
| 31 | //! \{ | ||
| 32 | |||
| 33 | /*! | ||
| 34 | * \brief Abstract interface for fields of values that is used by writers/readers to store fields. | ||
| 35 | * \details Allows you to obtain information on the layout of the field, the precision of its value type, | ||
| 36 | * and to retrieve its values in serialized form or to export them into containers. | ||
| 37 | */ | ||
| 38 | class Field { | ||
| 39 | public: | ||
| 40 | //! Can be used as a flag to disable resizing upon export (e.g. to write to the beginning of larger range) | ||
| 41 | static constexpr struct DisableResize {} no_resize{}; | ||
| 42 | |||
| 43 | 673112 | virtual ~Field() = default; | |
| 44 | |||
| 45 | 173423 | Field() = default; | |
| 46 | 163130 | Field(Field&&) = default; | |
| 47 | Field(const Field&) = delete; | ||
| 48 | Field& operator=(Field&&) = default; | ||
| 49 | Field& operator=(const Field&) = delete; | ||
| 50 | |||
| 51 | //! Return the layout of this field | ||
| 52 | 1148497 | MDLayout layout() const { | |
| 53 | 1148497 | return _layout(); | |
| 54 | } | ||
| 55 | |||
| 56 | //! Return the precision of the scalar field values | ||
| 57 | 636759 | DynamicPrecision precision() const { | |
| 58 | 636759 | return _precision(); | |
| 59 | } | ||
| 60 | |||
| 61 | //! Return the size of all field values in serialized form | ||
| 62 | 222934 | std::size_t size_in_bytes() const { | |
| 63 |
4/8✓ Branch 1 taken 222934 times.
✗ Branch 2 not taken.
✓ Branch 4 taken 222934 times.
✗ Branch 5 not taken.
✓ Branch 7 taken 222934 times.
✗ Branch 8 not taken.
✓ Branch 10 taken 222934 times.
✗ Branch 11 not taken.
|
222934 | return layout().number_of_entries()*precision().size_in_bytes(); |
| 64 | } | ||
| 65 | |||
| 66 | //! Return the field values in serialized form | ||
| 67 | 199651 | Serialization serialized() const { | |
| 68 | 199651 | auto result = _serialized(); | |
| 69 |
3/4✓ Branch 2 taken 199651 times.
✗ Branch 3 not taken.
✓ Branch 4 taken 1 times.
✓ Branch 5 taken 199650 times.
|
199651 | if (result.size() != size_in_bytes()) |
| 70 |
1/2✓ Branch 3 taken 1 times.
✗ Branch 4 not taken.
|
1 | throw SizeError("Serialized size does not match expected number of bytes"); |
| 71 | 199650 | return result; | |
| 72 | 1 | } | |
| 73 | |||
| 74 | //! Visit the scalar values of the field in the form of an std::span | ||
| 75 | template<typename Visitor> | ||
| 76 | 153489 | decltype(auto) visit_field_values(Visitor&& visitor) const { | |
| 77 |
2/4✓ Branch 1 taken 76791 times.
✗ Branch 2 not taken.
✓ Branch 4 taken 76791 times.
✗ Branch 5 not taken.
|
230379 | return precision().visit([&] <typename T> (const Precision<T>&) { |
| 78 |
97/336✗ Branch 1 not taken.
✗ Branch 2 not taken.
✓ Branch 4 taken 2831 times.
✗ Branch 5 not taken.
✓ Branch 7 taken 232 times.
✗ Branch 8 not taken.
✗ Branch 10 not taken.
✗ Branch 11 not taken.
✗ Branch 13 not taken.
✗ Branch 14 not taken.
✓ Branch 16 taken 40 times.
✗ Branch 17 not taken.
✗ Branch 19 not taken.
✗ Branch 20 not taken.
✓ Branch 22 taken 910 times.
✗ Branch 23 not taken.
✗ Branch 25 not taken.
✗ Branch 26 not taken.
✓ Branch 28 taken 128 times.
✗ Branch 29 not taken.
✓ Branch 31 taken 6624 times.
✗ Branch 32 not taken.
✓ Branch 34 taken 1 times.
✗ Branch 35 not taken.
✓ Branch 37 taken 2669 times.
✗ Branch 38 not taken.
✓ Branch 40 taken 164 times.
✗ Branch 41 not taken.
✓ Branch 43 taken 108 times.
✗ Branch 44 not taken.
✗ Branch 46 not taken.
✗ Branch 47 not taken.
✓ Branch 49 taken 42 times.
✗ Branch 50 not taken.
✗ Branch 52 not taken.
✗ Branch 53 not taken.
✓ Branch 55 taken 892 times.
✗ Branch 56 not taken.
✗ Branch 58 not taken.
✗ Branch 59 not taken.
✗ Branch 61 not taken.
✗ Branch 62 not taken.
✓ Branch 64 taken 6471 times.
✗ Branch 65 not taken.
✗ Branch 67 not taken.
✗ Branch 68 not taken.
✓ Branch 70 taken 1330 times.
✗ Branch 71 not taken.
✓ Branch 73 taken 102 times.
✗ Branch 74 not taken.
✗ Branch 76 not taken.
✗ Branch 77 not taken.
✗ Branch 79 not taken.
✗ Branch 80 not taken.
✓ Branch 82 taken 11 times.
✗ Branch 83 not taken.
✓ Branch 85 taken 108 times.
✗ Branch 86 not taken.
✓ Branch 88 taken 447 times.
✗ Branch 89 not taken.
✗ Branch 91 not taken.
✗ Branch 92 not taken.
✗ Branch 94 not taken.
✗ Branch 95 not taken.
✓ Branch 97 taken 3231 times.
✗ Branch 98 not taken.
✓ Branch 100 taken 5352 times.
✗ Branch 101 not taken.
✓ Branch 103 taken 5316 times.
✗ Branch 104 not taken.
✓ Branch 106 taken 2658 times.
✗ Branch 107 not taken.
✓ Branch 109 taken 108 times.
✗ Branch 110 not taken.
✓ Branch 112 taken 21863 times.
✗ Branch 113 not taken.
✓ Branch 115 taken 58 times.
✗ Branch 116 not taken.
✗ Branch 118 not taken.
✗ Branch 119 not taken.
✓ Branch 121 taken 1 times.
✗ Branch 122 not taken.
✗ Branch 124 not taken.
✗ Branch 125 not taken.
✓ Branch 127 taken 40 times.
✗ Branch 128 not taken.
✓ Branch 130 taken 1 times.
✗ Branch 131 not taken.
✗ Branch 133 not taken.
✗ Branch 134 not taken.
✗ Branch 136 not taken.
✗ Branch 137 not taken.
✗ Branch 139 not taken.
✗ Branch 140 not taken.
✗ Branch 142 not taken.
✗ Branch 143 not taken.
✗ Branch 145 not taken.
✗ Branch 146 not taken.
✓ Branch 148 taken 2 times.
✗ Branch 149 not taken.
✓ Branch 151 taken 57 times.
✗ Branch 152 not taken.
✓ Branch 154 taken 2 times.
✗ Branch 155 not taken.
✓ Branch 157 taken 58 times.
✗ Branch 158 not taken.
✓ Branch 160 taken 20 times.
✗ Branch 161 not taken.
✓ Branch 163 taken 4 times.
✗ Branch 164 not taken.
✗ Branch 166 not taken.
✗ Branch 167 not taken.
✗ Branch 169 not taken.
✗ Branch 170 not taken.
✓ Branch 172 taken 80 times.
✗ Branch 173 not taken.
✓ Branch 175 taken 245 times.
✗ Branch 176 not taken.
✓ Branch 178 taken 7 times.
✗ Branch 179 not taken.
✓ Branch 181 taken 82 times.
✗ Branch 182 not taken.
✓ Branch 184 taken 35 times.
✗ Branch 185 not taken.
✓ Branch 187 taken 200 times.
✗ Branch 188 not taken.
✗ Branch 190 not taken.
✗ Branch 191 not taken.
✓ Branch 193 taken 5 times.
✗ Branch 194 not taken.
✓ Branch 196 taken 16 times.
✗ Branch 197 not taken.
✓ Branch 199 taken 6 times.
✗ Branch 200 not taken.
✗ Branch 202 not taken.
✗ Branch 203 not taken.
✗ Branch 205 not taken.
✗ Branch 206 not taken.
✓ Branch 208 taken 5 times.
✗ Branch 209 not taken.
✓ Branch 211 taken 11 times.
✗ Branch 212 not taken.
✗ Branch 214 not taken.
✗ Branch 215 not taken.
✓ Branch 217 taken 27 times.
✗ Branch 218 not taken.
✓ Branch 220 taken 53 times.
✗ Branch 221 not taken.
✗ Branch 223 not taken.
✗ Branch 224 not taken.
✗ Branch 226 not taken.
✗ Branch 227 not taken.
✓ Branch 229 taken 64 times.
✗ Branch 230 not taken.
✓ Branch 232 taken 447 times.
✗ Branch 233 not taken.
✓ Branch 235 taken 292 times.
✗ Branch 236 not taken.
✗ Branch 238 not taken.
✗ Branch 239 not taken.
✓ Branch 241 taken 74 times.
✗ Branch 242 not taken.
✓ Branch 244 taken 24 times.
✗ Branch 245 not taken.
✓ Branch 247 taken 132 times.
✗ Branch 248 not taken.
✓ Branch 250 taken 21 times.
✗ Branch 251 not taken.
✓ Branch 253 taken 258 times.
✗ Branch 254 not taken.
✗ Branch 256 not taken.
✗ Branch 257 not taken.
✓ Branch 259 taken 20 times.
✗ Branch 260 not taken.
✗ Branch 262 not taken.
✗ Branch 263 not taken.
✓ Branch 265 taken 90 times.
✗ Branch 266 not taken.
✓ Branch 268 taken 169 times.
✗ Branch 269 not taken.
✓ Branch 271 taken 2 times.
✗ Branch 272 not taken.
✗ Branch 274 not taken.
✗ Branch 275 not taken.
✓ Branch 277 taken 10 times.
✗ Branch 278 not taken.
✗ Branch 280 not taken.
✗ Branch 281 not taken.
✓ Branch 283 taken 5 times.
✗ Branch 284 not taken.
✗ Branch 286 not taken.
✗ Branch 287 not taken.
✓ Branch 289 taken 2 times.
✗ Branch 290 not taken.
✗ Branch 292 not taken.
✗ Branch 293 not taken.
✗ Branch 295 not taken.
✗ Branch 296 not taken.
✗ Branch 298 not taken.
✗ Branch 299 not taken.
✓ Branch 301 taken 832 times.
✗ Branch 302 not taken.
✓ Branch 304 taken 570 times.
✗ Branch 305 not taken.
✗ Branch 307 not taken.
✗ Branch 308 not taken.
✗ Branch 310 not taken.
✗ Branch 311 not taken.
✓ Branch 313 taken 42 times.
✗ Branch 314 not taken.
✓ Branch 316 taken 15 times.
✗ Branch 317 not taken.
✓ Branch 319 taken 960 times.
✗ Branch 320 not taken.
✓ Branch 322 taken 30 times.
✗ Branch 323 not taken.
✗ Branch 325 not taken.
✗ Branch 326 not taken.
✗ Branch 328 not taken.
✗ Branch 329 not taken.
✗ Branch 331 not taken.
✗ Branch 332 not taken.
✗ Branch 334 not taken.
✗ Branch 335 not taken.
✓ Branch 337 taken 8 times.
✗ Branch 338 not taken.
✓ Branch 340 taken 1187 times.
✗ Branch 341 not taken.
✓ Branch 343 taken 42 times.
✗ Branch 344 not taken.
✓ Branch 346 taken 3 times.
✗ Branch 347 not taken.
✗ Branch 349 not taken.
✗ Branch 350 not taken.
✓ Branch 352 taken 309 times.
✗ Branch 353 not taken.
✗ Branch 355 not taken.
✗ Branch 356 not taken.
✗ Branch 358 not taken.
✗ Branch 359 not taken.
✓ Branch 361 taken 447 times.
✗ Branch 362 not taken.
✗ Branch 364 not taken.
✗ Branch 365 not taken.
✗ Branch 367 not taken.
✗ Branch 368 not taken.
✗ Branch 370 not taken.
✗ Branch 371 not taken.
✓ Branch 373 taken 1536 times.
✗ Branch 374 not taken.
✓ Branch 376 taken 62 times.
✗ Branch 377 not taken.
✓ Branch 379 taken 4 times.
✗ Branch 380 not taken.
✗ Branch 382 not taken.
✗ Branch 383 not taken.
✗ Branch 385 not taken.
✗ Branch 386 not taken.
✗ Branch 388 not taken.
✗ Branch 389 not taken.
✓ Branch 391 taken 273 times.
✗ Branch 392 not taken.
✗ Branch 394 not taken.
✗ Branch 395 not taken.
✗ Branch 397 not taken.
✗ Branch 398 not taken.
✗ Branch 400 not taken.
✗ Branch 401 not taken.
✓ Branch 403 taken 271 times.
✗ Branch 404 not taken.
✓ Branch 406 taken 18 times.
✗ Branch 407 not taken.
✗ Branch 409 not taken.
✗ Branch 410 not taken.
✗ Branch 412 not taken.
✗ Branch 413 not taken.
✓ Branch 415 taken 1 times.
✗ Branch 416 not taken.
✓ Branch 418 taken 3 times.
✗ Branch 419 not taken.
✗ Branch 421 not taken.
✗ Branch 422 not taken.
✓ Branch 424 taken 252 times.
✗ Branch 425 not taken.
✗ Branch 427 not taken.
✗ Branch 428 not taken.
✓ Branch 430 taken 16 times.
✗ Branch 431 not taken.
✓ Branch 433 taken 573 times.
✗ Branch 434 not taken.
✓ Branch 436 taken 206 times.
✗ Branch 437 not taken.
✗ Branch 439 not taken.
✗ Branch 440 not taken.
✓ Branch 442 taken 64 times.
✗ Branch 443 not taken.
✓ Branch 445 taken 6 times.
✗ Branch 446 not taken.
✓ Branch 448 taken 144 times.
✗ Branch 449 not taken.
✗ Branch 451 not taken.
✗ Branch 452 not taken.
✓ Branch 454 taken 198 times.
✗ Branch 455 not taken.
✗ Branch 457 not taken.
✗ Branch 458 not taken.
✓ Branch 460 taken 480 times.
✗ Branch 461 not taken.
✗ Branch 463 not taken.
✗ Branch 464 not taken.
✗ Branch 466 not taken.
✗ Branch 467 not taken.
✗ Branch 469 not taken.
✗ Branch 470 not taken.
✓ Branch 472 taken 1208 times.
✗ Branch 473 not taken.
✓ Branch 475 taken 720 times.
✗ Branch 476 not taken.
✗ Branch 478 not taken.
✗ Branch 479 not taken.
✗ Branch 481 not taken.
✗ Branch 482 not taken.
✗ Branch 484 not taken.
✗ Branch 485 not taken.
✓ Branch 487 taken 1728 times.
✗ Branch 488 not taken.
✓ Branch 490 taken 252 times.
✗ Branch 491 not taken.
✓ Branch 493 taken 2 times.
✗ Branch 494 not taken.
✗ Branch 496 not taken.
✗ Branch 497 not taken.
✓ Branch 499 taken 69 times.
✗ Branch 500 not taken.
✗ Branch 502 not taken.
✗ Branch 503 not taken.
|
76794 | const auto serialization = serialized(); |
| 79 |
210/918✗ Branch 1 not taken.
✗ Branch 2 not taken.
✗ Branch 4 not taken.
✗ Branch 5 not taken.
✗ Branch 6 not taken.
✓ Branch 7 taken 2831 times.
✗ Branch 8 not taken.
✗ Branch 9 not taken.
✓ Branch 10 taken 2831 times.
✗ Branch 11 not taken.
✓ Branch 13 taken 232 times.
✗ Branch 14 not taken.
✓ Branch 16 taken 232 times.
✗ Branch 17 not taken.
✗ Branch 18 not taken.
✗ Branch 19 not taken.
✗ Branch 20 not taken.
✗ Branch 21 not taken.
✗ Branch 22 not taken.
✗ Branch 23 not taken.
✗ Branch 25 not taken.
✗ Branch 26 not taken.
✗ Branch 28 not taken.
✓ Branch 29 taken 1 times.
✗ Branch 30 not taken.
✓ Branch 31 taken 40 times.
✗ Branch 32 not taken.
✗ Branch 33 not taken.
✓ Branch 34 taken 40 times.
✗ Branch 35 not taken.
✗ Branch 37 not taken.
✗ Branch 38 not taken.
✗ Branch 40 not taken.
✗ Branch 41 not taken.
✗ Branch 42 not taken.
✓ Branch 43 taken 909 times.
✗ Branch 44 not taken.
✓ Branch 45 taken 1 times.
✓ Branch 46 taken 909 times.
✗ Branch 47 not taken.
✓ Branch 48 taken 1 times.
✗ Branch 49 not taken.
✗ Branch 50 not taken.
✗ Branch 51 not taken.
✗ Branch 52 not taken.
✗ Branch 53 not taken.
✗ Branch 54 not taken.
✓ Branch 55 taken 128 times.
✗ Branch 56 not taken.
✗ Branch 57 not taken.
✓ Branch 58 taken 128 times.
✗ Branch 59 not taken.
✗ Branch 60 not taken.
✓ Branch 61 taken 6624 times.
✗ Branch 62 not taken.
✗ Branch 63 not taken.
✓ Branch 64 taken 6624 times.
✗ Branch 65 not taken.
✗ Branch 66 not taken.
✗ Branch 67 not taken.
✗ Branch 68 not taken.
✗ Branch 69 not taken.
✗ Branch 70 not taken.
✗ Branch 71 not taken.
✗ Branch 72 not taken.
✓ Branch 73 taken 2669 times.
✗ Branch 74 not taken.
✗ Branch 75 not taken.
✓ Branch 76 taken 2669 times.
✗ Branch 77 not taken.
✗ Branch 78 not taken.
✓ Branch 79 taken 164 times.
✗ Branch 80 not taken.
✗ Branch 81 not taken.
✓ Branch 82 taken 164 times.
✗ Branch 83 not taken.
✗ Branch 84 not taken.
✓ Branch 85 taken 108 times.
✗ Branch 86 not taken.
✓ Branch 87 taken 1 times.
✓ Branch 88 taken 108 times.
✗ Branch 89 not taken.
✓ Branch 90 taken 1 times.
✗ Branch 91 not taken.
✗ Branch 92 not taken.
✗ Branch 93 not taken.
✗ Branch 94 not taken.
✗ Branch 95 not taken.
✗ Branch 96 not taken.
✓ Branch 97 taken 42 times.
✗ Branch 98 not taken.
✗ Branch 99 not taken.
✓ Branch 100 taken 42 times.
✗ Branch 101 not taken.
✗ Branch 102 not taken.
✗ Branch 103 not taken.
✗ Branch 104 not taken.
✗ Branch 105 not taken.
✗ Branch 106 not taken.
✗ Branch 107 not taken.
✗ Branch 108 not taken.
✓ Branch 109 taken 891 times.
✗ Branch 110 not taken.
✗ Branch 111 not taken.
✓ Branch 112 taken 891 times.
✗ Branch 113 not taken.
✗ Branch 114 not taken.
✗ Branch 115 not taken.
✗ Branch 116 not taken.
✗ Branch 117 not taken.
✗ Branch 118 not taken.
✗ Branch 119 not taken.
✗ Branch 120 not taken.
✗ Branch 121 not taken.
✗ Branch 122 not taken.
✗ Branch 123 not taken.
✗ Branch 124 not taken.
✗ Branch 125 not taken.
✗ Branch 126 not taken.
✓ Branch 127 taken 6471 times.
✗ Branch 128 not taken.
✗ Branch 129 not taken.
✓ Branch 130 taken 6471 times.
✗ Branch 131 not taken.
✗ Branch 132 not taken.
✗ Branch 133 not taken.
✗ Branch 134 not taken.
✗ Branch 135 not taken.
✗ Branch 136 not taken.
✗ Branch 137 not taken.
✗ Branch 138 not taken.
✓ Branch 139 taken 1330 times.
✗ Branch 140 not taken.
✗ Branch 141 not taken.
✓ Branch 142 taken 1330 times.
✗ Branch 143 not taken.
✗ Branch 144 not taken.
✓ Branch 145 taken 102 times.
✗ Branch 146 not taken.
✗ Branch 147 not taken.
✓ Branch 148 taken 102 times.
✗ Branch 149 not taken.
✗ Branch 150 not taken.
✗ Branch 151 not taken.
✗ Branch 152 not taken.
✓ Branch 153 taken 2 times.
✗ Branch 154 not taken.
✗ Branch 155 not taken.
✓ Branch 156 taken 2 times.
✗ Branch 157 not taken.
✗ Branch 158 not taken.
✗ Branch 159 not taken.
✗ Branch 160 not taken.
✗ Branch 161 not taken.
✗ Branch 162 not taken.
✓ Branch 163 taken 11 times.
✗ Branch 164 not taken.
✗ Branch 165 not taken.
✓ Branch 166 taken 11 times.
✗ Branch 167 not taken.
✗ Branch 168 not taken.
✓ Branch 169 taken 108 times.
✗ Branch 170 not taken.
✗ Branch 171 not taken.
✓ Branch 172 taken 108 times.
✗ Branch 173 not taken.
✗ Branch 174 not taken.
✓ Branch 175 taken 445 times.
✗ Branch 176 not taken.
✗ Branch 177 not taken.
✓ Branch 178 taken 445 times.
✗ Branch 179 not taken.
✗ Branch 181 not taken.
✗ Branch 182 not taken.
✗ Branch 184 not taken.
✗ Branch 185 not taken.
✗ Branch 187 not taken.
✗ Branch 188 not taken.
✗ Branch 190 not taken.
✗ Branch 191 not taken.
✓ Branch 193 taken 3231 times.
✗ Branch 194 not taken.
✓ Branch 196 taken 3231 times.
✗ Branch 197 not taken.
✓ Branch 199 taken 5352 times.
✗ Branch 200 not taken.
✓ Branch 202 taken 5352 times.
✗ Branch 203 not taken.
✓ Branch 205 taken 5316 times.
✗ Branch 206 not taken.
✓ Branch 208 taken 5316 times.
✗ Branch 209 not taken.
✓ Branch 211 taken 2658 times.
✗ Branch 212 not taken.
✓ Branch 214 taken 2658 times.
✗ Branch 215 not taken.
✓ Branch 217 taken 108 times.
✗ Branch 218 not taken.
✓ Branch 220 taken 108 times.
✗ Branch 221 not taken.
✗ Branch 222 not taken.
✓ Branch 223 taken 21863 times.
✗ Branch 224 not taken.
✗ Branch 225 not taken.
✓ Branch 226 taken 21863 times.
✗ Branch 227 not taken.
✓ Branch 229 taken 58 times.
✗ Branch 230 not taken.
✓ Branch 232 taken 58 times.
✗ Branch 233 not taken.
✗ Branch 234 not taken.
✓ Branch 235 taken 1 times.
✗ Branch 236 not taken.
✗ Branch 237 not taken.
✓ Branch 238 taken 1 times.
✗ Branch 239 not taken.
✓ Branch 241 taken 41 times.
✗ Branch 242 not taken.
✓ Branch 244 taken 1 times.
✗ Branch 245 not taken.
✗ Branch 246 not taken.
✗ Branch 247 not taken.
✗ Branch 248 not taken.
✗ Branch 249 not taken.
✗ Branch 250 not taken.
✗ Branch 251 not taken.
✗ Branch 253 not taken.
✗ Branch 254 not taken.
✗ Branch 256 not taken.
✗ Branch 257 not taken.
✗ Branch 258 not taken.
✗ Branch 259 not taken.
✗ Branch 260 not taken.
✗ Branch 261 not taken.
✗ Branch 262 not taken.
✗ Branch 263 not taken.
✗ Branch 264 not taken.
✗ Branch 265 not taken.
✗ Branch 266 not taken.
✗ Branch 267 not taken.
✗ Branch 268 not taken.
✗ Branch 269 not taken.
✗ Branch 270 not taken.
✗ Branch 271 not taken.
✗ Branch 272 not taken.
✗ Branch 273 not taken.
✗ Branch 274 not taken.
✗ Branch 275 not taken.
✗ Branch 276 not taken.
✗ Branch 277 not taken.
✗ Branch 278 not taken.
✗ Branch 279 not taken.
✗ Branch 280 not taken.
✗ Branch 281 not taken.
✗ Branch 282 not taken.
✗ Branch 283 not taken.
✗ Branch 284 not taken.
✗ Branch 285 not taken.
✗ Branch 286 not taken.
✗ Branch 287 not taken.
✗ Branch 288 not taken.
✗ Branch 289 not taken.
✗ Branch 290 not taken.
✗ Branch 291 not taken.
✗ Branch 292 not taken.
✗ Branch 293 not taken.
✗ Branch 294 not taken.
✓ Branch 295 taken 2 times.
✗ Branch 296 not taken.
✓ Branch 297 taken 20 times.
✓ Branch 298 taken 2 times.
✗ Branch 299 not taken.
✓ Branch 300 taken 20 times.
✓ Branch 301 taken 61 times.
✗ Branch 302 not taken.
✗ Branch 303 not taken.
✓ Branch 304 taken 61 times.
✗ Branch 305 not taken.
✗ Branch 306 not taken.
✓ Branch 307 taken 2 times.
✗ Branch 308 not taken.
✗ Branch 309 not taken.
✓ Branch 310 taken 2 times.
✗ Branch 311 not taken.
✗ Branch 312 not taken.
✓ Branch 313 taken 58 times.
✗ Branch 314 not taken.
✗ Branch 315 not taken.
✓ Branch 316 taken 58 times.
✗ Branch 317 not taken.
✗ Branch 318 not taken.
✗ Branch 319 not taken.
✗ Branch 320 not taken.
✗ Branch 321 not taken.
✗ Branch 322 not taken.
✗ Branch 323 not taken.
✗ Branch 324 not taken.
✗ Branch 325 not taken.
✗ Branch 326 not taken.
✗ Branch 327 not taken.
✗ Branch 328 not taken.
✓ Branch 329 taken 45 times.
✗ Branch 330 not taken.
✗ Branch 331 not taken.
✗ Branch 332 not taken.
✗ Branch 333 not taken.
✗ Branch 334 not taken.
✗ Branch 335 not taken.
✗ Branch 336 not taken.
✗ Branch 337 not taken.
✗ Branch 338 not taken.
✓ Branch 339 taken 24 times.
✗ Branch 340 not taken.
✗ Branch 341 not taken.
✓ Branch 342 taken 24 times.
✓ Branch 343 taken 113 times.
✗ Branch 344 not taken.
✗ Branch 345 not taken.
✓ Branch 346 taken 113 times.
✗ Branch 347 not taken.
✗ Branch 348 not taken.
✓ Branch 349 taken 200 times.
✗ Branch 350 not taken.
✗ Branch 351 not taken.
✓ Branch 352 taken 200 times.
✗ Branch 353 not taken.
✗ Branch 354 not taken.
✓ Branch 355 taken 7 times.
✗ Branch 356 not taken.
✗ Branch 357 not taken.
✓ Branch 358 taken 7 times.
✗ Branch 359 not taken.
✗ Branch 360 not taken.
✓ Branch 361 taken 64 times.
✗ Branch 362 not taken.
✗ Branch 363 not taken.
✓ Branch 364 taken 58 times.
✗ Branch 365 not taken.
✗ Branch 366 not taken.
✓ Branch 367 taken 4 times.
✗ Branch 368 not taken.
✗ Branch 369 not taken.
✓ Branch 370 taken 4 times.
✗ Branch 371 not taken.
✗ Branch 372 not taken.
✓ Branch 373 taken 200 times.
✗ Branch 374 not taken.
✗ Branch 375 not taken.
✓ Branch 376 taken 200 times.
✗ Branch 377 not taken.
✗ Branch 378 not taken.
✗ Branch 379 not taken.
✗ Branch 380 not taken.
✗ Branch 381 not taken.
✗ Branch 382 not taken.
✗ Branch 383 not taken.
✗ Branch 384 not taken.
✓ Branch 385 taken 5 times.
✗ Branch 386 not taken.
✗ Branch 387 not taken.
✓ Branch 388 taken 5 times.
✗ Branch 389 not taken.
✗ Branch 390 not taken.
✓ Branch 391 taken 14 times.
✗ Branch 392 not taken.
✗ Branch 393 not taken.
✓ Branch 394 taken 14 times.
✗ Branch 395 not taken.
✗ Branch 396 not taken.
✓ Branch 397 taken 4 times.
✗ Branch 398 not taken.
✗ Branch 399 not taken.
✓ Branch 400 taken 4 times.
✗ Branch 401 not taken.
✗ Branch 402 not taken.
✗ Branch 403 not taken.
✗ Branch 404 not taken.
✗ Branch 405 not taken.
✗ Branch 406 not taken.
✗ Branch 407 not taken.
✗ Branch 408 not taken.
✗ Branch 409 not taken.
✗ Branch 410 not taken.
✗ Branch 411 not taken.
✗ Branch 412 not taken.
✗ Branch 413 not taken.
✗ Branch 414 not taken.
✓ Branch 415 taken 5 times.
✗ Branch 416 not taken.
✗ Branch 417 not taken.
✓ Branch 418 taken 5 times.
✗ Branch 419 not taken.
✗ Branch 420 not taken.
✓ Branch 421 taken 7 times.
✗ Branch 422 not taken.
✗ Branch 423 not taken.
✓ Branch 424 taken 7 times.
✗ Branch 425 not taken.
✗ Branch 426 not taken.
✗ Branch 427 not taken.
✗ Branch 428 not taken.
✗ Branch 429 not taken.
✗ Branch 430 not taken.
✗ Branch 431 not taken.
✗ Branch 432 not taken.
✓ Branch 433 taken 27 times.
✗ Branch 434 not taken.
✗ Branch 435 not taken.
✓ Branch 436 taken 27 times.
✗ Branch 437 not taken.
✗ Branch 438 not taken.
✓ Branch 439 taken 500 times.
✗ Branch 440 not taken.
✗ Branch 441 not taken.
✓ Branch 442 taken 500 times.
✗ Branch 443 not taken.
✗ Branch 444 not taken.
✓ Branch 445 taken 264 times.
✗ Branch 446 not taken.
✗ Branch 447 not taken.
✓ Branch 448 taken 264 times.
✗ Branch 449 not taken.
✗ Branch 450 not taken.
✗ Branch 451 not taken.
✗ Branch 452 not taken.
✓ Branch 453 taken 12 times.
✗ Branch 454 not taken.
✗ Branch 455 not taken.
✓ Branch 456 taken 12 times.
✓ Branch 457 taken 92 times.
✗ Branch 458 not taken.
✓ Branch 459 taken 74 times.
✓ Branch 460 taken 64 times.
✗ Branch 461 not taken.
✓ Branch 462 taken 74 times.
✓ Branch 463 taken 24 times.
✗ Branch 464 not taken.
✗ Branch 465 not taken.
✓ Branch 466 taken 24 times.
✗ Branch 467 not taken.
✗ Branch 468 not taken.
✗ Branch 469 not taken.
✗ Branch 470 not taken.
✗ Branch 471 not taken.
✗ Branch 472 not taken.
✓ Branch 473 taken 120 times.
✗ Branch 474 not taken.
✓ Branch 475 taken 9 times.
✗ Branch 476 not taken.
✗ Branch 477 not taken.
✓ Branch 478 taken 9 times.
✗ Branch 479 not taken.
✗ Branch 480 not taken.
✗ Branch 481 not taken.
✗ Branch 482 not taken.
✓ Branch 483 taken 348 times.
✗ Branch 484 not taken.
✗ Branch 485 not taken.
✓ Branch 486 taken 348 times.
✗ Branch 487 not taken.
✗ Branch 488 not taken.
✓ Branch 489 taken 42 times.
✗ Branch 490 not taken.
✗ Branch 491 not taken.
✓ Branch 492 taken 42 times.
✓ Branch 493 taken 12 times.
✗ Branch 494 not taken.
✗ Branch 495 not taken.
✓ Branch 496 taken 12 times.
✗ Branch 497 not taken.
✗ Branch 498 not taken.
✗ Branch 499 not taken.
✗ Branch 500 not taken.
✗ Branch 501 not taken.
✗ Branch 502 not taken.
✗ Branch 503 not taken.
✗ Branch 504 not taken.
✗ Branch 505 not taken.
✗ Branch 506 not taken.
✗ Branch 507 not taken.
✗ Branch 508 not taken.
✗ Branch 509 not taken.
✗ Branch 510 not taken.
✓ Branch 511 taken 127 times.
✗ Branch 512 not taken.
✗ Branch 513 not taken.
✓ Branch 514 taken 127 times.
✗ Branch 515 not taken.
✗ Branch 516 not taken.
✓ Branch 517 taken 22 times.
✗ Branch 518 not taken.
✗ Branch 519 not taken.
✓ Branch 520 taken 22 times.
✗ Branch 521 not taken.
✗ Branch 522 not taken.
✗ Branch 523 not taken.
✗ Branch 524 not taken.
✗ Branch 525 not taken.
✗ Branch 526 not taken.
✗ Branch 527 not taken.
✗ Branch 528 not taken.
✓ Branch 529 taken 3 times.
✗ Branch 530 not taken.
✗ Branch 531 not taken.
✓ Branch 532 taken 3 times.
✗ Branch 533 not taken.
✗ Branch 534 not taken.
✗ Branch 535 not taken.
✗ Branch 536 not taken.
✗ Branch 537 not taken.
✗ Branch 538 not taken.
✗ Branch 539 not taken.
✗ Branch 540 not taken.
✗ Branch 541 not taken.
✗ Branch 542 not taken.
✗ Branch 543 not taken.
✗ Branch 544 not taken.
✓ Branch 545 taken 5 times.
✗ Branch 546 not taken.
✗ Branch 547 not taken.
✗ Branch 548 not taken.
✗ Branch 549 not taken.
✗ Branch 550 not taken.
✗ Branch 551 not taken.
✗ Branch 552 not taken.
✓ Branch 553 taken 7 times.
✗ Branch 554 not taken.
✓ Branch 555 taken 2 times.
✓ Branch 556 taken 7 times.
✗ Branch 557 not taken.
✓ Branch 558 taken 2 times.
✗ Branch 559 not taken.
✗ Branch 560 not taken.
✗ Branch 561 not taken.
✗ Branch 562 not taken.
✗ Branch 563 not taken.
✗ Branch 564 not taken.
✓ Branch 565 taken 56 times.
✗ Branch 566 not taken.
✗ Branch 567 not taken.
✗ Branch 568 not taken.
✓ Branch 569 taken 2 times.
✗ Branch 570 not taken.
✗ Branch 571 not taken.
✗ Branch 572 not taken.
✗ Branch 573 not taken.
✗ Branch 574 not taken.
✗ Branch 575 not taken.
✗ Branch 576 not taken.
✓ Branch 577 taken 766 times.
✗ Branch 578 not taken.
✓ Branch 579 taken 16 times.
✓ Branch 580 taken 766 times.
✗ Branch 581 not taken.
✓ Branch 582 taken 16 times.
✓ Branch 583 taken 568 times.
✗ Branch 584 not taken.
✗ Branch 585 not taken.
✓ Branch 586 taken 568 times.
✗ Branch 587 not taken.
✗ Branch 588 not taken.
✗ Branch 589 not taken.
✗ Branch 590 not taken.
✗ Branch 591 not taken.
✗ Branch 592 not taken.
✗ Branch 593 not taken.
✗ Branch 594 not taken.
✗ Branch 595 not taken.
✗ Branch 596 not taken.
✓ Branch 597 taken 30 times.
✗ Branch 598 not taken.
✗ Branch 599 not taken.
✓ Branch 600 taken 30 times.
✓ Branch 601 taken 36 times.
✗ Branch 602 not taken.
✗ Branch 603 not taken.
✓ Branch 604 taken 36 times.
✗ Branch 605 not taken.
✗ Branch 606 not taken.
✓ Branch 607 taken 15 times.
✗ Branch 608 not taken.
✗ Branch 609 not taken.
✓ Branch 610 taken 15 times.
✗ Branch 611 not taken.
✗ Branch 612 not taken.
✓ Branch 613 taken 960 times.
✗ Branch 614 not taken.
✗ Branch 615 not taken.
✓ Branch 616 taken 960 times.
✗ Branch 617 not taken.
✗ Branch 618 not taken.
✗ Branch 619 not taken.
✗ Branch 620 not taken.
✗ Branch 621 not taken.
✗ Branch 622 not taken.
✗ Branch 623 not taken.
✗ Branch 624 not taken.
✓ Branch 625 taken 2 times.
✗ Branch 626 not taken.
✗ Branch 627 not taken.
✓ Branch 628 taken 2 times.
✗ Branch 629 not taken.
✗ Branch 630 not taken.
✗ Branch 631 not taken.
✗ Branch 632 not taken.
✗ Branch 633 not taken.
✗ Branch 634 not taken.
✗ Branch 635 not taken.
✗ Branch 636 not taken.
✗ Branch 637 not taken.
✗ Branch 638 not taken.
✗ Branch 639 not taken.
✗ Branch 640 not taken.
✗ Branch 641 not taken.
✗ Branch 642 not taken.
✓ Branch 643 taken 1187 times.
✗ Branch 644 not taken.
✗ Branch 645 not taken.
✗ Branch 646 not taken.
✓ Branch 647 taken 5 times.
✗ Branch 648 not taken.
✓ Branch 649 taken 43 times.
✗ Branch 650 not taken.
✗ Branch 651 not taken.
✓ Branch 652 taken 6 times.
✓ Branch 653 taken 3 times.
✗ Branch 654 not taken.
✓ Branch 655 taken 27 times.
✗ Branch 656 not taken.
✗ Branch 657 not taken.
✓ Branch 658 taken 27 times.
✗ Branch 659 not taken.
✗ Branch 660 not taken.
✗ Branch 661 not taken.
✗ Branch 662 not taken.
✗ Branch 663 not taken.
✗ Branch 664 not taken.
✗ Branch 665 not taken.
✗ Branch 666 not taken.
✗ Branch 667 not taken.
✗ Branch 668 not taken.
✗ Branch 669 not taken.
✗ Branch 670 not taken.
✗ Branch 671 not taken.
✗ Branch 672 not taken.
✗ Branch 673 not taken.
✗ Branch 674 not taken.
✓ Branch 675 taken 447 times.
✗ Branch 676 not taken.
✗ Branch 677 not taken.
✓ Branch 678 taken 447 times.
✓ Branch 679 taken 282 times.
✗ Branch 680 not taken.
✗ Branch 681 not taken.
✓ Branch 682 taken 282 times.
✗ Branch 683 not taken.
✗ Branch 684 not taken.
✗ Branch 685 not taken.
✗ Branch 686 not taken.
✗ Branch 687 not taken.
✗ Branch 688 not taken.
✗ Branch 689 not taken.
✗ Branch 690 not taken.
✗ Branch 691 not taken.
✗ Branch 692 not taken.
✗ Branch 693 not taken.
✗ Branch 694 not taken.
✗ Branch 695 not taken.
✗ Branch 696 not taken.
✗ Branch 697 not taken.
✗ Branch 698 not taken.
✗ Branch 699 not taken.
✗ Branch 700 not taken.
✗ Branch 701 not taken.
✗ Branch 702 not taken.
✗ Branch 703 not taken.
✗ Branch 704 not taken.
✗ Branch 705 not taken.
✗ Branch 706 not taken.
✗ Branch 707 not taken.
✗ Branch 708 not taken.
✓ Branch 709 taken 1536 times.
✗ Branch 710 not taken.
✓ Branch 711 taken 2 times.
✗ Branch 712 not taken.
✓ Branch 713 taken 24 times.
✓ Branch 714 taken 2 times.
✗ Branch 715 not taken.
✗ Branch 716 not taken.
✗ Branch 717 not taken.
✗ Branch 718 not taken.
✗ Branch 719 not taken.
✗ Branch 720 not taken.
✗ Branch 721 not taken.
✗ Branch 722 not taken.
✗ Branch 723 not taken.
✗ Branch 724 not taken.
✗ Branch 725 not taken.
✗ Branch 726 not taken.
✓ Branch 727 taken 38 times.
✗ Branch 728 not taken.
✗ Branch 729 not taken.
✓ Branch 730 taken 38 times.
✗ Branch 731 not taken.
✗ Branch 732 not taken.
✓ Branch 733 taken 2 times.
✗ Branch 734 not taken.
✓ Branch 735 taken 273 times.
✓ Branch 736 taken 2 times.
✗ Branch 737 not taken.
✓ Branch 738 taken 273 times.
✗ Branch 739 not taken.
✗ Branch 740 not taken.
✗ Branch 741 not taken.
✗ Branch 742 not taken.
✗ Branch 743 not taken.
✗ Branch 744 not taken.
✓ Branch 745 taken 147 times.
✗ Branch 746 not taken.
✗ Branch 747 not taken.
✗ Branch 748 not taken.
✓ Branch 749 taken 7 times.
✗ Branch 750 not taken.
✗ Branch 751 not taken.
✗ Branch 752 not taken.
✗ Branch 753 not taken.
✗ Branch 754 not taken.
✗ Branch 755 not taken.
✗ Branch 756 not taken.
✗ Branch 757 not taken.
✗ Branch 758 not taken.
✗ Branch 759 not taken.
✗ Branch 760 not taken.
✗ Branch 761 not taken.
✗ Branch 762 not taken.
✗ Branch 763 not taken.
✗ Branch 764 not taken.
✓ Branch 765 taken 5 times.
✗ Branch 766 not taken.
✗ Branch 767 not taken.
✓ Branch 768 taken 5 times.
✓ Branch 769 taken 124 times.
✗ Branch 770 not taken.
✗ Branch 771 not taken.
✗ Branch 772 not taken.
✓ Branch 773 taken 4 times.
✗ Branch 774 not taken.
✗ Branch 775 not taken.
✗ Branch 776 not taken.
✓ Branch 777 taken 42 times.
✗ Branch 778 not taken.
✗ Branch 779 not taken.
✓ Branch 780 taken 42 times.
✗ Branch 781 not taken.
✗ Branch 782 not taken.
✗ Branch 783 not taken.
✗ Branch 784 not taken.
✗ Branch 785 not taken.
✗ Branch 786 not taken.
✓ Branch 787 taken 2 times.
✗ Branch 788 not taken.
✓ Branch 789 taken 3 times.
✓ Branch 790 taken 2 times.
✓ Branch 791 taken 1 times.
✓ Branch 792 taken 3 times.
✗ Branch 793 not taken.
✗ Branch 794 not taken.
✗ Branch 795 not taken.
✗ Branch 796 not taken.
✗ Branch 797 not taken.
✗ Branch 798 not taken.
✗ Branch 799 not taken.
✗ Branch 800 not taken.
✓ Branch 801 taken 210 times.
✗ Branch 802 not taken.
✗ Branch 803 not taken.
✓ Branch 804 taken 210 times.
✗ Branch 805 not taken.
✗ Branch 806 not taken.
✗ Branch 807 not taken.
✗ Branch 808 not taken.
✗ Branch 809 not taken.
✗ Branch 810 not taken.
✗ Branch 811 not taken.
✓ Branch 813 taken 16 times.
✗ Branch 814 not taken.
✓ Branch 816 taken 16 times.
✗ Branch 817 not taken.
✗ Branch 818 not taken.
✗ Branch 819 not taken.
✗ Branch 820 not taken.
✗ Branch 821 not taken.
✗ Branch 822 not taken.
✗ Branch 823 not taken.
✓ Branch 825 taken 204 times.
✗ Branch 826 not taken.
✓ Branch 828 taken 204 times.
✓ Branch 829 taken 573 times.
✗ Branch 830 not taken.
✗ Branch 831 not taken.
✗ Branch 832 not taken.
✓ Branch 833 taken 2 times.
✗ Branch 834 not taken.
✗ Branch 835 not taken.
✓ Branch 837 taken 64 times.
✗ Branch 838 not taken.
✓ Branch 840 taken 64 times.
✗ Branch 841 not taken.
✗ Branch 842 not taken.
✓ Branch 843 taken 6 times.
✗ Branch 844 not taken.
✗ Branch 845 not taken.
✓ Branch 846 taken 6 times.
✗ Branch 847 not taken.
✓ Branch 849 taken 144 times.
✗ Branch 850 not taken.
✓ Branch 852 taken 144 times.
✗ Branch 853 not taken.
✗ Branch 855 not taken.
✗ Branch 856 not taken.
✗ Branch 858 not taken.
✗ Branch 859 not taken.
✗ Branch 860 not taken.
✓ Branch 861 taken 198 times.
✗ Branch 862 not taken.
✗ Branch 863 not taken.
✓ Branch 864 taken 198 times.
✗ Branch 865 not taken.
✗ Branch 867 not taken.
✗ Branch 868 not taken.
✗ Branch 870 not taken.
✗ Branch 871 not taken.
✗ Branch 872 not taken.
✓ Branch 873 taken 480 times.
✗ Branch 874 not taken.
✗ Branch 875 not taken.
✓ Branch 876 taken 480 times.
✗ Branch 877 not taken.
✗ Branch 878 not taken.
✗ Branch 879 not taken.
✗ Branch 880 not taken.
✗ Branch 881 not taken.
✗ Branch 882 not taken.
✗ Branch 883 not taken.
✗ Branch 884 not taken.
✗ Branch 885 not taken.
✗ Branch 886 not taken.
✗ Branch 887 not taken.
✗ Branch 888 not taken.
✗ Branch 889 not taken.
✗ Branch 890 not taken.
✗ Branch 891 not taken.
✗ Branch 892 not taken.
✗ Branch 893 not taken.
✗ Branch 894 not taken.
✗ Branch 895 not taken.
✗ Branch 896 not taken.
✓ Branch 897 taken 1208 times.
✗ Branch 898 not taken.
✗ Branch 899 not taken.
✓ Branch 900 taken 1208 times.
✗ Branch 901 not taken.
✗ Branch 902 not taken.
✓ Branch 903 taken 720 times.
✗ Branch 904 not taken.
✗ Branch 905 not taken.
✓ Branch 906 taken 720 times.
✗ Branch 907 not taken.
✗ Branch 908 not taken.
✗ Branch 909 not taken.
✗ Branch 910 not taken.
✗ Branch 911 not taken.
✗ Branch 912 not taken.
✗ Branch 913 not taken.
✗ Branch 914 not taken.
✗ Branch 915 not taken.
✗ Branch 916 not taken.
✗ Branch 917 not taken.
✗ Branch 918 not taken.
✗ Branch 919 not taken.
✗ Branch 920 not taken.
✗ Branch 921 not taken.
✗ Branch 922 not taken.
✗ Branch 923 not taken.
✗ Branch 924 not taken.
✗ Branch 925 not taken.
✗ Branch 926 not taken.
✓ Branch 927 taken 1728 times.
✗ Branch 928 not taken.
✗ Branch 929 not taken.
✓ Branch 930 taken 1728 times.
✗ Branch 931 not taken.
✗ Branch 932 not taken.
✓ Branch 933 taken 252 times.
✗ Branch 934 not taken.
✗ Branch 935 not taken.
✓ Branch 936 taken 252 times.
✗ Branch 937 not taken.
✗ Branch 938 not taken.
✓ Branch 939 taken 2 times.
✗ Branch 940 not taken.
✗ Branch 941 not taken.
✓ Branch 942 taken 2 times.
✗ Branch 943 not taken.
✗ Branch 944 not taken.
✗ Branch 945 not taken.
✗ Branch 946 not taken.
✗ Branch 947 not taken.
✗ Branch 948 not taken.
✓ Branch 949 taken 69 times.
✗ Branch 950 not taken.
✗ Branch 951 not taken.
✓ Branch 952 taken 69 times.
✗ Branch 953 not taken.
✗ Branch 955 not taken.
✗ Branch 956 not taken.
✗ Branch 958 not taken.
✗ Branch 959 not taken.
|
153588 | return visitor(serialization.template as_span_of<T>()); |
| 80 | 230283 | }); | |
| 81 | } | ||
| 82 | |||
| 83 | //! Export the field values into the provided range, resize if necessary, and return it | ||
| 84 | //! \note Exporting into a std::string strips a trailing '\0', and throws if the field holds multiple | ||
| 85 | //! strings, i.e. if any '\0' remains. Export into a MultiString to obtain multiple strings. | ||
| 86 | template<std::ranges::range R> requires(Concepts::Scalar<MDRangeValueType<R>>) | ||
| 87 | 45457 | decltype(auto) export_to(R&& output_range) const { | |
| 88 | if constexpr (std::same_as<std::remove_cvref_t<R>, std::string>) { | ||
| 89 | 350 | decltype(auto) result = _export_to<true>(std::forward<R>(output_range)); | |
| 90 |
6/6✓ Branch 1 taken 174 times.
✓ Branch 2 taken 1 times.
✓ Branch 4 taken 172 times.
✓ Branch 5 taken 2 times.
✓ Branch 6 taken 172 times.
✓ Branch 7 taken 3 times.
|
350 | if (!result.empty() && result.back() == '\0') |
| 91 | 344 | result.pop_back(); | |
| 92 |
2/2✓ Branch 1 taken 4 times.
✓ Branch 2 taken 171 times.
|
350 | if (result.find('\0') != std::string::npos) |
| 93 |
1/2✓ Branch 3 taken 4 times.
✗ Branch 4 not taken.
|
8 | throw ValueError("Field holds multiple strings, export it into a MultiString instead"); |
| 94 | 342 | return std::forward<decltype(result)>(result); | |
| 95 | } else { | ||
| 96 | 45107 | return _export_to<true>(std::forward<R>(output_range)); | |
| 97 | } | ||
| 98 | } | ||
| 99 | |||
| 100 | //! Export the field values into the provided range without resizing (given range must be large enough) | ||
| 101 | template<std::ranges::range R> requires(Concepts::Scalar<MDRangeValueType<R>>) | ||
| 102 | 2 | decltype(auto) export_to(R&& output_range, DisableResize) const { | |
| 103 | 2 | return _export_to<false>(std::forward<R>(output_range)); | |
| 104 | } | ||
| 105 | |||
| 106 | //! Export the field as a scalar (works only if the field is a scalar field) | ||
| 107 | template<Concepts::Scalar S> | ||
| 108 | 7839 | void export_to(S& out) const { | |
| 109 |
1/2✓ Branch 1 taken 3955 times.
✗ Branch 2 not taken.
|
7839 | const auto my_layout = layout(); |
| 110 |
1/2✓ Branch 1 taken 3955 times.
✗ Branch 2 not taken.
|
7839 | const auto serialization = serialized(); |
| 111 |
3/4✓ Branch 1 taken 3955 times.
✗ Branch 2 not taken.
✓ Branch 3 taken 2 times.
✓ Branch 4 taken 3953 times.
|
7839 | if (my_layout.number_of_entries() != 1) |
| 112 |
1/2✓ Branch 3 taken 2 times.
✗ Branch 4 not taken.
|
2 | throw TypeError("Field cannot be exported into a scalar"); |
| 113 |
1/2✓ Branch 1 taken 3953 times.
✗ Branch 2 not taken.
|
15881 | visit_field_values([&] <typename T> (std::span<const T> data) { |
| 114 | 3953 | out = static_cast<S>(data[0]); | |
| 115 | }); | ||
| 116 | 7841 | } | |
| 117 | |||
| 118 | //! Export the field as a scalar (works only if the field is a scalar field) | ||
| 119 | template<Concepts::Scalar S> | ||
| 120 | 7739 | S export_to() const { | |
| 121 | S out; | ||
| 122 |
2/2✓ Branch 1 taken 3903 times.
✓ Branch 2 taken 1 times.
|
7739 | export_to(out); |
| 123 | 7738 | return out; | |
| 124 | } | ||
| 125 | |||
| 126 | //! Export the field into a resizable range (e.g. std::vector) | ||
| 127 | template<Concepts::ResizableMDRange R> | ||
| 128 | requires(Concepts::StaticallySizedMDRange<std::ranges::range_value_t<R>> or | ||
| 129 | Concepts::Scalar<std::ranges::range_value_t<R>>) | ||
| 130 | 44238 | R export_to() const { | |
| 131 |
2/2✓ Branch 2 taken 32574 times.
✓ Branch 3 taken 6 times.
|
44238 | return export_to(R{}); |
| 132 | } | ||
| 133 | |||
| 134 | private: | ||
| 135 | DynamicPrecision _prec; | ||
| 136 | |||
| 137 | virtual MDLayout _layout() const = 0; | ||
| 138 | virtual DynamicPrecision _precision() const = 0; | ||
| 139 | virtual Serialization _serialized() const = 0; | ||
| 140 | |||
| 141 | //! Export the field values into the provided range and return it | ||
| 142 | template<bool enable_resize, std::ranges::range R> requires(Concepts::Scalar<MDRangeValueType<R>>) | ||
| 143 | 45461 | decltype(auto) _export_to(R&& output_range) const { | |
| 144 |
1/2✓ Branch 1 taken 33160 times.
✗ Branch 2 not taken.
|
45461 | const auto my_layout = layout(); |
| 145 | |||
| 146 | if constexpr (Concepts::ResizableMDRange<R> && enable_resize) { | ||
| 147 |
1/2✓ Branch 1 taken 32971 times.
✗ Branch 2 not taken.
|
45083 | const auto num_scalars = my_layout.number_of_entries(); |
| 148 |
2/4✓ Branch 1 taken 32971 times.
✗ Branch 2 not taken.
✓ Branch 4 taken 32971 times.
✗ Branch 5 not taken.
|
45083 | const auto num_sub_scalars = get_md_layout<std::ranges::range_value_t<R>>().number_of_entries(); |
| 149 |
2/2✓ Branch 0 taken 3 times.
✓ Branch 1 taken 32968 times.
|
45083 | if (num_scalars%num_sub_scalars != 0) |
| 150 |
1/2✓ Branch 3 taken 3 times.
✗ Branch 4 not taken.
|
6 | throw TypeError( |
| 151 | "Cannot export the field into the given range type. " | ||
| 152 | "Number of entries in the field is not divisible by the " | ||
| 153 | "number of entries in the value_type of the provided range." | ||
| 154 | ); | ||
| 155 | |||
| 156 |
1/2✓ Branch 1 taken 24141 times.
✗ Branch 2 not taken.
|
45077 | output_range.resize( |
| 157 | num_scalars/num_sub_scalars, | ||
| 158 |
2/3✓ Branch 1 taken 542 times.
✓ Branch 2 taken 8827 times.
✗ Branch 3 not taken.
|
45077 | DefaultValue<std::ranges::range_value_t<R>>::get() |
| 159 | ); | ||
| 160 | } else { | ||
| 161 |
1/2✓ Branch 1 taken 189 times.
✗ Branch 2 not taken.
|
378 | const auto output_range_layout = get_md_layout(output_range); |
| 162 |
4/6✓ Branch 1 taken 189 times.
✗ Branch 2 not taken.
✓ Branch 4 taken 189 times.
✗ Branch 5 not taken.
✓ Branch 6 taken 1 times.
✓ Branch 7 taken 188 times.
|
378 | if (output_range_layout.number_of_entries() < my_layout.number_of_entries()) |
| 163 |
1/2✓ Branch 3 taken 1 times.
✗ Branch 4 not taken.
|
4 | throw SizeError( |
| 164 |
2/4✓ Branch 1 taken 1 times.
✗ Branch 2 not taken.
✓ Branch 4 taken 1 times.
✗ Branch 5 not taken.
|
4 | std::string{"Cannot fill the given range. Too few entries. "} + |
| 165 |
5/10✓ Branch 1 taken 1 times.
✗ Branch 2 not taken.
✓ Branch 4 taken 1 times.
✗ Branch 5 not taken.
✓ Branch 7 taken 1 times.
✗ Branch 8 not taken.
✓ Branch 10 taken 1 times.
✗ Branch 11 not taken.
✓ Branch 13 taken 1 times.
✗ Branch 14 not taken.
|
8 | "Number of field entries: '" + std::to_string(my_layout.number_of_entries()) + "'; " + |
| 166 |
4/8✓ Branch 1 taken 1 times.
✗ Branch 2 not taken.
✓ Branch 4 taken 1 times.
✗ Branch 5 not taken.
✓ Branch 7 taken 1 times.
✗ Branch 8 not taken.
✓ Branch 10 taken 1 times.
✗ Branch 11 not taken.
|
8 | "Number of range entries: '" + std::to_string(output_range_layout.number_of_entries()) + "'" |
| 167 | ); | ||
| 168 | 378 | } | |
| 169 | |||
| 170 | 45453 | std::size_t offset = 0; | |
| 171 |
1/2✓ Branch 1 taken 33156 times.
✗ Branch 2 not taken.
|
153483 | visit_field_values([&] <typename T> (std::span<const T> data) { |
| 172 | 33156 | _export_to(output_range, data, offset); | |
| 173 | }); | ||
| 174 | |||
| 175 | 90906 | return std::forward<R>(output_range); | |
| 176 | 45461 | } | |
| 177 | |||
| 178 | template<std::ranges::range R, Concepts::Scalar T> | ||
| 179 | 103850 | void _export_to(R& range, | |
| 180 | std::span<const T> data, | ||
| 181 | std::size_t& offset) const { | ||
| 182 | if constexpr (mdrange_dimension<R> > 1) { | ||
| 183 |
1/2✓ Branch 1 taken 542 times.
✗ Branch 2 not taken.
|
38622 | std::ranges::for_each(range, [&] (std::ranges::range auto& sub_range) { |
| 184 | 18769 | _export_to(sub_range, data, offset); | |
| 185 | }); | ||
| 186 | } else { | ||
| 187 | // Note: if the span is over a std::vector<bool>, the use of `std::ranges::copy` or similar broke here. | ||
| 188 | // It seems to work with more recent compilers and/or c++23, though. We use `std::copy` as a workaround. | ||
| 189 |
2/4✓ Branch 1 taken 51383 times.
✗ Branch 2 not taken.
✓ Branch 4 taken 51383 times.
✗ Branch 5 not taken.
|
102766 | auto converted_data = data | std::views::drop(offset) |
| 190 |
5/9✓ Branch 2 taken 187 times.
✗ Branch 3 not taken.
✓ Branch 4 taken 51196 times.
✗ Branch 5 not taken.
✓ Branch 6 taken 187 times.
✓ Branch 7 taken 51196 times.
✗ Branch 8 not taken.
✓ Branch 9 taken 187 times.
✗ Branch 10 not taken.
|
205532 | | std::views::take(std::min(Ranges::size(range), data.size() - offset)) |
| 191 |
2/4✓ Branch 1 taken 51383 times.
✗ Branch 2 not taken.
✓ Branch 4 taken 51383 times.
✗ Branch 5 not taken.
|
852946 | | std::views::transform([] (const T& value) { |
| 192 | 647414 | return static_cast<std::ranges::range_value_t<R>>(value); | |
| 193 | }); | ||
| 194 |
7/11✓ Branch 1 taken 187 times.
✓ Branch 2 taken 51196 times.
✗ Branch 3 not taken.
✓ Branch 4 taken 187 times.
✓ Branch 5 taken 51196 times.
✗ Branch 6 not taken.
✓ Branch 7 taken 187 times.
✓ Branch 8 taken 51196 times.
✗ Branch 9 not taken.
✓ Branch 10 taken 187 times.
✗ Branch 11 not taken.
|
102766 | std::copy( |
| 195 | std::ranges::begin(converted_data), | ||
| 196 | std::ranges::end(converted_data), | ||
| 197 | std::ranges::begin(range) | ||
| 198 | ); | ||
| 199 | 102766 | offset += Ranges::size(converted_data); | |
| 200 | } | ||
| 201 | 103850 | } | |
| 202 | }; | ||
| 203 | |||
| 204 | //! Pointer type used by writers/readers for fields | ||
| 205 | using FieldPtr = std::shared_ptr<const Field>; | ||
| 206 | |||
| 207 | //! Factory function for field pointers | ||
| 208 | template<typename F> requires( | ||
| 209 | std::derived_from<std::remove_cvref_t<F>, Field> and | ||
| 210 | !std::is_lvalue_reference_v<F>) | ||
| 211 | 163130 | FieldPtr make_field_ptr(F&& f) { | |
| 212 |
1/2✓ Branch 2 taken 6 times.
✗ Branch 3 not taken.
|
163130 | return std::make_shared<std::add_const_t<F>>(std::forward<F>(f)); |
| 213 | } | ||
| 214 | |||
| 215 | //! \} group Common | ||
| 216 | |||
| 217 | } // namespace GridFormat | ||
| 218 | |||
| 219 | #endif // GRIDFORMAT_COMMON_FIELD_HPP_ | ||
| 220 |