Simon Marchi
65cded61a2
gdbsupport: add string_xml_appendf
...
Add a version of buffer_xml_printf (defined in gdbsupport/buffer.{c,h})
that appends to an std::string, rather than a struct buffer. Call it
"string" rather than "buffer" since it operates on an std::string rather
than a buffer. And call it "appendf" rather than "printf", since it
appends to and does not replace the string's content. This mirrors
string_appendf.
Place the new version in gdbsupport/xml-utils.h.
The code is a direct copy of buffer_xml_printf. The old version is
going to disappear at some point, which is why I didn't do any effort to
share code.
Change-Id: I30e030627ab4970fd0b9eba3b7e8cec78fa561ba
Approved-By: Pedro Alves <pedro@palves.net>
2022-12-16 08:33:12 -05:00
..
2022-01-01 19:13:23 +04:00
2020-03-05 15:59:22 +01:00
2022-01-13 10:25:45 +00:00
2020-10-31 08:30:57 -04:00
2022-01-01 19:13:23 +04:00
2022-01-01 19:13:23 +04:00
2022-01-01 19:13:23 +04:00
2022-01-01 19:13:23 +04:00
2022-01-01 19:13:23 +04:00
2022-06-30 13:31:06 +02:00
2022-01-01 19:13:23 +04:00
2022-10-19 15:32:36 +01:00
2022-01-01 19:13:23 +04:00
2022-01-01 19:13:23 +04:00
2022-01-01 19:13:23 +04:00
2022-01-18 10:14:42 -07:00
2022-01-01 19:13:23 +04:00
2021-07-26 12:20:33 +01:00
2022-01-01 19:13:23 +04:00
2022-01-01 19:13:23 +04:00
2022-01-01 19:13:23 +04:00
2022-01-01 19:13:23 +04:00
2022-12-14 10:56:47 +00:00
2022-08-05 08:09:57 +02:00
2022-10-19 15:32:36 +01:00
2022-04-12 09:31:16 -06:00
2022-01-01 19:13:23 +04:00
2022-01-01 19:13:23 +04:00
2022-01-01 19:13:23 +04:00
2022-01-01 19:13:23 +04:00
2022-01-01 19:13:23 +04:00
2022-01-01 19:13:23 +04:00
2022-10-19 15:32:36 +01:00
2022-12-15 12:13:35 -07:00
2022-08-26 10:29:51 -04:00
2022-01-13 10:25:45 +00:00
2022-06-27 13:55:36 +01:00
2022-10-09 21:27:37 -04:00
2022-09-08 11:03:12 +00:00
2022-01-01 19:13:23 +04:00
2022-01-01 19:13:23 +04:00
2022-01-01 19:13:23 +04:00
2022-01-01 19:13:23 +04:00
2022-01-01 19:13:23 +04:00
2022-11-27 21:08:24 +01:00
2022-01-01 19:13:23 +04:00
2022-11-13 14:46:20 +00:00
2022-11-13 14:46:20 +00:00
2022-10-19 15:32:36 +01:00
2022-08-18 11:56:38 +02:00
2022-03-03 13:06:50 -08:00
2022-03-03 11:21:36 -08:00
2022-09-21 14:11:03 -04:00
2022-09-21 14:11:03 -04:00
2022-11-08 16:50:52 -05:00
2022-11-08 16:50:52 -05:00
2022-01-01 19:13:23 +04:00
2022-01-01 19:13:23 +04:00
2022-01-01 19:13:23 +04:00
2022-01-01 19:13:23 +04:00
2022-08-30 14:43:26 -04:00
2022-10-19 15:32:36 +01:00
2022-01-01 19:13:23 +04:00
2022-01-01 19:13:23 +04:00
2022-01-01 19:13:23 +04:00
2022-01-18 10:14:42 -07:00
2022-01-18 10:14:42 -07:00
2022-08-26 11:47:23 -04:00
2022-01-01 19:13:23 +04:00
2022-01-01 19:13:23 +04:00
2022-01-20 22:58:21 -05:00
2022-01-18 10:14:43 -07:00
2022-01-01 19:13:23 +04:00
2022-01-01 19:13:23 +04:00
2022-01-01 19:13:23 +04:00
2022-01-01 19:13:23 +04:00
2022-01-01 19:13:23 +04:00
2022-01-01 19:13:23 +04:00
2022-01-01 19:13:23 +04:00
2022-04-18 15:48:03 -04:00
2022-04-18 15:48:03 -04:00
2022-02-25 17:50:22 +00:00
2022-01-01 19:13:23 +04:00
2022-01-01 19:13:23 +04:00
2022-01-01 19:13:23 +04:00
2022-01-01 19:13:23 +04:00
2022-01-01 19:13:23 +04:00
2022-07-21 15:19:43 +01:00
2022-01-01 19:13:23 +04:00
2022-01-01 19:13:23 +04:00
2022-01-18 10:14:43 -07:00
2022-01-18 10:14:43 -07:00
2022-01-01 19:13:23 +04:00
2022-01-01 19:13:23 +04:00
2022-01-01 19:13:23 +04:00
2022-01-01 19:13:23 +04:00
2022-01-01 19:13:23 +04:00
2022-04-13 10:24:38 +01:00
2022-08-30 14:43:26 -04:00
2022-11-17 14:49:41 +00:00
2022-01-01 19:13:23 +04:00
2022-01-01 19:13:23 +04:00
2022-02-22 11:22:14 -08:00
2022-09-08 11:03:12 +00:00
2022-01-01 19:13:23 +04:00
2022-01-01 19:13:23 +04:00
2022-01-01 19:13:23 +04:00
2022-01-01 19:13:23 +04:00
2022-05-10 13:40:57 +01:00
2022-01-01 19:13:23 +04:00
2022-07-25 16:04:05 +01:00
2022-08-30 14:43:26 -04:00
2022-09-21 11:36:01 -04:00
2022-09-21 11:36:01 -04:00
2022-01-01 19:13:23 +04:00
2022-01-01 19:13:23 +04:00
2022-10-19 15:32:36 +01:00
2022-01-01 19:13:23 +04:00
2022-01-01 19:13:23 +04:00
2022-01-01 19:13:23 +04:00
2022-01-01 19:13:23 +04:00
2022-05-26 07:35:30 -06:00
2022-01-01 19:13:23 +04:00
2022-01-01 19:13:23 +04:00
2022-01-01 19:13:23 +04:00
2022-01-01 19:13:23 +04:00
2022-01-01 19:13:23 +04:00
2022-01-01 19:13:23 +04:00
2022-01-01 19:13:23 +04:00
2022-01-01 19:13:23 +04:00
2022-01-01 19:13:23 +04:00
2022-01-01 19:13:23 +04:00
2022-01-04 10:28:19 +00:00
2022-01-01 19:13:23 +04:00
2022-01-01 19:13:23 +04:00
2022-01-01 19:13:23 +04:00
2022-01-01 19:13:23 +04:00
2022-01-01 19:13:23 +04:00
2022-01-01 19:13:23 +04:00
2022-04-19 09:12:42 +01:00
2022-04-19 09:12:42 +01:00
2022-01-01 19:13:23 +04:00
2022-01-01 19:13:23 +04:00
2022-01-01 19:13:23 +04:00
2022-01-01 19:13:23 +04:00
2022-01-01 19:13:23 +04:00
2022-01-01 19:13:23 +04:00
2022-01-01 19:13:23 +04:00
2022-05-10 08:15:40 -06:00
2022-05-10 08:15:40 -06:00
2022-01-01 19:13:23 +04:00
2022-01-01 19:13:23 +04:00
2022-01-01 19:13:23 +04:00
2022-01-01 19:13:23 +04:00
2022-01-13 10:25:45 +00:00
2022-01-01 19:13:23 +04:00
2022-12-16 08:33:12 -05:00
2022-12-16 08:33:12 -05:00