blob: d6efe78e49a8c8da6ef205315f2cbf8bf328c04e [file] [log] [blame]
Zachary Turnerc1564272016-11-16 21:15:24 +00001//===-- ValueObjectPrinter.cpp -----------------------------------*- C++-*-===//
Enrico Granata4d93b8c2013-09-30 19:11:51 +00002//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9
10#include "lldb/DataFormatters/ValueObjectPrinter.h"
11
12// C Includes
13// C++ Includes
14// Other libraries and framework includes
15// Project includes
Enrico Granatac8e76492015-10-19 22:04:25 +000016#include "lldb/Core/Stream.h"
17#include "lldb/Core/ValueObject.h"
Enrico Granataa29cb0b2013-10-04 23:14:13 +000018#include "lldb/DataFormatters/DataVisualization.h"
Enrico Granata4d93b8c2013-09-30 19:11:51 +000019#include "lldb/Interpreter/CommandInterpreter.h"
Enrico Granatac8e76492015-10-19 22:04:25 +000020#include "lldb/Target/Language.h"
Enrico Granata4d93b8c2013-09-30 19:11:51 +000021#include "lldb/Target/Target.h"
22
23using namespace lldb;
24using namespace lldb_private;
25
Kate Stoneb9c1b512016-09-06 20:57:50 +000026ValueObjectPrinter::ValueObjectPrinter(ValueObject *valobj, Stream *s) {
27 if (valobj) {
28 DumpValueObjectOptions options(*valobj);
29 Init(valobj, s, options, m_options.m_max_ptr_depth, 0, nullptr);
30 } else {
31 DumpValueObjectOptions options;
32 Init(valobj, s, options, m_options.m_max_ptr_depth, 0, nullptr);
33 }
Enrico Granatad5957332015-06-03 20:43:54 +000034}
35
Kate Stoneb9c1b512016-09-06 20:57:50 +000036ValueObjectPrinter::ValueObjectPrinter(ValueObject *valobj, Stream *s,
37 const DumpValueObjectOptions &options) {
38 Init(valobj, s, options, m_options.m_max_ptr_depth, 0, nullptr);
Enrico Granata4d93b8c2013-09-30 19:11:51 +000039}
40
Kate Stoneb9c1b512016-09-06 20:57:50 +000041ValueObjectPrinter::ValueObjectPrinter(
42 ValueObject *valobj, Stream *s, const DumpValueObjectOptions &options,
43 const DumpValueObjectOptions::PointerDepth &ptr_depth, uint32_t curr_depth,
44 InstancePointersSetSP printed_instance_pointers) {
45 Init(valobj, s, options, ptr_depth, curr_depth, printed_instance_pointers);
Enrico Granata938d1d62013-10-05 00:20:27 +000046}
47
Kate Stoneb9c1b512016-09-06 20:57:50 +000048void ValueObjectPrinter::Init(
49 ValueObject *valobj, Stream *s, const DumpValueObjectOptions &options,
50 const DumpValueObjectOptions::PointerDepth &ptr_depth, uint32_t curr_depth,
51 InstancePointersSetSP printed_instance_pointers) {
52 m_orig_valobj = valobj;
53 m_valobj = nullptr;
54 m_stream = s;
55 m_options = options;
56 m_ptr_depth = ptr_depth;
57 m_curr_depth = curr_depth;
58 assert(m_orig_valobj && "cannot print a NULL ValueObject");
59 assert(m_stream && "cannot print to a NULL Stream");
60 m_should_print = eLazyBoolCalculate;
61 m_is_nil = eLazyBoolCalculate;
62 m_is_uninit = eLazyBoolCalculate;
63 m_is_ptr = eLazyBoolCalculate;
64 m_is_ref = eLazyBoolCalculate;
65 m_is_aggregate = eLazyBoolCalculate;
66 m_is_instance_ptr = eLazyBoolCalculate;
67 m_summary_formatter = {nullptr, false};
68 m_value.assign("");
69 m_summary.assign("");
70 m_error.assign("");
71 m_val_summary_ok = false;
72 m_printed_instance_pointers =
73 printed_instance_pointers
74 ? printed_instance_pointers
75 : InstancePointersSetSP(new InstancePointersSet());
Enrico Granata938d1d62013-10-05 00:20:27 +000076}
Enrico Granata4d93b8c2013-09-30 19:11:51 +000077
Kate Stoneb9c1b512016-09-06 20:57:50 +000078bool ValueObjectPrinter::PrintValueObject() {
79 if (!GetMostSpecializedValue() || m_valobj == nullptr)
80 return false;
Enrico Granata608d67c2015-11-10 22:39:15 +000081
Kate Stoneb9c1b512016-09-06 20:57:50 +000082 if (ShouldPrintValueObject()) {
83 PrintValidationMarkerIfNeeded();
Enrico Granata608d67c2015-11-10 22:39:15 +000084
Kate Stoneb9c1b512016-09-06 20:57:50 +000085 PrintLocationIfNeeded();
86 m_stream->Indent();
87
88 PrintDecl();
89 }
90
91 bool value_printed = false;
92 bool summary_printed = false;
93
94 m_val_summary_ok =
95 PrintValueAndSummaryIfNeeded(value_printed, summary_printed);
96
97 if (m_val_summary_ok)
98 PrintChildrenIfNeeded(value_printed, summary_printed);
99 else
100 m_stream->EOL();
101
102 PrintValidationErrorIfNeeded();
103
104 return true;
105}
106
107bool ValueObjectPrinter::GetMostSpecializedValue() {
108 if (m_valobj)
Enrico Granata4d93b8c2013-09-30 19:11:51 +0000109 return true;
Kate Stoneb9c1b512016-09-06 20:57:50 +0000110 bool update_success = m_orig_valobj->UpdateValueIfNeeded(true);
111 if (!update_success) {
112 m_valobj = m_orig_valobj;
113 } else {
114 if (m_orig_valobj->IsDynamic()) {
115 if (m_options.m_use_dynamic == eNoDynamicValues) {
116 ValueObject *static_value = m_orig_valobj->GetStaticValue().get();
117 if (static_value)
118 m_valobj = static_value;
119 else
120 m_valobj = m_orig_valobj;
121 } else
122 m_valobj = m_orig_valobj;
123 } else {
124 if (m_options.m_use_dynamic != eNoDynamicValues) {
125 ValueObject *dynamic_value =
126 m_orig_valobj->GetDynamicValue(m_options.m_use_dynamic).get();
127 if (dynamic_value)
128 m_valobj = dynamic_value;
129 else
130 m_valobj = m_orig_valobj;
131 } else
Enrico Granata106260c2013-10-22 22:42:14 +0000132 m_valobj = m_orig_valobj;
Enrico Granata4d93b8c2013-09-30 19:11:51 +0000133 }
Kate Stoneb9c1b512016-09-06 20:57:50 +0000134
135 if (m_valobj->IsSynthetic()) {
136 if (m_options.m_use_synthetic == false) {
137 ValueObject *non_synthetic = m_valobj->GetNonSyntheticValue().get();
138 if (non_synthetic)
139 m_valobj = non_synthetic;
140 }
141 } else {
142 if (m_options.m_use_synthetic == true) {
143 ValueObject *synthetic = m_valobj->GetSyntheticValue().get();
144 if (synthetic)
145 m_valobj = synthetic;
146 }
Enrico Granata106260c2013-10-22 22:42:14 +0000147 }
Kate Stoneb9c1b512016-09-06 20:57:50 +0000148 }
149 m_compiler_type = m_valobj->GetCompilerType();
150 m_type_flags = m_compiler_type.GetTypeInfo();
151 return true;
152}
153
154const char *ValueObjectPrinter::GetDescriptionForDisplay() {
155 const char *str = m_valobj->GetObjectDescription();
156 if (!str)
157 str = m_valobj->GetSummaryAsCString();
158 if (!str)
159 str = m_valobj->GetValueAsCString();
160 return str;
161}
162
163const char *ValueObjectPrinter::GetRootNameForDisplay(const char *if_fail) {
164 const char *root_valobj_name = m_options.m_root_valobj_name.empty()
165 ? m_valobj->GetName().AsCString()
166 : m_options.m_root_valobj_name.c_str();
167 return root_valobj_name ? root_valobj_name : if_fail;
168}
169
170bool ValueObjectPrinter::ShouldPrintValueObject() {
171 if (m_should_print == eLazyBoolCalculate)
172 m_should_print =
173 (m_options.m_flat_output == false || m_type_flags.Test(eTypeHasValue))
174 ? eLazyBoolYes
175 : eLazyBoolNo;
176 return m_should_print == eLazyBoolYes;
177}
178
179bool ValueObjectPrinter::IsNil() {
180 if (m_is_nil == eLazyBoolCalculate)
181 m_is_nil = m_valobj->IsNilReference() ? eLazyBoolYes : eLazyBoolNo;
182 return m_is_nil == eLazyBoolYes;
183}
184
185bool ValueObjectPrinter::IsUninitialized() {
186 if (m_is_uninit == eLazyBoolCalculate)
187 m_is_uninit =
188 m_valobj->IsUninitializedReference() ? eLazyBoolYes : eLazyBoolNo;
189 return m_is_uninit == eLazyBoolYes;
190}
191
192bool ValueObjectPrinter::IsPtr() {
193 if (m_is_ptr == eLazyBoolCalculate)
194 m_is_ptr = m_type_flags.Test(eTypeIsPointer) ? eLazyBoolYes : eLazyBoolNo;
195 return m_is_ptr == eLazyBoolYes;
196}
197
198bool ValueObjectPrinter::IsRef() {
199 if (m_is_ref == eLazyBoolCalculate)
200 m_is_ref = m_type_flags.Test(eTypeIsReference) ? eLazyBoolYes : eLazyBoolNo;
201 return m_is_ref == eLazyBoolYes;
202}
203
204bool ValueObjectPrinter::IsAggregate() {
205 if (m_is_aggregate == eLazyBoolCalculate)
206 m_is_aggregate =
207 m_type_flags.Test(eTypeHasChildren) ? eLazyBoolYes : eLazyBoolNo;
208 return m_is_aggregate == eLazyBoolYes;
209}
210
211bool ValueObjectPrinter::IsInstancePointer() {
212 // you need to do this check on the value's clang type
213 if (m_is_instance_ptr == eLazyBoolCalculate)
214 m_is_instance_ptr = (m_valobj->GetValue().GetCompilerType().GetTypeInfo() &
215 eTypeInstanceIsPointer) != 0
216 ? eLazyBoolYes
217 : eLazyBoolNo;
218 if ((eLazyBoolYes == m_is_instance_ptr) && m_valobj->IsBaseClass())
219 m_is_instance_ptr = eLazyBoolNo;
220 return m_is_instance_ptr == eLazyBoolYes;
221}
222
223bool ValueObjectPrinter::PrintLocationIfNeeded() {
224 if (m_options.m_show_location) {
225 m_stream->Printf("%s: ", m_valobj->GetLocationAsCString());
Enrico Granata4d93b8c2013-09-30 19:11:51 +0000226 return true;
Kate Stoneb9c1b512016-09-06 20:57:50 +0000227 }
228 return false;
Enrico Granata4d93b8c2013-09-30 19:11:51 +0000229}
230
Kate Stoneb9c1b512016-09-06 20:57:50 +0000231void ValueObjectPrinter::PrintDecl() {
232 bool show_type = true;
233 // if we are at the root-level and been asked to hide the root's type, then
234 // hide it
235 if (m_curr_depth == 0 && m_options.m_hide_root_type)
236 show_type = false;
237 else
238 // otherwise decide according to the usual rules (asked to show types -
239 // always at the root level)
240 show_type = m_options.m_show_types ||
241 (m_curr_depth == 0 && !m_options.m_flat_output);
Enrico Granata4d93b8c2013-09-30 19:11:51 +0000242
Kate Stoneb9c1b512016-09-06 20:57:50 +0000243 StreamString typeName;
Enrico Granata4d93b8c2013-09-30 19:11:51 +0000244
Kate Stoneb9c1b512016-09-06 20:57:50 +0000245 // always show the type at the root level if it is invalid
246 if (show_type) {
247 // Some ValueObjects don't have types (like registers sets). Only print
248 // the type if there is one to print
249 ConstString type_name;
250 if (m_compiler_type.IsValid()) {
251 if (m_options.m_use_type_display_name)
252 type_name = m_valobj->GetDisplayTypeName();
253 else
254 type_name = m_valobj->GetQualifiedTypeName();
255 } else {
256 // only show an invalid type name if the user explicitly triggered
257 // show_type
258 if (m_options.m_show_types)
259 type_name = ConstString("<invalid type>");
260 else
261 type_name.Clear();
Enrico Granata4d93b8c2013-09-30 19:11:51 +0000262 }
Enrico Granata4d93b8c2013-09-30 19:11:51 +0000263
Kate Stoneb9c1b512016-09-06 20:57:50 +0000264 if (type_name) {
265 std::string type_name_str(type_name.GetCString());
266 if (m_options.m_hide_pointer_value) {
267 for (auto iter = type_name_str.find(" *"); iter != std::string::npos;
268 iter = type_name_str.find(" *")) {
269 type_name_str.erase(iter, 2);
Enrico Granatae0ee1e12015-10-17 01:05:50 +0000270 }
Kate Stoneb9c1b512016-09-06 20:57:50 +0000271 }
272 typeName.Printf("%s", type_name_str.c_str());
Enrico Granata4d93b8c2013-09-30 19:11:51 +0000273 }
Kate Stoneb9c1b512016-09-06 20:57:50 +0000274 }
275
276 StreamString varName;
277
278 if (m_options.m_flat_output) {
279 // If we are showing types, also qualify the C++ base classes
280 const bool qualify_cxx_base_classes = show_type;
281 if (!m_options.m_hide_name) {
282 m_valobj->GetExpressionPath(varName, qualify_cxx_base_classes);
Enrico Granata4d93b8c2013-09-30 19:11:51 +0000283 }
Kate Stoneb9c1b512016-09-06 20:57:50 +0000284 } else if (!m_options.m_hide_name) {
285 const char *name_cstr = GetRootNameForDisplay("");
286 varName.Printf("%s", name_cstr);
287 }
288
289 bool decl_printed = false;
290 if (!m_options.m_decl_printing_helper) {
291 // if the user didn't give us a custom helper, pick one based upon the
292 // language, either the one that this printer is bound to, or the preferred
293 // one for the ValueObject
294 lldb::LanguageType lang_type =
295 (m_options.m_varformat_language == lldb::eLanguageTypeUnknown)
296 ? m_valobj->GetPreferredDisplayLanguage()
297 : m_options.m_varformat_language;
298 if (Language *lang_plugin = Language::FindPlugin(lang_type)) {
299 m_options.m_decl_printing_helper = lang_plugin->GetDeclPrintingHelper();
300 }
301 }
302
303 if (m_options.m_decl_printing_helper) {
Zachary Turnerc1564272016-11-16 21:15:24 +0000304 ConstString type_name_cstr(typeName.GetString());
305 ConstString var_name_cstr(varName.GetString());
Kate Stoneb9c1b512016-09-06 20:57:50 +0000306
307 StreamString dest_stream;
308 if (m_options.m_decl_printing_helper(type_name_cstr, var_name_cstr,
309 m_options, dest_stream)) {
310 decl_printed = true;
Zachary Turnerc1564272016-11-16 21:15:24 +0000311 m_stream->PutCString(dest_stream.GetString());
Kate Stoneb9c1b512016-09-06 20:57:50 +0000312 }
313 }
314
315 // if the helper failed, or there is none, do a default thing
316 if (!decl_printed) {
Zachary Turnerc1564272016-11-16 21:15:24 +0000317 if (!typeName.Empty())
Kate Stoneb9c1b512016-09-06 20:57:50 +0000318 m_stream->Printf("(%s) ", typeName.GetData());
Zachary Turnerc1564272016-11-16 21:15:24 +0000319 if (!varName.Empty())
Kate Stoneb9c1b512016-09-06 20:57:50 +0000320 m_stream->Printf("%s =", varName.GetData());
Greg Clayton26014692015-11-03 23:23:59 +0000321 else if (!m_options.m_hide_name)
Kate Stoneb9c1b512016-09-06 20:57:50 +0000322 m_stream->Printf(" =");
323 }
Enrico Granata4d93b8c2013-09-30 19:11:51 +0000324}
325
Kate Stoneb9c1b512016-09-06 20:57:50 +0000326bool ValueObjectPrinter::CheckScopeIfNeeded() {
327 if (m_options.m_scope_already_checked)
Enrico Granata4d93b8c2013-09-30 19:11:51 +0000328 return true;
Kate Stoneb9c1b512016-09-06 20:57:50 +0000329 return m_valobj->IsInScope();
Enrico Granata4d93b8c2013-09-30 19:11:51 +0000330}
331
Kate Stoneb9c1b512016-09-06 20:57:50 +0000332TypeSummaryImpl *ValueObjectPrinter::GetSummaryFormatter(bool null_if_omitted) {
333 if (m_summary_formatter.second == false) {
334 TypeSummaryImpl *entry = m_options.m_summary_sp
335 ? m_options.m_summary_sp.get()
336 : m_valobj->GetSummaryFormat().get();
337
338 if (m_options.m_omit_summary_depth > 0)
339 entry = NULL;
340 m_summary_formatter.first = entry;
341 m_summary_formatter.second = true;
342 }
343 if (m_options.m_omit_summary_depth > 0 && null_if_omitted)
344 return nullptr;
345 return m_summary_formatter.first;
346}
347
348static bool IsPointerValue(const CompilerType &type) {
349 Flags type_flags(type.GetTypeInfo());
350 if (type_flags.AnySet(eTypeInstanceIsPointer | eTypeIsPointer))
351 return type_flags.AllClear(eTypeIsBuiltIn);
352 return false;
353}
354
355void ValueObjectPrinter::GetValueSummaryError(std::string &value,
356 std::string &summary,
357 std::string &error) {
358 lldb::Format format = m_options.m_format;
359 // if I am printing synthetized elements, apply the format to those elements
360 // only
Enrico Granata9ac0dac2016-11-04 18:15:39 +0000361 if (m_options.m_pointer_as_array)
Kate Stoneb9c1b512016-09-06 20:57:50 +0000362 m_valobj->GetValueAsCString(lldb::eFormatDefault, value);
363 else if (format != eFormatDefault && format != m_valobj->GetFormat())
364 m_valobj->GetValueAsCString(format, value);
365 else {
366 const char *val_cstr = m_valobj->GetValueAsCString();
367 if (val_cstr)
368 value.assign(val_cstr);
369 }
370 const char *err_cstr = m_valobj->GetError().AsCString();
371 if (err_cstr)
372 error.assign(err_cstr);
373
374 if (ShouldPrintValueObject()) {
375 if (IsNil())
376 summary.assign("nil");
377 else if (IsUninitialized())
378 summary.assign("<uninitialized>");
379 else if (m_options.m_omit_summary_depth == 0) {
380 TypeSummaryImpl *entry = GetSummaryFormatter();
381 if (entry)
382 m_valobj->GetSummaryAsCString(entry, summary,
383 m_options.m_varformat_language);
384 else {
385 const char *sum_cstr =
386 m_valobj->GetSummaryAsCString(m_options.m_varformat_language);
387 if (sum_cstr)
388 summary.assign(sum_cstr);
389 }
Enrico Granatac1b7c092015-07-27 18:34:14 +0000390 }
Kate Stoneb9c1b512016-09-06 20:57:50 +0000391 }
Enrico Granatac1b7c092015-07-27 18:34:14 +0000392}
393
Kate Stoneb9c1b512016-09-06 20:57:50 +0000394bool ValueObjectPrinter::PrintValueAndSummaryIfNeeded(bool &value_printed,
395 bool &summary_printed) {
396 bool error_printed = false;
397 if (ShouldPrintValueObject()) {
398 if (!CheckScopeIfNeeded())
399 m_error.assign("out of scope");
400 if (m_error.empty()) {
401 GetValueSummaryError(m_value, m_summary, m_error);
Enrico Granatac1b7c092015-07-27 18:34:14 +0000402 }
Kate Stoneb9c1b512016-09-06 20:57:50 +0000403 if (m_error.size()) {
404 // we need to support scenarios in which it is actually fine for a value
405 // to have no type
406 // but - on the other hand - if we get an error *AND* have no type, we try
407 // to get out
408 // gracefully, since most often that combination means "could not resolve
409 // a type"
410 // and the default failure mode is quite ugly
411 if (!m_compiler_type.IsValid()) {
412 m_stream->Printf(" <could not resolve type>");
413 return false;
414 }
Enrico Granatac1b7c092015-07-27 18:34:14 +0000415
Kate Stoneb9c1b512016-09-06 20:57:50 +0000416 error_printed = true;
417 m_stream->Printf(" <%s>\n", m_error.c_str());
418 } else {
419 // Make sure we have a value and make sure the summary didn't
420 // specify that the value should not be printed - and do not print
421 // the value if this thing is nil
422 // (but show the value if the user passes a format explicitly)
423 TypeSummaryImpl *entry = GetSummaryFormatter();
424 if (!IsNil() && !IsUninitialized() && !m_value.empty() &&
425 (entry == NULL || (entry->DoesPrintValue(m_valobj) ||
426 m_options.m_format != eFormatDefault) ||
427 m_summary.empty()) &&
428 !m_options.m_hide_value) {
429 if (m_options.m_hide_pointer_value &&
430 IsPointerValue(m_valobj->GetCompilerType())) {
431 } else {
432 m_stream->Printf(" %s", m_value.c_str());
433 value_printed = true;
Enrico Granata4d93b8c2013-09-30 19:11:51 +0000434 }
Kate Stoneb9c1b512016-09-06 20:57:50 +0000435 }
436
437 if (m_summary.size()) {
438 m_stream->Printf(" %s", m_summary.c_str());
439 summary_printed = true;
440 }
Enrico Granata4d93b8c2013-09-30 19:11:51 +0000441 }
Kate Stoneb9c1b512016-09-06 20:57:50 +0000442 }
443 return !error_printed;
444}
445
446bool ValueObjectPrinter::PrintObjectDescriptionIfNeeded(bool value_printed,
447 bool summary_printed) {
448 if (ShouldPrintValueObject()) {
449 // let's avoid the overly verbose no description error for a nil thing
450 if (m_options.m_use_objc && !IsNil() && !IsUninitialized() &&
Enrico Granata9ac0dac2016-11-04 18:15:39 +0000451 (!m_options.m_pointer_as_array)) {
Kate Stoneb9c1b512016-09-06 20:57:50 +0000452 if (!m_options.m_hide_value || !m_options.m_hide_name)
453 m_stream->Printf(" ");
454 const char *object_desc = nullptr;
455 if (value_printed || summary_printed)
456 object_desc = m_valobj->GetObjectDescription();
457 else
458 object_desc = GetDescriptionForDisplay();
459 if (object_desc && *object_desc) {
460 m_stream->Printf("%s\n", object_desc);
461 return true;
462 } else if (value_printed == false && summary_printed == false)
463 return true;
464 else
465 return false;
466 }
467 }
468 return true;
469}
470
471bool DumpValueObjectOptions::PointerDepth::CanAllowExpansion(
472 bool is_root, TypeSummaryImpl *entry, ValueObject *valobj,
473 const std::string &summary) {
474 switch (m_mode) {
475 case Mode::Always:
476 return (m_count > 0);
477 case Mode::Never:
Enrico Granata4d93b8c2013-09-30 19:11:51 +0000478 return false;
Kate Stoneb9c1b512016-09-06 20:57:50 +0000479 case Mode::Default:
480 if (is_root)
481 m_count = std::min<decltype(m_count)>(m_count, 1);
482 return m_count > 0;
483 case Mode::Formatters:
484 if (!entry || entry->DoesPrintChildren(valobj) || summary.empty())
485 return m_count > 0;
486 return false;
487 }
488 return false;
Enrico Granata4d93b8c2013-09-30 19:11:51 +0000489}
490
Kate Stoneb9c1b512016-09-06 20:57:50 +0000491bool DumpValueObjectOptions::PointerDepth::CanAllowExpansion() const {
492 switch (m_mode) {
493 case Mode::Always:
494 case Mode::Default:
495 case Mode::Formatters:
496 return (m_count > 0);
497 case Mode::Never:
498 return false;
499 }
500 return false;
Siva Chandrad26eb902015-07-24 21:30:58 +0000501}
502
Kate Stoneb9c1b512016-09-06 20:57:50 +0000503bool ValueObjectPrinter::ShouldPrintChildren(
504 bool is_failed_description,
505 DumpValueObjectOptions::PointerDepth &curr_ptr_depth) {
506 const bool is_ref = IsRef();
507 const bool is_ptr = IsPtr();
508 const bool is_uninit = IsUninitialized();
Enrico Granata4d93b8c2013-09-30 19:11:51 +0000509
Kate Stoneb9c1b512016-09-06 20:57:50 +0000510 if (is_uninit)
511 return false;
Enrico Granata4d93b8c2013-09-30 19:11:51 +0000512
Kate Stoneb9c1b512016-09-06 20:57:50 +0000513 // if the user has specified an element count, always print children
514 // as it is explicit user demand being honored
Enrico Granata9ac0dac2016-11-04 18:15:39 +0000515 if (m_options.m_pointer_as_array)
Enrico Granata8cf44d92015-11-10 19:07:58 +0000516 return true;
Enrico Granata8cf44d92015-11-10 19:07:58 +0000517
Kate Stoneb9c1b512016-09-06 20:57:50 +0000518 TypeSummaryImpl *entry = GetSummaryFormatter();
Enrico Granata520a4222016-04-25 00:52:47 +0000519
Kate Stoneb9c1b512016-09-06 20:57:50 +0000520 if (m_options.m_use_objc)
521 return false;
Enrico Granata4d93b8c2013-09-30 19:11:51 +0000522
Kate Stoneb9c1b512016-09-06 20:57:50 +0000523 if (is_failed_description || m_curr_depth < m_options.m_max_depth) {
524 // We will show children for all concrete types. We won't show
525 // pointer contents unless a pointer depth has been specified.
526 // We won't reference contents unless the reference is the
527 // root object (depth of zero).
528
529 // Use a new temporary pointer depth in case we override the
530 // current pointer depth below...
531
532 if (is_ptr || is_ref) {
533 // We have a pointer or reference whose value is an address.
534 // Make sure that address is not NULL
535 AddressType ptr_address_type;
536 if (m_valobj->GetPointerValue(&ptr_address_type) == 0)
Enrico Granataa29cb0b2013-10-04 23:14:13 +0000537 return false;
Kate Stoneb9c1b512016-09-06 20:57:50 +0000538
539 const bool is_root_level = m_curr_depth == 0;
540
541 if (is_ref && is_root_level) {
542 // If this is the root object (depth is zero) that we are showing
543 // and it is a reference, and no pointer depth has been supplied
544 // print out what it references. Don't do this at deeper depths
545 // otherwise we can end up with infinite recursion...
546 return true;
547 }
548
549 return curr_ptr_depth.CanAllowExpansion(false, entry, m_valobj,
550 m_summary);
Enrico Granataa29cb0b2013-10-04 23:14:13 +0000551 }
Kate Stoneb9c1b512016-09-06 20:57:50 +0000552
553 return (!entry || entry->DoesPrintChildren(m_valobj) || m_summary.empty());
554 }
555 return false;
Enrico Granataa29cb0b2013-10-04 23:14:13 +0000556}
557
Kate Stoneb9c1b512016-09-06 20:57:50 +0000558bool ValueObjectPrinter::ShouldExpandEmptyAggregates() {
559 TypeSummaryImpl *entry = GetSummaryFormatter();
560
561 if (!entry)
562 return true;
563
564 return entry->DoesPrintEmptyAggregates();
565}
566
567ValueObject *ValueObjectPrinter::GetValueObjectForChildrenGeneration() {
568 return m_valobj;
569}
570
571void ValueObjectPrinter::PrintChildrenPreamble() {
572 if (m_options.m_flat_output) {
573 if (ShouldPrintValueObject())
574 m_stream->EOL();
575 } else {
576 if (ShouldPrintValueObject())
577 m_stream->PutCString(IsRef() ? ": {\n" : " {\n");
578 m_stream->IndentMore();
579 }
580}
581
582void ValueObjectPrinter::PrintChild(
583 ValueObjectSP child_sp,
584 const DumpValueObjectOptions::PointerDepth &curr_ptr_depth) {
Enrico Granata9ac0dac2016-11-04 18:15:39 +0000585 const uint32_t consumed_depth = (!m_options.m_pointer_as_array) ? 1 : 0;
Kate Stoneb9c1b512016-09-06 20:57:50 +0000586 const bool does_consume_ptr_depth =
Enrico Granata9ac0dac2016-11-04 18:15:39 +0000587 ((IsPtr() && !m_options.m_pointer_as_array) || IsRef());
Kate Stoneb9c1b512016-09-06 20:57:50 +0000588
589 DumpValueObjectOptions child_options(m_options);
590 child_options.SetFormat(m_options.m_format)
591 .SetSummary()
592 .SetRootValueObjectName();
593 child_options.SetScopeChecked(true)
594 .SetHideName(m_options.m_hide_name)
595 .SetHideValue(m_options.m_hide_value)
596 .SetOmitSummaryDepth(child_options.m_omit_summary_depth > 1
597 ? child_options.m_omit_summary_depth -
598 consumed_depth
599 : 0)
600 .SetElementCount(0);
601
602 if (child_sp.get()) {
603 ValueObjectPrinter child_printer(
604 child_sp.get(), m_stream, child_options,
605 does_consume_ptr_depth ? --curr_ptr_depth : curr_ptr_depth,
606 m_curr_depth + consumed_depth, m_printed_instance_pointers);
607 child_printer.PrintValueObject();
608 }
609}
610
611uint32_t ValueObjectPrinter::GetMaxNumChildrenToPrint(bool &print_dotdotdot) {
612 ValueObject *synth_m_valobj = GetValueObjectForChildrenGeneration();
613
Enrico Granata9ac0dac2016-11-04 18:15:39 +0000614 if (m_options.m_pointer_as_array)
615 return m_options.m_pointer_as_array.m_element_count;
Kate Stoneb9c1b512016-09-06 20:57:50 +0000616
617 size_t num_children = synth_m_valobj->GetNumChildren();
618 print_dotdotdot = false;
619 if (num_children) {
620 const size_t max_num_children =
621 m_valobj->GetTargetSP()->GetMaximumNumberOfChildrenToDisplay();
622
623 if (num_children > max_num_children && !m_options.m_ignore_cap) {
624 print_dotdotdot = true;
625 return max_num_children;
626 }
627 }
628 return num_children;
629}
630
631void ValueObjectPrinter::PrintChildrenPostamble(bool print_dotdotdot) {
632 if (!m_options.m_flat_output) {
633 if (print_dotdotdot) {
634 m_valobj->GetTargetSP()
635 ->GetDebugger()
636 .GetCommandInterpreter()
637 .ChildrenTruncated();
638 m_stream->Indent("...\n");
639 }
640 m_stream->IndentLess();
641 m_stream->Indent("}\n");
642 }
643}
644
645bool ValueObjectPrinter::ShouldPrintEmptyBrackets(bool value_printed,
646 bool summary_printed) {
647 ValueObject *synth_m_valobj = GetValueObjectForChildrenGeneration();
648
649 if (!IsAggregate())
650 return false;
651
652 if (m_options.m_reveal_empty_aggregates == false) {
653 if (value_printed || summary_printed)
654 return false;
655 }
656
657 if (synth_m_valobj->MightHaveChildren())
658 return true;
659
660 if (m_val_summary_ok)
661 return false;
662
663 return true;
664}
665
Enrico Granata9ac0dac2016-11-04 18:15:39 +0000666static constexpr size_t PhysicalIndexForLogicalIndex(size_t base, size_t stride,
667 size_t logical) {
668 return base + logical * stride;
669}
670
Kate Stoneb9c1b512016-09-06 20:57:50 +0000671ValueObjectSP ValueObjectPrinter::GenerateChild(ValueObject *synth_valobj,
672 size_t idx) {
Enrico Granata9ac0dac2016-11-04 18:15:39 +0000673 if (m_options.m_pointer_as_array) {
Kate Stoneb9c1b512016-09-06 20:57:50 +0000674 // if generating pointer-as-array children, use GetSyntheticArrayMember
Enrico Granata9ac0dac2016-11-04 18:15:39 +0000675 return synth_valobj->GetSyntheticArrayMember(
676 PhysicalIndexForLogicalIndex(
677 m_options.m_pointer_as_array.m_base_element,
678 m_options.m_pointer_as_array.m_stride, idx),
679 true);
Kate Stoneb9c1b512016-09-06 20:57:50 +0000680 } else {
681 // otherwise, do the usual thing
682 return synth_valobj->GetChildAtIndex(idx, true);
683 }
684}
685
686void ValueObjectPrinter::PrintChildren(
687 bool value_printed, bool summary_printed,
688 const DumpValueObjectOptions::PointerDepth &curr_ptr_depth) {
689 ValueObject *synth_m_valobj = GetValueObjectForChildrenGeneration();
690
691 bool print_dotdotdot = false;
692 size_t num_children = GetMaxNumChildrenToPrint(print_dotdotdot);
693 if (num_children) {
694 bool any_children_printed = false;
695
696 for (size_t idx = 0; idx < num_children; ++idx) {
697 if (ValueObjectSP child_sp = GenerateChild(synth_m_valobj, idx)) {
698 if (!any_children_printed) {
699 PrintChildrenPreamble();
700 any_children_printed = true;
Enrico Granata8cf44d92015-11-10 19:07:58 +0000701 }
Kate Stoneb9c1b512016-09-06 20:57:50 +0000702 PrintChild(child_sp, curr_ptr_depth);
703 }
704 }
705
706 if (any_children_printed)
707 PrintChildrenPostamble(print_dotdotdot);
708 else {
709 if (ShouldPrintEmptyBrackets(value_printed, summary_printed)) {
710 if (ShouldPrintValueObject())
711 m_stream->PutCString(" {}\n");
Enrico Granata8cf44d92015-11-10 19:07:58 +0000712 else
Kate Stoneb9c1b512016-09-06 20:57:50 +0000713 m_stream->EOL();
714 } else
Enrico Granata245b3ca2013-10-03 18:11:24 +0000715 m_stream->EOL();
Enrico Granata0f883ff2014-09-06 02:20:19 +0000716 }
Kate Stoneb9c1b512016-09-06 20:57:50 +0000717 } else if (ShouldPrintEmptyBrackets(value_printed, summary_printed)) {
718 // Aggregate, no children...
719 if (ShouldPrintValueObject()) {
720 // if it has a synthetic value, then don't print {}, the synthetic
721 // children are probably only being used to vend a value
722 if (m_valobj->DoesProvideSyntheticValue() ||
723 !ShouldExpandEmptyAggregates())
724 m_stream->PutCString("\n");
725 else
726 m_stream->PutCString(" {}\n");
727 }
728 } else {
729 if (ShouldPrintValueObject())
730 m_stream->EOL();
731 }
Enrico Granata0f883ff2014-09-06 02:20:19 +0000732}
733
Kate Stoneb9c1b512016-09-06 20:57:50 +0000734bool ValueObjectPrinter::PrintChildrenOneLiner(bool hide_names) {
735 if (!GetMostSpecializedValue() || m_valobj == nullptr)
736 return false;
737
738 ValueObject *synth_m_valobj = GetValueObjectForChildrenGeneration();
739
740 bool print_dotdotdot = false;
741 size_t num_children = GetMaxNumChildrenToPrint(print_dotdotdot);
742
743 if (num_children) {
744 m_stream->PutChar('(');
745
746 for (uint32_t idx = 0; idx < num_children; ++idx) {
747 lldb::ValueObjectSP child_sp(synth_m_valobj->GetChildAtIndex(idx, true));
748 if (child_sp)
749 child_sp = child_sp->GetQualifiedRepresentationIfAvailable(
750 m_options.m_use_dynamic, m_options.m_use_synthetic);
751 if (child_sp) {
752 if (idx)
753 m_stream->PutCString(", ");
754 if (!hide_names) {
755 const char *name = child_sp.get()->GetName().AsCString();
756 if (name && *name) {
757 m_stream->PutCString(name);
758 m_stream->PutCString(" = ");
759 }
760 }
761 child_sp->DumpPrintableRepresentation(
762 *m_stream, ValueObject::eValueObjectRepresentationStyleSummary,
763 m_options.m_format,
Enrico Granata65d86e42016-11-07 23:32:20 +0000764 ValueObject::PrintableRepresentationSpecialCases::eDisable);
Kate Stoneb9c1b512016-09-06 20:57:50 +0000765 }
766 }
767
768 if (print_dotdotdot)
769 m_stream->PutCString(", ...)");
770 else
771 m_stream->PutChar(')');
772 }
773 return true;
774}
775
776void ValueObjectPrinter::PrintChildrenIfNeeded(bool value_printed,
777 bool summary_printed) {
778 // this flag controls whether we tried to display a description for this
779 // object and failed
780 // if that happens, we want to display the children, if any
781 bool is_failed_description =
782 !PrintObjectDescriptionIfNeeded(value_printed, summary_printed);
783
784 auto curr_ptr_depth = m_ptr_depth;
785 bool print_children =
786 ShouldPrintChildren(is_failed_description, curr_ptr_depth);
787 bool print_oneline =
788 (curr_ptr_depth.CanAllowExpansion() || m_options.m_show_types ||
789 !m_options.m_allow_oneliner_mode || m_options.m_flat_output ||
Enrico Granata9ac0dac2016-11-04 18:15:39 +0000790 (m_options.m_pointer_as_array) || m_options.m_show_location)
Kate Stoneb9c1b512016-09-06 20:57:50 +0000791 ? false
792 : DataVisualization::ShouldPrintAsOneLiner(*m_valobj);
793 bool is_instance_ptr = IsInstancePointer();
794 uint64_t instance_ptr_value = LLDB_INVALID_ADDRESS;
795
796 if (print_children && is_instance_ptr) {
797 instance_ptr_value = m_valobj->GetValueAsUnsigned(0);
798 if (m_printed_instance_pointers->count(instance_ptr_value)) {
799 // we already printed this instance-is-pointer thing, so don't expand it
800 m_stream->PutCString(" {...}\n");
801
802 // we're done here - get out fast
803 return;
804 } else
805 m_printed_instance_pointers->emplace(
806 instance_ptr_value); // remember this guy for future reference
807 }
808
809 if (print_children) {
810 if (print_oneline) {
811 m_stream->PutChar(' ');
812 PrintChildrenOneLiner(false);
813 m_stream->EOL();
814 } else
815 PrintChildren(value_printed, summary_printed, curr_ptr_depth);
816 } else if (m_curr_depth >= m_options.m_max_depth && IsAggregate() &&
817 ShouldPrintValueObject()) {
818 m_stream->PutCString("{...}\n");
819 } else
Enrico Granata0f883ff2014-09-06 02:20:19 +0000820 m_stream->EOL();
Kate Stoneb9c1b512016-09-06 20:57:50 +0000821}
822
823bool ValueObjectPrinter::ShouldPrintValidation() {
824 return m_options.m_run_validator;
825}
826
827bool ValueObjectPrinter::PrintValidationMarkerIfNeeded() {
828 if (!ShouldPrintValidation())
829 return false;
830
831 m_validation = m_valobj->GetValidationStatus();
832
833 if (TypeValidatorResult::Failure == m_validation.first) {
834 m_stream->Printf("! ");
Enrico Granata0f883ff2014-09-06 02:20:19 +0000835 return true;
Kate Stoneb9c1b512016-09-06 20:57:50 +0000836 }
837
838 return false;
839}
840
841bool ValueObjectPrinter::PrintValidationErrorIfNeeded() {
842 if (!ShouldPrintValidation())
843 return false;
844
845 if (TypeValidatorResult::Success == m_validation.first)
846 return false;
847
848 if (m_validation.second.empty())
849 m_validation.second.assign("unknown error");
850
851 m_stream->Printf(" ! validation error: %s", m_validation.second.c_str());
852 m_stream->EOL();
853
854 return true;
Enrico Granata0f883ff2014-09-06 02:20:19 +0000855}