Block.h revision 3508c387c3f0c9ecc439d98048fd7694d41bab1b
1//===-- Block.h -------------------------------------------------*- C++ -*-===// 2// 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#ifndef liblldb_Block_h_ 11#define liblldb_Block_h_ 12 13#include "lldb/lldb-private.h" 14#include "lldb/Core/AddressRange.h" 15#include "lldb/Core/RangeMap.h" 16#include "lldb/Core/Stream.h" 17#include "lldb/Core/UserID.h" 18#include "lldb/Symbol/LineEntry.h" 19#include "lldb/Symbol/SymbolContext.h" 20 21namespace lldb_private { 22 23//---------------------------------------------------------------------- 24/// @class Block Block.h "lldb/Symbol/Block.h" 25/// @brief A class that describes a single lexical block. 26/// 27/// A Function object owns a BlockList object which owns one or more 28/// Block objects. The BlockList object contains a section offset 29/// address range, and Block objects contain one or more ranges 30/// which are offsets into that range. Blocks are can have discontiguous 31/// ranges within the BlockList adress range, and each block can 32/// contain child blocks each with their own sets of ranges. 33/// 34/// Each block has a variable list that represents local, argument, and 35/// static variables that are scoped to the block. 36/// 37/// Inlined functions are representated by attaching a 38/// InlineFunctionInfo shared pointer object to a block. Inlined 39/// functions are represented as named blocks. 40//---------------------------------------------------------------------- 41class Block : 42 public UserID, 43 public SymbolContextScope 44{ 45public: 46 typedef RangeArray<uint32_t, uint32_t, 1> RangeList; 47 typedef RangeList::Entry Range; 48 49 //------------------------------------------------------------------ 50 /// Construct with a User ID \a uid, \a depth. 51 /// 52 /// Initialize this block with the specified UID \a uid. The 53 /// \a depth in the \a block_list is used to represent the parent, 54 /// sibling, and child block information and also allows for partial 55 /// parsing at the block level. 56 /// 57 /// @param[in] uid 58 /// The UID for a given block. This value is given by the 59 /// SymbolFile plug-in and can be any value that helps the 60 /// SymbolFile plug-in to match this block back to the debug 61 /// information data that it parses for further or more in 62 /// depth parsing. Common values would be the index into a 63 /// table, or an offset into the debug information. 64 /// 65 /// @param[in] depth 66 /// The integer depth of this block in the block list hierarchy. 67 /// 68 /// @param[in] block_list 69 /// The block list that this object belongs to. 70 /// 71 /// @see BlockList 72 //------------------------------------------------------------------ 73 Block (lldb::user_id_t uid); 74 75 //------------------------------------------------------------------ 76 /// Destructor. 77 //------------------------------------------------------------------ 78 virtual ~Block (); 79 80 //------------------------------------------------------------------ 81 /// Add a child to this object. 82 /// 83 /// @param[in] child_block_sp 84 /// A shared pointer to a child block that will get added to 85 /// this block. 86 //------------------------------------------------------------------ 87 void 88 AddChild (const lldb::BlockSP &child_block_sp); 89 90 //------------------------------------------------------------------ 91 /// Add a new offset range to this block. 92 /// 93 /// @param[in] start_offset 94 /// An offset into this Function's address range that 95 /// describes the start address of a range for this block. 96 /// 97 /// @param[in] end_offset 98 /// An offset into this Function's address range that 99 /// describes the end address of a range for this block. 100 //------------------------------------------------------------------ 101 void 102 AddRange (const Range& range); 103 104 void 105 FinalizeRanges (); 106 107 //------------------------------------------------------------------ 108 /// @copydoc SymbolContextScope::CalculateSymbolContext(SymbolContext*) 109 /// 110 /// @see SymbolContextScope 111 //------------------------------------------------------------------ 112 virtual void 113 CalculateSymbolContext(SymbolContext* sc); 114 115 virtual lldb::ModuleSP 116 CalculateSymbolContextModule (); 117 118 virtual CompileUnit * 119 CalculateSymbolContextCompileUnit (); 120 121 virtual Function * 122 CalculateSymbolContextFunction (); 123 124 virtual Block * 125 CalculateSymbolContextBlock (); 126 127 //------------------------------------------------------------------ 128 /// Check if an offset is in one of the block offset ranges. 129 /// 130 /// @param[in] range_offset 131 /// An offset into the Function's address range. 132 /// 133 /// @return 134 /// Returns \b true if \a range_offset falls in one of this 135 /// block's ranges, \b false otherwise. 136 //------------------------------------------------------------------ 137 bool 138 Contains (lldb::addr_t range_offset) const; 139 140 //------------------------------------------------------------------ 141 /// Check if a offset range is in one of the block offset ranges. 142 /// 143 /// @param[in] range 144 /// An offset range into the Function's address range. 145 /// 146 /// @return 147 /// Returns \b true if \a range falls in one of this 148 /// block's ranges, \b false otherwise. 149 //------------------------------------------------------------------ 150 bool 151 Contains (const Range& range) const; 152 153 //------------------------------------------------------------------ 154 /// Check if this object contains "block" as a child block at any 155 /// depth. 156 /// 157 /// @param[in] block 158 /// A potential child block. 159 /// 160 /// @return 161 /// Returns \b true if \a block is a child of this block, \b 162 /// false otherwise. 163 //------------------------------------------------------------------ 164 bool 165 Contains (const Block *block) const; 166 167 //------------------------------------------------------------------ 168 /// Dump the block contents. 169 /// 170 /// @param[in] s 171 /// The stream to which to dump the object descripton. 172 /// 173 /// @param[in] base_addr 174 /// The resolved start address of the Function's address 175 /// range. This should be resolved as the file or load address 176 /// prior to passing the value into this function for dumping. 177 /// 178 /// @param[in] depth 179 /// Limit the number of levels deep that this function should 180 /// print as this block can contain child blocks. Specify 181 /// INT_MAX to dump all child blocks. 182 /// 183 /// @param[in] show_context 184 /// If \b true, variables will dump their context information. 185 //------------------------------------------------------------------ 186 void 187 Dump (Stream *s, lldb::addr_t base_addr, int32_t depth, bool show_context) const; 188 189 //------------------------------------------------------------------ 190 /// @copydoc SymbolContextScope::DumpSymbolContext(Stream*) 191 /// 192 /// @see SymbolContextScope 193 //------------------------------------------------------------------ 194 virtual void 195 DumpSymbolContext(Stream *s); 196 197 void 198 DumpAddressRanges (Stream *s, 199 lldb::addr_t base_addr); 200 201 void 202 GetDescription (Stream *s, 203 Function *function, 204 lldb::DescriptionLevel level, 205 Target *target) const; 206 207 //------------------------------------------------------------------ 208 /// Get the parent block. 209 /// 210 /// @return 211 /// The parent block pointer, or NULL if this block has no 212 /// parent. 213 //------------------------------------------------------------------ 214 Block * 215 GetParent () const; 216 217 218 //------------------------------------------------------------------ 219 /// Get the inlined block that contains this block. 220 /// 221 /// @return 222 /// If this block contains inlined function info, it will return 223 /// this block, else parent blocks will be searched to see if 224 /// any contain this block. NULL will be returned if this block 225 /// nor any parent blocks are inlined function blocks. 226 //------------------------------------------------------------------ 227 Block * 228 GetContainingInlinedBlock (); 229 230 //------------------------------------------------------------------ 231 /// Get the inlined parent block for this block. 232 /// 233 /// @return 234 /// The parent block pointer, or NULL if this block has no 235 /// parent. 236 //------------------------------------------------------------------ 237 Block * 238 GetInlinedParent (); 239 240 //------------------------------------------------------------------ 241 /// Get the sibling block for this block. 242 /// 243 /// @return 244 /// The sibling block pointer, or NULL if this block has no 245 /// sibling. 246 //------------------------------------------------------------------ 247 Block * 248 GetSibling () const; 249 250 //------------------------------------------------------------------ 251 /// Get the first child block. 252 /// 253 /// @return 254 /// The first child block pointer, or NULL if this block has no 255 /// children. 256 //------------------------------------------------------------------ 257 Block * 258 GetFirstChild () const 259 { 260 if (m_children.empty()) 261 return NULL; 262 return m_children.front().get(); 263 } 264 265 //------------------------------------------------------------------ 266 /// Get the variable list for this block and optionally all child 267 /// blocks if \a get_child_variables is \b true. 268 /// 269 /// @param[in] get_child_variables 270 /// If \b true, all variables from all child blocks will be 271 /// added to the variable list. 272 /// 273 /// @param[in] can_create 274 /// If \b true, the variables can be parsed if they already 275 /// haven't been, else the current state of the block will be 276 /// returned. Passing \b true for this parameter can be used 277 /// to see the current state of what has been parsed up to this 278 /// point. 279 /// 280 /// @param[in] add_inline_child_block_variables 281 /// If this is \b false, no child variables of child blocks 282 /// that are inlined functions will be gotten. If \b true then 283 /// all child variables will be added regardless of whether they 284 /// come from inlined functions or not. 285 /// 286 /// @return 287 /// A variable list shared pointer that contains all variables 288 /// for this block. 289 //------------------------------------------------------------------ 290 lldb::VariableListSP 291 GetBlockVariableList (bool can_create); 292 293 294 uint32_t 295 AppendBlockVariables (bool can_create, 296 bool get_child_block_variables, 297 bool stop_if_child_block_is_inlined_function, 298 VariableList *variable_list); 299 300 //------------------------------------------------------------------ 301 /// Appends the variables from this block, and optionally from all 302 /// parent blocks, to \a variable_list. 303 /// 304 /// @param[in] can_create 305 /// If \b true, the variables can be parsed if they already 306 /// haven't been, else the current state of the block will be 307 /// returned. Passing \b true for this parameter can be used 308 /// to see the current state of what has been parsed up to this 309 /// point. 310 /// 311 /// @param[in] get_parent_variables 312 /// If \b true, all variables from all parent blocks will be 313 /// added to the variable list. 314 /// 315 /// @param[in] stop_if_block_is_inlined_function 316 /// If \b true, all variables from all parent blocks will be 317 /// added to the variable list until there are no parent blocks 318 /// or the parent block has inlined function info. 319 /// 320 /// @param[in/out] variable_list 321 /// All variables in this block, and optionally all parent 322 /// blocks will be added to this list. 323 /// 324 /// @return 325 /// The number of variable that were appended to \a 326 /// variable_list. 327 //------------------------------------------------------------------ 328 uint32_t 329 AppendVariables (bool can_create, 330 bool get_parent_variables, 331 bool stop_if_block_is_inlined_function, 332 VariableList *variable_list); 333 334 //------------------------------------------------------------------ 335 /// Get const accessor for any inlined function information. 336 /// 337 /// @return 338 /// A comst pointer to any inlined function information, or NULL 339 /// if this is a regular block. 340 //------------------------------------------------------------------ 341 const InlineFunctionInfo* 342 GetInlinedFunctionInfo () const 343 { 344 return m_inlineInfoSP.get(); 345 } 346 347 clang::DeclContext * 348 GetClangDeclContextForInlinedFunction(); 349 350 //------------------------------------------------------------------ 351 /// Get the memory cost of this object. 352 /// 353 /// Returns the cost of this object plus any owned objects from the 354 /// ranges, variables, and inline function information. 355 /// 356 /// @return 357 /// The number of bytes that this object occupies in memory. 358 //------------------------------------------------------------------ 359 size_t 360 MemorySize() const; 361 362 //------------------------------------------------------------------ 363 /// Set accessor for any inlined function information. 364 /// 365 /// @param[in] name 366 /// The method name for the inlined function. This value should 367 /// not be NULL. 368 /// 369 /// @param[in] mangled 370 /// The mangled method name for the inlined function. This can 371 /// be NULL if there is no mangled name for an inlined function 372 /// or if the name is the same as \a name. 373 /// 374 /// @param[in] decl_ptr 375 /// A optional pointer to declaration information for the 376 /// inlined function information. This value can be NULL to 377 /// indicate that no declaration information is available. 378 /// 379 /// @param[in] call_decl_ptr 380 /// Optional calling location declaration information that 381 /// describes from where this inlined function was called. 382 //------------------------------------------------------------------ 383 void 384 SetInlinedFunctionInfo (const char *name, 385 const char *mangled, 386 const Declaration *decl_ptr, 387 const Declaration *call_decl_ptr); 388 389 390 void 391 SetParentScope (SymbolContextScope *parent_scope) 392 { 393 m_parent_scope = parent_scope; 394 } 395 396 //------------------------------------------------------------------ 397 /// Set accessor for the variable list. 398 /// 399 /// Called by the SymbolFile plug-ins after they have parsed the 400 /// variable lists and are ready to hand ownership of the list over 401 /// to this object. 402 /// 403 /// @param[in] variable_list_sp 404 /// A shared pointer to a VariableList. 405 //------------------------------------------------------------------ 406 void 407 SetVariableList (lldb::VariableListSP& variable_list_sp) 408 { 409 m_variable_list_sp = variable_list_sp; 410 } 411 412 413 414 bool 415 BlockInfoHasBeenParsed() const 416 { 417 return m_parsed_block_info; 418 } 419 420 void 421 SetBlockInfoHasBeenParsed (bool b, bool set_children); 422 423 Block * 424 FindBlockByID (lldb::user_id_t block_id); 425 426 uint32_t 427 GetNumRanges () const 428 { 429 return m_ranges.GetSize(); 430 } 431 432 bool 433 GetRangeContainingOffset (const lldb::addr_t offset, Range &range); 434 435 bool 436 GetRangeContainingAddress (const Address& addr, AddressRange &range); 437 438 uint32_t 439 GetRangeIndexContainingAddress (const Address& addr); 440 441 //------------------------------------------------------------------ 442 // Since blocks might have multiple discontiguous addresss ranges, 443 // we need to be able to get at any of the address ranges in a block. 444 //------------------------------------------------------------------ 445 bool 446 GetRangeAtIndex (uint32_t range_idx, 447 AddressRange &range); 448 449 bool 450 GetStartAddress (Address &addr); 451 452 void 453 SetDidParseVariables (bool b, bool set_children); 454 455protected: 456 typedef std::vector<lldb::BlockSP> collection; 457 //------------------------------------------------------------------ 458 // Member variables. 459 //------------------------------------------------------------------ 460 SymbolContextScope *m_parent_scope; 461 collection m_children; 462 RangeList m_ranges; 463 lldb::InlineFunctionInfoSP m_inlineInfoSP; ///< Inlined function information. 464 lldb::VariableListSP m_variable_list_sp; ///< The variable list for all local, static and paramter variables scoped to this block. 465 bool m_parsed_block_info:1, ///< Set to true if this block and it's children have all been parsed 466 m_parsed_block_variables:1, 467 m_parsed_child_blocks:1; 468 469 // A parent of child blocks can be asked to find a sibling block given 470 // one of its child blocks 471 Block * 472 GetSiblingForChild (const Block *child_block) const; 473 474private: 475 DISALLOW_COPY_AND_ASSIGN (Block); 476}; 477 478 479} // namespace lldb_private 480 481#endif // liblldb_Block_h_ 482