Differences From Artifact [0e61f6dceb]:
- File src/natools-s_expressions-printers-pretty.adb — part of check-in [e66be760b0] at 2014-07-25 20:07:26 on branch trunk — s_expressions-printers-pretty: add an assert on final cursor position after writing quoted strings (user: nat, size: 36572) [annotate] [blame] [check-ins using]
To Artifact [e858dfbb7a]:
- File src/natools-s_expressions-printers-pretty.adb — part of check-in [8fffe1590c] at 2014-07-27 17:32:51 on branch trunk — s_expressions-printers-pretty: fix cursor position after writing a quoted string (user: nat, size: 36617) [annotate] [blame] [check-ins using]
| ︙ | ︙ | |||
748 749 750 751 752 753 754 755 756 757 758 759 760 761 |
O := O + Output_Delta;
Output.Cursor := New_Cursor;
end if;
end loop;
pragma Assert (O = Result'Last);
Result (O) := Encodings.Quoted_Atom_End;
Write_Raw (Printer'Class (Output), Result);
end;
pragma Assert (Output.Cursor = Expected_Cursor);
end Write_Quoted;
| > | 748 749 750 751 752 753 754 755 756 757 758 759 760 761 762 |
O := O + Output_Delta;
Output.Cursor := New_Cursor;
end if;
end loop;
pragma Assert (O = Result'Last);
Result (O) := Encodings.Quoted_Atom_End;
Output.Cursor := Output.Cursor + 1;
Write_Raw (Printer'Class (Output), Result);
end;
pragma Assert (Output.Cursor = Expected_Cursor);
end Write_Quoted;
|
| ︙ | ︙ |