Overview
| Comment: | chunked_strings: remove some (hopefully) dead code |
|---|---|
| Timelines: | family | ancestors | descendants | both | trunk |
| Files: | files | file ages | folders |
| SHA1: |
585443dcafe7d51ab3ee4fcd525d41c0 |
| User & Date: | nat on 2013-10-01 18:49:11 |
| Other Links: | manifest | tags |
Context
|
2013-10-02
| ||
| 21:17 | chunked_strings-tests-coverage: cover all Index_Error exceptions check-in: 63f44b78d4 user: nat tags: trunk | |
|
2013-10-01
| ||
| 18:49 | chunked_strings: remove some (hopefully) dead code check-in: 585443dcaf user: nat tags: trunk | |
|
2013-09-30
| ||
| 18:50 | chunked_str0ings-tests: further improve coverage (900/924 lines) check-in: 4f2d39211e user: nat tags: trunk | |
Changes
Modified src/natools-chunked_strings.adb from [56171a6910] to [c17e46f8f8].
| ︙ | ︙ | |||
353 354 355 356 357 358 359 |
return Greater;
end if;
L_Pos := L_Pos + Step;
R_Pos := R_Pos + Step;
if L_Pos > Left (L_Chunk).all'Last then
| | < < < < < < < < > | < < | 353 354 355 356 357 358 359 360 361 362 363 364 365 366 367 368 369 370 371 372 373 |
return Greater;
end if;
L_Pos := L_Pos + Step;
R_Pos := R_Pos + Step;
if L_Pos > Left (L_Chunk).all'Last then
-- L_Chunk cannot be Left'Last because L_Remain > 0
L_Chunk := L_Chunk + 1;
L_Pos := Left (L_Chunk).all'First;
end if;
if R_Pos > Right (R_Chunk).all'Last then
-- R_Chunk cannot be Right'Last because R_Remain > 0
R_Chunk := R_Chunk + 1;
R_Pos := Right (R_Chunk).all'First;
end if;
end loop;
end Compare;
|
| ︙ | ︙ |