Use std::vector for cli_ui_out_data::streams
authorSimon Marchi <simon.marchi@polymtl.ca>
Thu, 1 Dec 2016 02:46:08 +0000 (21:46 -0500)
committerSimon Marchi <simon.marchi@polymtl.ca>
Thu, 1 Dec 2016 02:46:09 +0000 (21:46 -0500)
commitb9b118c3bb29052ee76c6bf32b99962cda5113ba
treedcfccc275d86af74f0df35b61247a98b5ccd0fb1
parent4a9d4ea535a6c9b8c2e7cdf91377abe284d0b277
Use std::vector for cli_ui_out_data::streams

Use a standard vector instead of the home-made version.  I used a vector
of plain pointers, because the cli_ui_out_data object doesn't own the
streams objects (i.e. they shouldn't be deleted when the vector is
deleted).

gdb/ChangeLog:

* cli-out.h (cli_ui_out_data) <streams>: Change type to
std::vector.
* cli-out.c: Remove vec.h include.
(cli_uiout_dtor): Update.
(cli_field_fmt): Update.
(cli_spaces): Update.
(cli_text): Update.
(cli_message): Update.
(cli_flush): Update.
(cli_redirect): Update.
(out_field_fmt): Update.
(field_separator): Update.
(cli_out_data_ctor): Update.
(cli_out_new): Update.
(cli_out_set_stream): Update.
gdb/ChangeLog
gdb/cli-out.c
gdb/cli-out.h