@@ -1146,7 +1146,7 @@ equiv_class::to_json () const
return ec_obj;
}
-std::unique_ptr<text_art::widget>
+std::unique_ptr<text_art::tree_widget>
equiv_class::make_dump_widget (const text_art::dump_widget_info &dwi,
unsigned id) const
{
@@ -1176,7 +1176,7 @@ equiv_class::make_dump_widget (const text_art::dump_widget_info &dwi,
ec_widget->add_child (tree_widget::make (dwi, &pp));
}
- return std::move (ec_widget);
+ return ec_widget;
}
/* Generate a hash value for this equiv_class.
@@ -1491,7 +1491,7 @@ bounded_ranges_constraint::to_json () const
return con_obj;
}
-std::unique_ptr<text_art::widget>
+std::unique_ptr<text_art::tree_widget>
bounded_ranges_constraint::
make_dump_widget (const text_art::dump_widget_info &dwi) const
{
@@ -1500,7 +1500,7 @@ make_dump_widget (const text_art::dump_widget_info &dwi) const
(tree_widget::from_fmt (dwi, nullptr,
"ec%i bounded ranges", m_ec_id.as_int ()));
m_ranges->add_to_dump_widget (*brc_widget.get (), dwi);
- return std::move (brc_widget);
+ return brc_widget;
}
bool
@@ -1829,7 +1829,7 @@ constraint_manager::to_json () const
return cm_obj;
}
-std::unique_ptr<text_art::widget>
+std::unique_ptr<text_art::tree_widget>
constraint_manager::make_dump_widget (const text_art::dump_widget_info &dwi) const
{
using text_art::tree_widget;
@@ -1853,7 +1853,7 @@ constraint_manager::make_dump_widget (const text_art::dump_widget_info &dwi) con
if (cm_widget->get_num_children () == 0)
return nullptr;
- return std::move (cm_widget);
+ return cm_widget;
}
/* Attempt to add the constraint LHS OP RHS to this constraint_manager.
@@ -273,7 +273,7 @@ public:
json::object *to_json () const;
- std::unique_ptr<text_art::widget>
+ std::unique_ptr<text_art::tree_widget>
make_dump_widget (const text_art::dump_widget_info &dwi,
unsigned id) const;
@@ -408,7 +408,7 @@ public:
void add_to_hash (inchash::hash *hstate) const;
- std::unique_ptr<text_art::widget>
+ std::unique_ptr<text_art::tree_widget>
make_dump_widget (const text_art::dump_widget_info &dwi) const;
equiv_class_id m_ec_id;
@@ -444,7 +444,7 @@ public:
json::object *to_json () const;
- std::unique_ptr<text_art::widget>
+ std::unique_ptr<text_art::tree_widget>
make_dump_widget (const text_art::dump_widget_info &dwi) const;
const equiv_class &get_equiv_class_by_index (unsigned idx) const
@@ -309,7 +309,7 @@ sm_state_map::to_json () const
/* Make a text_art::tree_widget describing this sm_state_map,
using MODEL if non-null to describe svalues. */
-std::unique_ptr<text_art::widget>
+std::unique_ptr<text_art::tree_widget>
sm_state_map::make_dump_widget (const text_art::dump_widget_info &dwi,
const region_model *model) const
{
@@ -382,7 +382,7 @@ sm_state_map::make_dump_widget (const text_art::dump_widget_info &dwi,
state_widget->add_child (tree_widget::make (dwi, pp));
}
- return std::move (state_widget);
+ return state_widget;
}
/* Return true if no states have been set within this map
@@ -1229,7 +1229,7 @@ program_state::to_json (const extrinsic_state &ext_state) const
}
-std::unique_ptr<text_art::widget>
+std::unique_ptr<text_art::tree_widget>
program_state::make_dump_widget (const text_art::dump_widget_info &dwi) const
{
using text_art::tree_widget;
@@ -1247,7 +1247,7 @@ program_state::make_dump_widget (const text_art::dump_widget_info &dwi) const
state_widget->add_child (smap->make_dump_widget (dwi, m_region_model));
}
- return std::move (state_widget);
+ return state_widget;
}
/* Update this program_state to reflect a top-level call to FUN.
@@ -119,7 +119,7 @@ public:
json::object *to_json () const;
- std::unique_ptr<text_art::widget>
+ std::unique_ptr<text_art::tree_widget>
make_dump_widget (const text_art::dump_widget_info &dwi,
const region_model *model) const;
@@ -233,7 +233,7 @@ public:
json::object *to_json (const extrinsic_state &ext_state) const;
- std::unique_ptr<text_art::widget>
+ std::unique_ptr<text_art::tree_widget>
make_dump_widget (const text_art::dump_widget_info &dwi) const;
void push_frame (const extrinsic_state &ext_state, const function &fun);
@@ -258,7 +258,7 @@ region_to_value_map::to_json () const
return map_obj;
}
-std::unique_ptr<text_art::widget>
+std::unique_ptr<text_art::tree_widget>
region_to_value_map::
make_dump_widget (const text_art::dump_widget_info &dwi) const
{
@@ -288,7 +288,7 @@ make_dump_widget (const text_art::dump_widget_info &dwi) const
sval->dump_to_pp (pp, true);
w->add_child (text_art::tree_widget::make (dwi, pp));
}
- return std::move (w);
+ return w;
}
/* Attempt to merge THIS with OTHER, writing the result
@@ -532,7 +532,7 @@ region_model::to_json () const
return model_obj;
}
-std::unique_ptr<text_art::widget>
+std::unique_ptr<text_art::tree_widget>
region_model::make_dump_widget (const text_art::dump_widget_info &dwi) const
{
using text_art::tree_widget;
@@ -556,7 +556,7 @@ region_model::make_dump_widget (const text_art::dump_widget_info &dwi) const
m_mgr->get_store_manager ()));
model_widget->add_child (m_constraints->make_dump_widget (dwi));
model_widget->add_child (m_dynamic_extents.make_dump_widget (dwi));
- return std::move (model_widget);
+ return model_widget;
}
/* Assert that this object is valid. */
@@ -179,7 +179,7 @@ public:
json::object *to_json () const;
- std::unique_ptr<text_art::widget>
+ std::unique_ptr<text_art::tree_widget>
make_dump_widget (const text_art::dump_widget_info &dwi) const;
bool can_merge_with_p (const region_to_value_map &other,
@@ -288,7 +288,7 @@ class region_model
json::object *to_json () const;
- std::unique_ptr<text_art::widget>
+ std::unique_ptr<text_art::tree_widget>
make_dump_widget (const text_art::dump_widget_info &dwi) const;
void validate () const;
@@ -1076,7 +1076,7 @@ region::maybe_print_for_user (pretty_printer *pp,
/* Use DWI to create a text_art::widget describing this region in
a tree-like form, using PREFIX as a prefix (e.g. for field names). */
-std::unique_ptr<text_art::widget>
+std::unique_ptr<text_art::tree_widget>
region::make_dump_widget (const text_art::dump_widget_info &dwi,
const char *prefix) const
{
@@ -1101,7 +1101,7 @@ region::make_dump_widget (const text_art::dump_widget_info &dwi,
if (m_parent)
w->add_child (m_parent->make_dump_widget (dwi, "parent"));
- return std::move (w);
+ return w;
}
void
@@ -182,7 +182,7 @@ public:
bool maybe_print_for_user (pretty_printer *pp,
const region_model &model) const;
- std::unique_ptr<text_art::widget>
+ std::unique_ptr<text_art::tree_widget>
make_dump_widget (const text_art::dump_widget_info &dwi,
const char *prefix = nullptr) const;
@@ -1451,7 +1451,7 @@ binding_cluster::to_json () const
return cluster_obj;
}
-std::unique_ptr<text_art::widget>
+std::unique_ptr<text_art::tree_widget>
binding_cluster::make_dump_widget (const text_art::dump_widget_info &dwi,
store_manager *mgr) const
{
@@ -1489,7 +1489,7 @@ binding_cluster::make_dump_widget (const text_art::dump_widget_info &dwi,
m_map.add_to_tree_widget (*cluster_widget, dwi);
- return std::move (cluster_widget);
+ return cluster_widget;
}
}
@@ -2710,7 +2710,7 @@ store::to_json () const
return store_obj;
}
-std::unique_ptr<text_art::widget>
+std::unique_ptr<text_art::tree_widget>
store::make_dump_widget (const text_art::dump_widget_info &dwi,
store_manager *mgr) const
{
@@ -2769,7 +2769,7 @@ store::make_dump_widget (const text_art::dump_widget_info &dwi,
store_widget->add_child (std::move (parent_reg_widget));
}
- return std::move (store_widget);
+ return store_widget;
}
/* Get any svalue bound to REG, or NULL. */
@@ -617,7 +617,7 @@ public:
json::object *to_json () const;
- std::unique_ptr<text_art::widget>
+ std::unique_ptr<text_art::tree_widget>
make_dump_widget (const text_art::dump_widget_info &dwi,
store_manager *mgr) const;
@@ -760,7 +760,7 @@ public:
json::object *to_json () const;
- std::unique_ptr<text_art::widget>
+ std::unique_ptr<text_art::tree_widget>
make_dump_widget (const text_art::dump_widget_info &dwi,
store_manager *mgr) const;
@@ -230,7 +230,7 @@ svalue::maybe_print_for_user (pretty_printer *pp,
(a) print_dump_widget_label, to populate the text of a tree_widget, and
(b) add_dump_widget_children, to add children to the tree_widget. */
-std::unique_ptr<text_art::widget>
+std::unique_ptr<text_art::tree_widget>
svalue::make_dump_widget (const text_art::dump_widget_info &dwi,
const char *prefix) const
{
@@ -252,7 +252,7 @@ svalue::make_dump_widget (const text_art::dump_widget_info &dwi,
add_dump_widget_children (*w, dwi);
- return std::move (w);
+ return w;
}
/* If this svalue is a constant_svalue, return the underlying tree constant.
@@ -107,7 +107,7 @@ public:
json::value *to_json () const;
- std::unique_ptr<text_art::widget>
+ std::unique_ptr<text_art::tree_widget>
make_dump_widget (const dump_widget_info &dwi,
const char *prefix = nullptr) const;