blob: fddc06413196856fb2f6dda34df78c3d83f99409 [file] [log] [blame]
//===-- ValueObject.h -------------------------------------------*- C++ -*-===//
//
// The LLVM Compiler Infrastructure
//
// This file is distributed under the University of Illinois Open Source
// License. See LICENSE.TXT for details.
//
//===----------------------------------------------------------------------===//
#ifndef liblldb_ValueObject_h_
#define liblldb_ValueObject_h_
#include "lldb/Core/Value.h"
#include "lldb/Symbol/CompilerType.h"
#include "lldb/Symbol/Type.h" // for TypeImpl
#include "lldb/Target/ExecutionContext.h"
#include "lldb/Target/Process.h"
#include "lldb/Utility/ConstString.h"
#include "lldb/Utility/DataExtractor.h"
#include "lldb/Utility/SharedCluster.h"
#include "lldb/Utility/Status.h"
#include "lldb/Utility/UserID.h"
#include "lldb/lldb-defines.h" // for LLDB_INVALID...
#include "lldb/lldb-enumerations.h" // for DynamicValue...
#include "lldb/lldb-forward.h" // for ValueObjectSP
#include "lldb/lldb-private-enumerations.h" // for AddressType
#include "lldb/lldb-types.h" // for addr_t, offs...
#include "llvm/ADT/ArrayRef.h"
#include "llvm/ADT/Optional.h"
#include "llvm/ADT/SmallVector.h"
#include "llvm/ADT/StringRef.h" // for StringRef
#include <functional>
#include <initializer_list>
#include <map>
#include <mutex> // for recursive_mutex
#include <string> // for string
#include <utility> // for pair
#include <stddef.h> // for size_t
#include <stdint.h> // for uint32_t
namespace lldb_private {
class Declaration;
}
namespace lldb_private {
class DumpValueObjectOptions;
}
namespace lldb_private {
class EvaluateExpressionOptions;
}
namespace lldb_private {
class ExecutionContextScope;
}
namespace lldb_private {
class Log;
}
namespace lldb_private {
class Scalar;
}
namespace lldb_private {
class Stream;
}
namespace lldb_private {
class SymbolContextScope;
}
namespace lldb_private {
class TypeFormatImpl;
}
namespace lldb_private {
class TypeSummaryImpl;
}
namespace lldb_private {
class TypeSummaryOptions;
}
namespace lldb_private {
/// ValueObject:
///
/// This abstract class provides an interface to a particular value, be it a
/// register, a local or global variable,
/// that is evaluated in some particular scope. The ValueObject also has the
/// capability of being the "child" of
/// some other variable object, and in turn of having children.
/// If a ValueObject is a root variable object - having no parent - then it must
/// be constructed with respect to some
/// particular ExecutionContextScope. If it is a child, it inherits the
/// ExecutionContextScope from its parent.
/// The ValueObject will update itself if necessary before fetching its value,
/// summary, object description, etc.
/// But it will always update itself in the ExecutionContextScope with which it
/// was originally created.
/// A brief note on life cycle management for ValueObjects. This is a little
/// tricky because a ValueObject can contain
/// various other ValueObjects - the Dynamic Value, its children, the
/// dereference value, etc. Any one of these can be
/// handed out as a shared pointer, but for that contained value object to be
/// valid, the root object and potentially other
/// of the value objects need to stay around.
/// We solve this problem by handing out shared pointers to the Value Object and
/// any of its dependents using a shared
/// ClusterManager. This treats each shared pointer handed out for the entire
/// cluster as a reference to the whole
/// cluster. The whole cluster will stay around until the last reference is
/// released.
///
/// The ValueObject mostly handle this automatically, if a value object is made
/// with a Parent ValueObject, then it adds
/// itself to the ClusterManager of the parent.
/// It does mean that external to the ValueObjects we should only ever make
/// available ValueObjectSP's, never ValueObjects
/// or pointers to them. So all the "Root level" ValueObject derived
/// constructors should be private, and
/// should implement a Create function that new's up object and returns a Shared
/// Pointer that it gets from the GetSP() method.
///
/// However, if you are making an derived ValueObject that will be contained in
/// a parent value object, you should just
/// hold onto a pointer to it internally, and by virtue of passing the parent
/// ValueObject into its constructor, it will
/// be added to the ClusterManager for the parent. Then if you ever hand out a
/// Shared Pointer to the contained ValueObject,
/// just do so by calling GetSP() on the contained object.
class ValueObject : public UserID {
public:
enum GetExpressionPathFormat {
eGetExpressionPathFormatDereferencePointers = 1,
eGetExpressionPathFormatHonorPointers
};
enum ValueObjectRepresentationStyle {
eValueObjectRepresentationStyleValue = 1,
eValueObjectRepresentationStyleSummary,
eValueObjectRepresentationStyleLanguageSpecific,
eValueObjectRepresentationStyleLocation,
eValueObjectRepresentationStyleChildrenCount,
eValueObjectRepresentationStyleType,
eValueObjectRepresentationStyleName,
eValueObjectRepresentationStyleExpressionPath
};
enum ExpressionPathScanEndReason {
eExpressionPathScanEndReasonEndOfString = 1, // out of data to parse
eExpressionPathScanEndReasonNoSuchChild, // child element not found
eExpressionPathScanEndReasonNoSuchSyntheticChild, // (synthetic) child
// element not found
eExpressionPathScanEndReasonEmptyRangeNotAllowed, // [] only allowed for
// arrays
eExpressionPathScanEndReasonDotInsteadOfArrow, // . used when -> should be
// used
eExpressionPathScanEndReasonArrowInsteadOfDot, // -> used when . should be
// used
eExpressionPathScanEndReasonFragileIVarNotAllowed, // ObjC ivar expansion
// not allowed
eExpressionPathScanEndReasonRangeOperatorNotAllowed, // [] not allowed by
// options
eExpressionPathScanEndReasonRangeOperatorInvalid, // [] not valid on objects
// other than scalars,
// pointers or arrays
eExpressionPathScanEndReasonArrayRangeOperatorMet, // [] is good for arrays,
// but I cannot parse it
eExpressionPathScanEndReasonBitfieldRangeOperatorMet, // [] is good for
// bitfields, but I
// cannot parse after
// it
eExpressionPathScanEndReasonUnexpectedSymbol, // something is malformed in
// the expression
eExpressionPathScanEndReasonTakingAddressFailed, // impossible to apply &
// operator
eExpressionPathScanEndReasonDereferencingFailed, // impossible to apply *
// operator
eExpressionPathScanEndReasonRangeOperatorExpanded, // [] was expanded into a
// VOList
eExpressionPathScanEndReasonSyntheticValueMissing, // getting the synthetic
// children failed
eExpressionPathScanEndReasonUnknown = 0xFFFF
};
enum ExpressionPathEndResultType {
eExpressionPathEndResultTypePlain = 1, // anything but...
eExpressionPathEndResultTypeBitfield, // a bitfield
eExpressionPathEndResultTypeBoundedRange, // a range [low-high]
eExpressionPathEndResultTypeUnboundedRange, // a range []
eExpressionPathEndResultTypeValueObjectList, // several items in a VOList
eExpressionPathEndResultTypeInvalid = 0xFFFF
};
enum ExpressionPathAftermath {
eExpressionPathAftermathNothing = 1, // just return it
eExpressionPathAftermathDereference, // dereference the target
eExpressionPathAftermathTakeAddress // take target's address
};
enum ClearUserVisibleDataItems {
eClearUserVisibleDataItemsNothing = 1u << 0,
eClearUserVisibleDataItemsValue = 1u << 1,
eClearUserVisibleDataItemsSummary = 1u << 2,
eClearUserVisibleDataItemsLocation = 1u << 3,
eClearUserVisibleDataItemsDescription = 1u << 4,
eClearUserVisibleDataItemsSyntheticChildren = 1u << 5,
eClearUserVisibleDataItemsValidator = 1u << 6,
eClearUserVisibleDataItemsAllStrings =
eClearUserVisibleDataItemsValue | eClearUserVisibleDataItemsSummary |
eClearUserVisibleDataItemsLocation |
eClearUserVisibleDataItemsDescription,
eClearUserVisibleDataItemsAll = 0xFFFF
};
struct GetValueForExpressionPathOptions {
enum class SyntheticChildrenTraversal {
None,
ToSynthetic,
FromSynthetic,
Both
};
bool m_check_dot_vs_arrow_syntax;
bool m_no_fragile_ivar;
bool m_allow_bitfields_syntax;
SyntheticChildrenTraversal m_synthetic_children_traversal;
GetValueForExpressionPathOptions(
bool dot = false, bool no_ivar = false, bool bitfield = true,
SyntheticChildrenTraversal synth_traverse =
SyntheticChildrenTraversal::ToSynthetic)
: m_check_dot_vs_arrow_syntax(dot), m_no_fragile_ivar(no_ivar),
m_allow_bitfields_syntax(bitfield),
m_synthetic_children_traversal(synth_traverse) {}
GetValueForExpressionPathOptions &DoCheckDotVsArrowSyntax() {
m_check_dot_vs_arrow_syntax = true;
return *this;
}
GetValueForExpressionPathOptions &DontCheckDotVsArrowSyntax() {
m_check_dot_vs_arrow_syntax = false;
return *this;
}
GetValueForExpressionPathOptions &DoAllowFragileIVar() {
m_no_fragile_ivar = false;
return *this;
}
GetValueForExpressionPathOptions &DontAllowFragileIVar() {
m_no_fragile_ivar = true;
return *this;
}
GetValueForExpressionPathOptions &DoAllowBitfieldSyntax() {
m_allow_bitfields_syntax = true;
return *this;
}
GetValueForExpressionPathOptions &DontAllowBitfieldSyntax() {
m_allow_bitfields_syntax = false;
return *this;
}
GetValueForExpressionPathOptions &
SetSyntheticChildrenTraversal(SyntheticChildrenTraversal traverse) {
m_synthetic_children_traversal = traverse;
return *this;
}
static const GetValueForExpressionPathOptions DefaultOptions() {
static GetValueForExpressionPathOptions g_default_options;
return g_default_options;
}
};
class EvaluationPoint {
public:
EvaluationPoint();
EvaluationPoint(ExecutionContextScope *exe_scope,
bool use_selected = false);
EvaluationPoint(const EvaluationPoint &rhs);
~EvaluationPoint();
const ExecutionContextRef &GetExecutionContextRef() const {
return m_exe_ctx_ref;
}
// Set the EvaluationPoint to the values in exe_scope, Return true if the
// Evaluation Point changed. Since the ExecutionContextScope is always
// going to be valid currently, the Updated Context will also always be
// valid.
// bool
// SetContext (ExecutionContextScope *exe_scope);
void SetIsConstant() {
SetUpdated();
m_mod_id.SetInvalid();
}
bool IsConstant() const { return !m_mod_id.IsValid(); }
ProcessModID GetModID() const { return m_mod_id; }
void SetUpdateID(ProcessModID new_id) { m_mod_id = new_id; }
void SetNeedsUpdate() { m_needs_update = true; }
void SetUpdated();
bool NeedsUpdating(bool accept_invalid_exe_ctx) {
SyncWithProcessState(accept_invalid_exe_ctx);
return m_needs_update;
}
bool IsValid() {
const bool accept_invalid_exe_ctx = false;
if (!m_mod_id.IsValid())
return false;
else if (SyncWithProcessState(accept_invalid_exe_ctx)) {
if (!m_mod_id.IsValid())
return false;
}
return true;
}
void SetInvalid() {
// Use the stop id to mark us as invalid, leave the thread id and the
// stack id around for logging and history purposes.
m_mod_id.SetInvalid();
// Can't update an invalid state.
m_needs_update = false;
}
private:
bool SyncWithProcessState(bool accept_invalid_exe_ctx);
ProcessModID m_mod_id; // This is the stop id when this ValueObject was last
// evaluated.
ExecutionContextRef m_exe_ctx_ref;
bool m_needs_update;
};
virtual ~ValueObject();
const EvaluationPoint &GetUpdatePoint() const { return m_update_point; }
EvaluationPoint &GetUpdatePoint() { return m_update_point; }
const ExecutionContextRef &GetExecutionContextRef() const {
return m_update_point.GetExecutionContextRef();
}
lldb::TargetSP GetTargetSP() const {
return m_update_point.GetExecutionContextRef().GetTargetSP();
}
lldb::ProcessSP GetProcessSP() const {
return m_update_point.GetExecutionContextRef().GetProcessSP();
}
lldb::ThreadSP GetThreadSP() const {
return m_update_point.GetExecutionContextRef().GetThreadSP();
}
lldb::StackFrameSP GetFrameSP() const {
return m_update_point.GetExecutionContextRef().GetFrameSP();
}
void SetNeedsUpdate();
CompilerType GetCompilerType();
// this vends a TypeImpl that is useful at the SB API layer
virtual TypeImpl GetTypeImpl();
virtual bool CanProvideValue();
//------------------------------------------------------------------
// Subclasses must implement the functions below.
//------------------------------------------------------------------
virtual uint64_t GetByteSize() = 0;
virtual lldb::ValueType GetValueType() const = 0;
//------------------------------------------------------------------
// Subclasses can implement the functions below.
//------------------------------------------------------------------
virtual ConstString GetTypeName();
virtual ConstString GetDisplayTypeName();
virtual ConstString GetQualifiedTypeName();
virtual lldb::LanguageType GetObjectRuntimeLanguage();
virtual uint32_t
GetTypeInfo(CompilerType *pointee_or_element_compiler_type = nullptr);
virtual bool IsPointerType();
virtual bool IsArrayType();
virtual bool IsScalarType();
virtual bool IsPointerOrReferenceType();
virtual bool IsPossibleDynamicType();
bool IsNilReference();
bool IsUninitializedReference();
virtual bool IsBaseClass() { return false; }
bool IsBaseClass(uint32_t &depth);
virtual bool IsDereferenceOfParent() { return false; }
bool IsIntegerType(bool &is_signed);
virtual bool GetBaseClassPath(Stream &s);
virtual void GetExpressionPath(
Stream &s, bool qualify_cxx_base_classes,
GetExpressionPathFormat = eGetExpressionPathFormatDereferencePointers);
lldb::ValueObjectSP GetValueForExpressionPath(
llvm::StringRef expression,
ExpressionPathScanEndReason *reason_to_stop = nullptr,
ExpressionPathEndResultType *final_value_type = nullptr,
const GetValueForExpressionPathOptions &options =
GetValueForExpressionPathOptions::DefaultOptions(),
ExpressionPathAftermath *final_task_on_target = nullptr);
virtual bool IsInScope() { return true; }
virtual lldb::offset_t GetByteOffset() { return 0; }
virtual uint32_t GetBitfieldBitSize() { return 0; }
virtual uint32_t GetBitfieldBitOffset() { return 0; }
bool IsBitfield() {
return (GetBitfieldBitSize() != 0) || (GetBitfieldBitOffset() != 0);
}
virtual bool IsArrayItemForPointer() { return m_is_array_item_for_pointer; }
virtual const char *GetValueAsCString();
virtual bool GetValueAsCString(const lldb_private::TypeFormatImpl &format,
std::string &destination);
bool GetValueAsCString(lldb::Format format, std::string &destination);
virtual uint64_t GetValueAsUnsigned(uint64_t fail_value,
bool *success = nullptr);
virtual int64_t GetValueAsSigned(int64_t fail_value, bool *success = nullptr);
virtual bool SetValueFromCString(const char *value_str, Status &error);
// Return the module associated with this value object in case the value is
// from an executable file and might have its data in sections of the file.
// This can be used for variables.
virtual lldb::ModuleSP GetModule();
ValueObject *GetRoot();
// Given a ValueObject, loop over itself and its parent, and its parent's
// parent, .. until either the given callback returns false, or you end up at
// a null pointer
ValueObject *FollowParentChain(std::function<bool(ValueObject *)>);
virtual bool GetDeclaration(Declaration &decl);
//------------------------------------------------------------------
// The functions below should NOT be modified by subclasses
//------------------------------------------------------------------
const Status &GetError();
const ConstString &GetName() const;
virtual lldb::ValueObjectSP GetChildAtIndex(size_t idx, bool can_create);
// this will always create the children if necessary
lldb::ValueObjectSP GetChildAtIndexPath(llvm::ArrayRef<size_t> idxs,
size_t *index_of_error = nullptr);
lldb::ValueObjectSP
GetChildAtIndexPath(llvm::ArrayRef<std::pair<size_t, bool>> idxs,
size_t *index_of_error = nullptr);
// this will always create the children if necessary
lldb::ValueObjectSP GetChildAtNamePath(llvm::ArrayRef<ConstString> names,
ConstString *name_of_error = nullptr);
lldb::ValueObjectSP
GetChildAtNamePath(llvm::ArrayRef<std::pair<ConstString, bool>> names,
ConstString *name_of_error = nullptr);
virtual lldb::ValueObjectSP GetChildMemberWithName(const ConstString &name,
bool can_create);
virtual size_t GetIndexOfChildWithName(const ConstString &name);
size_t GetNumChildren(uint32_t max = UINT32_MAX);
const Value &GetValue() const;
Value &GetValue();
virtual bool ResolveValue(Scalar &scalar);
// return 'false' whenever you set the error, otherwise callers may assume
// true means everything is OK - this will break breakpoint conditions among
// potentially a few others
virtual bool IsLogicalTrue(Status &error);
virtual const char *GetLocationAsCString();
const char *
GetSummaryAsCString(lldb::LanguageType lang = lldb::eLanguageTypeUnknown);
bool
GetSummaryAsCString(TypeSummaryImpl *summary_ptr, std::string &destination,
lldb::LanguageType lang = lldb::eLanguageTypeUnknown);
bool GetSummaryAsCString(std::string &destination,
const TypeSummaryOptions &options);
bool GetSummaryAsCString(TypeSummaryImpl *summary_ptr,
std::string &destination,
const TypeSummaryOptions &options);
std::pair<TypeValidatorResult, std::string> GetValidationStatus();
const char *GetObjectDescription();
bool HasSpecialPrintableRepresentation(
ValueObjectRepresentationStyle val_obj_display,
lldb::Format custom_format);
enum class PrintableRepresentationSpecialCases : bool {
eDisable = false,
eAllow = true
};
bool
DumpPrintableRepresentation(Stream &s,
ValueObjectRepresentationStyle val_obj_display =
eValueObjectRepresentationStyleSummary,
lldb::Format custom_format = lldb::eFormatInvalid,
PrintableRepresentationSpecialCases special =
PrintableRepresentationSpecialCases::eAllow,
bool do_dump_error = true);
bool GetValueIsValid() const;
// If you call this on a newly created ValueObject, it will always return
// false.
bool GetValueDidChange();
bool UpdateValueIfNeeded(bool update_format = true);
bool UpdateFormatsIfNeeded();
lldb::ValueObjectSP GetSP() { return m_manager->GetSharedPointer(this); }
// Change the name of the current ValueObject. Should *not* be used from a
// synthetic child provider as it would change the name of the non synthetic
// child as well.
void SetName(const ConstString &name);
virtual lldb::addr_t GetAddressOf(bool scalar_is_load_address = true,
AddressType *address_type = nullptr);
lldb::addr_t GetPointerValue(AddressType *address_type = nullptr);
lldb::ValueObjectSP GetSyntheticChild(const ConstString &key) const;
lldb::ValueObjectSP GetSyntheticArrayMember(size_t index, bool can_create);
lldb::ValueObjectSP GetSyntheticBitFieldChild(uint32_t from, uint32_t to,
bool can_create);
lldb::ValueObjectSP GetSyntheticExpressionPathChild(const char *expression,
bool can_create);
virtual lldb::ValueObjectSP
GetSyntheticChildAtOffset(uint32_t offset, const CompilerType &type,
bool can_create,
ConstString name_const_str = ConstString());
virtual lldb::ValueObjectSP
GetSyntheticBase(uint32_t offset, const CompilerType &type, bool can_create,
ConstString name_const_str = ConstString());
virtual lldb::ValueObjectSP GetDynamicValue(lldb::DynamicValueType valueType);
lldb::DynamicValueType GetDynamicValueType();
virtual lldb::ValueObjectSP GetStaticValue();
virtual lldb::ValueObjectSP GetNonSyntheticValue();
lldb::ValueObjectSP GetSyntheticValue(bool use_synthetic = true);
virtual bool HasSyntheticValue();
virtual bool IsSynthetic() { return false; }
lldb::ValueObjectSP
GetQualifiedRepresentationIfAvailable(lldb::DynamicValueType dynValue,
bool synthValue);
virtual lldb::ValueObjectSP CreateConstantValue(const ConstString &name);
virtual lldb::ValueObjectSP Dereference(Status &error);
// Creates a copy of the ValueObject with a new name and setting the current
// ValueObject as its parent. It should be used when we want to change the
// name of a ValueObject without modifying the actual ValueObject itself
// (e.g. sythetic child provider).
virtual lldb::ValueObjectSP Clone(const ConstString &new_name);
virtual lldb::ValueObjectSP AddressOf(Status &error);
virtual lldb::addr_t GetLiveAddress() { return LLDB_INVALID_ADDRESS; }
virtual void SetLiveAddress(lldb::addr_t addr = LLDB_INVALID_ADDRESS,
AddressType address_type = eAddressTypeLoad) {}
// Find the address of the C++ vtable pointer
virtual lldb::addr_t GetCPPVTableAddress(AddressType &address_type);
virtual lldb::ValueObjectSP Cast(const CompilerType &compiler_type);
virtual lldb::ValueObjectSP CastPointerType(const char *name,
CompilerType &ast_type);
virtual lldb::ValueObjectSP CastPointerType(const char *name,
lldb::TypeSP &type_sp);
// The backing bits of this value object were updated, clear any descriptive
// string, so we know we have to refetch them
virtual void ValueUpdated() {
ClearUserVisibleData(eClearUserVisibleDataItemsValue |
eClearUserVisibleDataItemsSummary |
eClearUserVisibleDataItemsDescription);
}
virtual bool IsDynamic() { return false; }
virtual bool DoesProvideSyntheticValue() { return false; }
virtual bool IsSyntheticChildrenGenerated();
virtual void SetSyntheticChildrenGenerated(bool b);
virtual SymbolContextScope *GetSymbolContextScope();
void Dump(Stream &s);
void Dump(Stream &s, const DumpValueObjectOptions &options);
static lldb::ValueObjectSP
CreateValueObjectFromExpression(llvm::StringRef name,
llvm::StringRef expression,
const ExecutionContext &exe_ctx);
static lldb::ValueObjectSP
CreateValueObjectFromExpression(llvm::StringRef name,
llvm::StringRef expression,
const ExecutionContext &exe_ctx,
const EvaluateExpressionOptions &options);
static lldb::ValueObjectSP
CreateValueObjectFromAddress(llvm::StringRef name, uint64_t address,
const ExecutionContext &exe_ctx,
CompilerType type);
static lldb::ValueObjectSP
CreateValueObjectFromData(llvm::StringRef name, const DataExtractor &data,
const ExecutionContext &exe_ctx, CompilerType type);
void LogValueObject(Log *log);
void LogValueObject(Log *log, const DumpValueObjectOptions &options);
lldb::ValueObjectSP Persist();
// returns true if this is a char* or a char[] if it is a char* and
// check_pointer is true, it also checks that the pointer is valid
bool IsCStringContainer(bool check_pointer = false);
std::pair<size_t, bool>
ReadPointedString(lldb::DataBufferSP &buffer_sp, Status &error,
uint32_t max_length = 0, bool honor_array = true,
lldb::Format item_format = lldb::eFormatCharArray);
virtual size_t GetPointeeData(DataExtractor &data, uint32_t item_idx = 0,
uint32_t item_count = 1);
virtual uint64_t GetData(DataExtractor &data, Status &error);
virtual bool SetData(DataExtractor &data, Status &error);
virtual bool GetIsConstant() const { return m_update_point.IsConstant(); }
bool NeedsUpdating() {
const bool accept_invalid_exe_ctx =
(CanUpdateWithInvalidExecutionContext() == eLazyBoolYes);
return m_update_point.NeedsUpdating(accept_invalid_exe_ctx);
}
void SetIsConstant() { m_update_point.SetIsConstant(); }
lldb::Format GetFormat() const;
virtual void SetFormat(lldb::Format format) {
if (format != m_format)
ClearUserVisibleData(eClearUserVisibleDataItemsValue);
m_format = format;
}
virtual lldb::LanguageType GetPreferredDisplayLanguage();
void SetPreferredDisplayLanguage(lldb::LanguageType);
lldb::TypeSummaryImplSP GetSummaryFormat() {
UpdateFormatsIfNeeded();
return m_type_summary_sp;
}
void SetSummaryFormat(lldb::TypeSummaryImplSP format) {
m_type_summary_sp = format;
ClearUserVisibleData(eClearUserVisibleDataItemsSummary);
}
lldb::TypeValidatorImplSP GetValidator() {
UpdateFormatsIfNeeded();
return m_type_validator_sp;
}
void SetValidator(lldb::TypeValidatorImplSP format) {
m_type_validator_sp = format;
ClearUserVisibleData(eClearUserVisibleDataItemsValidator);
}
void SetValueFormat(lldb::TypeFormatImplSP format) {
m_type_format_sp = format;
ClearUserVisibleData(eClearUserVisibleDataItemsValue);
}
lldb::TypeFormatImplSP GetValueFormat() {
UpdateFormatsIfNeeded();
return m_type_format_sp;
}
void SetSyntheticChildren(const lldb::SyntheticChildrenSP &synth_sp) {
if (synth_sp.get() == m_synthetic_children_sp.get())
return;
ClearUserVisibleData(eClearUserVisibleDataItemsSyntheticChildren);
m_synthetic_children_sp = synth_sp;
}
lldb::SyntheticChildrenSP GetSyntheticChildren() {
UpdateFormatsIfNeeded();
return m_synthetic_children_sp;
}
// Use GetParent for display purposes, but if you want to tell the parent to
// update itself then use m_parent. The ValueObjectDynamicValue's parent is
// not the correct parent for displaying, they are really siblings, so for
// display it needs to route through to its grandparent.
virtual ValueObject *GetParent() { return m_parent; }
virtual const ValueObject *GetParent() const { return m_parent; }
ValueObject *GetNonBaseClassParent();
void SetAddressTypeOfChildren(AddressType at) {
m_address_type_of_ptr_or_ref_children = at;
}
AddressType GetAddressTypeOfChildren();
void SetHasCompleteType() { m_did_calculate_complete_objc_class_type = true; }
//------------------------------------------------------------------
/// Find out if a ValueObject might have children.
///
/// This call is much more efficient than CalculateNumChildren() as
/// it doesn't need to complete the underlying type. This is designed
/// to be used in a UI environment in order to detect if the
/// disclosure triangle should be displayed or not.
///
/// This function returns true for class, union, structure,
/// pointers, references, arrays and more. Again, it does so without
/// doing any expensive type completion.
///
/// @return
/// Returns \b true if the ValueObject might have children, or \b
/// false otherwise.
//------------------------------------------------------------------
virtual bool MightHaveChildren();
virtual lldb::VariableSP GetVariable() { return nullptr; }
virtual bool IsRuntimeSupportValue();
virtual uint64_t GetLanguageFlags();
virtual void SetLanguageFlags(uint64_t flags);
protected:
typedef ClusterManager<ValueObject> ValueObjectManager;
class ChildrenManager {
public:
ChildrenManager() : m_mutex(), m_children(), m_children_count(0) {}
bool HasChildAtIndex(size_t idx) {
std::lock_guard<std::recursive_mutex> guard(m_mutex);
return (m_children.find(idx) != m_children.end());
}
ValueObject *GetChildAtIndex(size_t idx) {
std::lock_guard<std::recursive_mutex> guard(m_mutex);
const auto iter = m_children.find(idx);
return ((iter == m_children.end()) ? nullptr : iter->second);
}
void SetChildAtIndex(size_t idx, ValueObject *valobj) {
// we do not need to be mutex-protected to make a pair
ChildrenPair pair(idx, valobj);
std::lock_guard<std::recursive_mutex> guard(m_mutex);
m_children.insert(pair);
}
void SetChildrenCount(size_t count) { Clear(count); }
size_t GetChildrenCount() { return m_children_count; }
void Clear(size_t new_count = 0) {
std::lock_guard<std::recursive_mutex> guard(m_mutex);
m_children_count = new_count;
m_children.clear();
}
private:
typedef std::map<size_t, ValueObject *> ChildrenMap;
typedef ChildrenMap::iterator ChildrenIterator;
typedef ChildrenMap::value_type ChildrenPair;
std::recursive_mutex m_mutex;
ChildrenMap m_children;
size_t m_children_count;
};
//------------------------------------------------------------------
// Classes that inherit from ValueObject can see and modify these
//------------------------------------------------------------------
ValueObject
*m_parent; // The parent value object, or nullptr if this has no parent
ValueObject *m_root; // The root of the hierarchy for this ValueObject (or
// nullptr if never calculated)
EvaluationPoint m_update_point; // Stores both the stop id and the full
// context at which this value was last
// updated. When we are asked to update the value object, we check whether
// the context & stop id are the same before updating.
ConstString m_name; // The name of this object
DataExtractor
m_data; // A data extractor that can be used to extract the value.
Value m_value;
Status
m_error; // An error object that can describe any errors that occur when
// updating values.
std::string m_value_str; // Cached value string that will get cleared if/when
// the value is updated.
std::string m_old_value_str; // Cached old value string from the last time the
// value was gotten
std::string m_location_str; // Cached location string that will get cleared
// if/when the value is updated.
std::string m_summary_str; // Cached summary string that will get cleared
// if/when the value is updated.
std::string m_object_desc_str; // Cached result of the "object printer". This
// differs from the summary
// in that the summary is consed up by us, the object_desc_string is builtin.
llvm::Optional<std::pair<TypeValidatorResult, std::string>>
m_validation_result;
CompilerType m_override_type; // If the type of the value object should be
// overridden, the type to impose.
ValueObjectManager *m_manager; // This object is managed by the root object
// (any ValueObject that gets created
// without a parent.) The manager gets passed through all the generations of
// dependent objects, and will keep the whole cluster of objects alive as
// long as a shared pointer to any of them has been handed out. Shared
// pointers to value objects must always be made with the GetSP method.
ChildrenManager m_children;
std::map<ConstString, ValueObject *> m_synthetic_children;
ValueObject *m_dynamic_value;
ValueObject *m_synthetic_value;
ValueObject *m_deref_valobj;
lldb::ValueObjectSP m_addr_of_valobj_sp; // We have to hold onto a shared
// pointer to this one because it is
// created
// as an independent ValueObjectConstResult, which isn't managed by us.
lldb::Format m_format;
lldb::Format m_last_format;
uint32_t m_last_format_mgr_revision;
lldb::TypeSummaryImplSP m_type_summary_sp;
lldb::TypeFormatImplSP m_type_format_sp;
lldb::SyntheticChildrenSP m_synthetic_children_sp;
lldb::TypeValidatorImplSP m_type_validator_sp;
ProcessModID m_user_id_of_forced_summary;
AddressType m_address_type_of_ptr_or_ref_children;
llvm::SmallVector<uint8_t, 16> m_value_checksum;
lldb::LanguageType m_preferred_display_language;
uint64_t m_language_flags;
bool m_value_is_valid : 1, m_value_did_change : 1, m_children_count_valid : 1,
m_old_value_valid : 1, m_is_deref_of_parent : 1,
m_is_array_item_for_pointer : 1, m_is_bitfield_for_scalar : 1,
m_is_child_at_offset : 1, m_is_getting_summary : 1,
m_did_calculate_complete_objc_class_type : 1,
m_is_synthetic_children_generated : 1;
friend class ValueObjectChild;
friend class ClangExpressionDeclMap; // For GetValue
friend class ExpressionVariable; // For SetName
friend class Target; // For SetName
friend class ValueObjectConstResultImpl;
friend class ValueObjectSynthetic; // For ClearUserVisibleData
//------------------------------------------------------------------
// Constructors and Destructors
//------------------------------------------------------------------
// Use the no-argument constructor to make a constant variable object (with
// no ExecutionContextScope.)
ValueObject();
// Use this constructor to create a "root variable object". The ValueObject
// will be locked to this context through-out its lifespan.
ValueObject(ExecutionContextScope *exe_scope,
AddressType child_ptr_or_ref_addr_type = eAddressTypeLoad);
// Use this constructor to create a ValueObject owned by another ValueObject.
// It will inherit the ExecutionContext of its parent.
ValueObject(ValueObject &parent);
ValueObjectManager *GetManager() { return m_manager; }
virtual bool UpdateValue() = 0;
virtual LazyBool CanUpdateWithInvalidExecutionContext() {
return eLazyBoolCalculate;
}
virtual void CalculateDynamicValue(lldb::DynamicValueType use_dynamic);
virtual lldb::DynamicValueType GetDynamicValueTypeImpl() {
return lldb::eNoDynamicValues;
}
virtual bool HasDynamicValueTypeInfo() { return false; }
virtual void CalculateSyntheticValue(bool use_synthetic = true);
// Should only be called by ValueObject::GetChildAtIndex() Returns a
// ValueObject managed by this ValueObject's manager.
virtual ValueObject *CreateChildAtIndex(size_t idx,
bool synthetic_array_member,
int32_t synthetic_index);
// Should only be called by ValueObject::GetNumChildren()
virtual size_t CalculateNumChildren(uint32_t max = UINT32_MAX) = 0;
void SetNumChildren(size_t num_children);
void SetValueDidChange(bool value_changed);
void SetValueIsValid(bool valid);
void ClearUserVisibleData(
uint32_t items = ValueObject::eClearUserVisibleDataItemsAllStrings);
void AddSyntheticChild(const ConstString &key, ValueObject *valobj);
DataExtractor &GetDataExtractor();
void ClearDynamicTypeInformation();
//------------------------------------------------------------------
// Subclasses must implement the functions below.
//------------------------------------------------------------------
virtual CompilerType GetCompilerTypeImpl() = 0;
const char *GetLocationAsCStringImpl(const Value &value,
const DataExtractor &data);
bool IsChecksumEmpty();
void SetPreferredDisplayLanguageIfNeeded(lldb::LanguageType);
private:
virtual CompilerType MaybeCalculateCompleteType();
lldb::ValueObjectSP GetValueForExpressionPath_Impl(
llvm::StringRef expression_cstr,
ExpressionPathScanEndReason *reason_to_stop,
ExpressionPathEndResultType *final_value_type,
const GetValueForExpressionPathOptions &options,
ExpressionPathAftermath *final_task_on_target);
DISALLOW_COPY_AND_ASSIGN(ValueObject);
};
//------------------------------------------------------------------------------
// A value object manager class that is seeded with the static variable value
// and it vends the user facing value object. If the type is dynamic it can
// vend the dynamic type. If this user type also has a synthetic type
// associated with it, it will vend the synthetic type. The class watches the
// process' stop
// ID and will update the user type when needed.
//------------------------------------------------------------------------------
class ValueObjectManager {
// The root value object is the static typed variable object.
lldb::ValueObjectSP m_root_valobj_sp;
// The user value object is the value object the user wants to see.
lldb::ValueObjectSP m_user_valobj_sp;
lldb::DynamicValueType m_use_dynamic;
uint32_t m_stop_id; // The stop ID that m_user_valobj_sp is valid for.
bool m_use_synthetic;
public:
ValueObjectManager() {}
ValueObjectManager(lldb::ValueObjectSP in_valobj_sp,
lldb::DynamicValueType use_dynamic, bool use_synthetic);
bool IsValid() const;
lldb::ValueObjectSP GetRootSP() const { return m_root_valobj_sp; }
// Gets the correct value object from the root object for a given process
// stop ID. If dynamic values are enabled, or if synthetic children are
// enabled, the value object that the user wants to see might change while
// debugging.
lldb::ValueObjectSP GetSP();
void SetUseDynamic(lldb::DynamicValueType use_dynamic);
void SetUseSynthetic(bool use_synthetic);
lldb::DynamicValueType GetUseDynamic() const { return m_use_dynamic; }
bool GetUseSynthetic() const { return m_use_synthetic; }
lldb::TargetSP GetTargetSP() const;
lldb::ProcessSP GetProcessSP() const;
lldb::ThreadSP GetThreadSP() const;
lldb::StackFrameSP GetFrameSP() const;
};
} // namespace lldb_private
#endif // liblldb_ValueObject_h_