1 //===-- CommandObject.h -----------------------------------------*- C++ -*-===// 2 // 3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. 4 // See https://llvm.org/LICENSE.txt for license information. 5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception 6 // 7 //===----------------------------------------------------------------------===// 8 9 #ifndef LLDB_INTERPRETER_COMMANDOBJECT_H 10 #define LLDB_INTERPRETER_COMMANDOBJECT_H 11 12 #include <map> 13 #include <memory> 14 #include <optional> 15 #include <string> 16 #include <vector> 17 18 #include "lldb/Utility/Flags.h" 19 20 #include "lldb/Interpreter/CommandCompletions.h" 21 #include "lldb/Interpreter/Options.h" 22 #include "lldb/Target/ExecutionContext.h" 23 #include "lldb/Utility/Args.h" 24 #include "lldb/Utility/CompletionRequest.h" 25 #include "lldb/Utility/StringList.h" 26 #include "lldb/lldb-private.h" 27 28 namespace lldb_private { 29 30 // This function really deals with CommandObjectLists, but we didn't make a 31 // CommandObjectList class, so I'm sticking it here. But we really should have 32 // such a class. Anyway, it looks up the commands in the map that match the 33 // partial string cmd_str, inserts the matches into matches, and returns the 34 // number added. 35 36 template <typename ValueType> 37 int AddNamesMatchingPartialString( 38 const std::map<std::string, ValueType> &in_map, llvm::StringRef cmd_str, 39 StringList &matches, StringList *descriptions = nullptr) { 40 int number_added = 0; 41 42 const bool add_all = cmd_str.empty(); 43 44 for (auto iter = in_map.begin(), end = in_map.end(); iter != end; iter++) { 45 if (add_all || (iter->first.find(std::string(cmd_str), 0) == 0)) { 46 ++number_added; 47 matches.AppendString(iter->first.c_str()); 48 if (descriptions) 49 descriptions->AppendString(iter->second->GetHelp()); 50 } 51 } 52 53 return number_added; 54 } 55 56 template <typename ValueType> 57 size_t FindLongestCommandWord(std::map<std::string, ValueType> &dict) { 58 auto end = dict.end(); 59 size_t max_len = 0; 60 61 for (auto pos = dict.begin(); pos != end; ++pos) { 62 size_t len = pos->first.size(); 63 if (max_len < len) 64 max_len = len; 65 } 66 return max_len; 67 } 68 69 class CommandObject : public std::enable_shared_from_this<CommandObject> { 70 public: 71 typedef llvm::StringRef(ArgumentHelpCallbackFunction)(); 72 73 struct ArgumentHelpCallback { 74 ArgumentHelpCallbackFunction *help_callback; 75 bool self_formatting; 76 77 llvm::StringRef operator()() const { return (*help_callback)(); } 78 79 explicit operator bool() const { return (help_callback != nullptr); } 80 }; 81 82 /// Entries in the main argument information table. 83 struct ArgumentTableEntry { 84 lldb::CommandArgumentType arg_type; 85 const char *arg_name; 86 lldb::CompletionType completion_type; 87 OptionEnumValues enum_values; 88 ArgumentHelpCallback help_function; 89 const char *help_text; 90 }; 91 92 /// Used to build individual command argument lists. 93 struct CommandArgumentData { 94 lldb::CommandArgumentType arg_type; 95 ArgumentRepetitionType arg_repetition; 96 /// This arg might be associated only with some particular option set(s). By 97 /// default the arg associates to all option sets. 98 uint32_t arg_opt_set_association; 99 100 CommandArgumentData(lldb::CommandArgumentType type = lldb::eArgTypeNone, 101 ArgumentRepetitionType repetition = eArgRepeatPlain, 102 uint32_t opt_set = LLDB_OPT_SET_ALL) 103 : arg_type(type), arg_repetition(repetition), 104 arg_opt_set_association(opt_set) {} 105 }; 106 107 typedef std::vector<CommandArgumentData> 108 CommandArgumentEntry; // Used to build individual command argument lists 109 110 typedef std::map<std::string, lldb::CommandObjectSP> CommandMap; 111 112 CommandObject(CommandInterpreter &interpreter, llvm::StringRef name, 113 llvm::StringRef help = "", llvm::StringRef syntax = "", 114 uint32_t flags = 0); 115 116 virtual ~CommandObject() = default; 117 118 static const char * 119 GetArgumentTypeAsCString(const lldb::CommandArgumentType arg_type); 120 121 static const char * 122 GetArgumentDescriptionAsCString(const lldb::CommandArgumentType arg_type); 123 124 CommandInterpreter &GetCommandInterpreter() { return m_interpreter; } 125 Debugger &GetDebugger(); 126 127 virtual llvm::StringRef GetHelp(); 128 129 virtual llvm::StringRef GetHelpLong(); 130 131 virtual llvm::StringRef GetSyntax(); 132 133 llvm::StringRef GetCommandName() const; 134 135 virtual void SetHelp(llvm::StringRef str); 136 137 virtual void SetHelpLong(llvm::StringRef str); 138 139 void SetSyntax(llvm::StringRef str); 140 141 // override this to return true if you want to enable the user to delete the 142 // Command object from the Command dictionary (aliases have their own 143 // deletion scheme, so they do not need to care about this) 144 virtual bool IsRemovable() const { return false; } 145 146 virtual bool IsMultiwordObject() { return false; } 147 148 bool IsUserCommand() { return m_is_user_command; } 149 150 void SetIsUserCommand(bool is_user) { m_is_user_command = is_user; } 151 152 virtual CommandObjectMultiword *GetAsMultiwordCommand() { return nullptr; } 153 154 virtual bool IsAlias() { return false; } 155 156 // override this to return true if your command is somehow a "dash-dash" form 157 // of some other command (e.g. po is expr -O --); this is a powerful hint to 158 // the help system that one cannot pass options to this command 159 virtual bool IsDashDashCommand() { return false; } 160 161 virtual lldb::CommandObjectSP GetSubcommandSP(llvm::StringRef sub_cmd, 162 StringList *matches = nullptr) { 163 return lldb::CommandObjectSP(); 164 } 165 166 virtual lldb::CommandObjectSP GetSubcommandSPExact(llvm::StringRef sub_cmd) { 167 return lldb::CommandObjectSP(); 168 } 169 170 virtual CommandObject *GetSubcommandObject(llvm::StringRef sub_cmd, 171 StringList *matches = nullptr) { 172 return nullptr; 173 } 174 175 void FormatLongHelpText(Stream &output_strm, llvm::StringRef long_help); 176 177 void GenerateHelpText(CommandReturnObject &result); 178 179 virtual void GenerateHelpText(Stream &result); 180 181 // this is needed in order to allow the SBCommand class to transparently try 182 // and load subcommands - it will fail on anything but a multiword command, 183 // but it avoids us doing type checkings and casts 184 virtual bool LoadSubCommand(llvm::StringRef cmd_name, 185 const lldb::CommandObjectSP &command_obj) { 186 return false; 187 } 188 189 virtual llvm::Error LoadUserSubcommand(llvm::StringRef cmd_name, 190 const lldb::CommandObjectSP &command_obj, 191 bool can_replace) { 192 return llvm::createStringError(llvm::inconvertibleErrorCode(), 193 "can only add commands to container commands"); 194 } 195 196 virtual bool WantsRawCommandString() = 0; 197 198 // By default, WantsCompletion = !WantsRawCommandString. Subclasses who want 199 // raw command string but desire, for example, argument completion should 200 // override this method to return true. 201 virtual bool WantsCompletion() { return !WantsRawCommandString(); } 202 203 virtual Options *GetOptions(); 204 205 static lldb::CommandArgumentType LookupArgumentName(llvm::StringRef arg_name); 206 207 static const ArgumentTableEntry * 208 FindArgumentDataByType(lldb::CommandArgumentType arg_type); 209 210 // Sets the argument list for this command to one homogenous argument type, 211 // with the repeat specified. 212 void AddSimpleArgumentList( 213 lldb::CommandArgumentType arg_type, 214 ArgumentRepetitionType repetition_type = eArgRepeatPlain); 215 216 // Helper function to set BP IDs or ID ranges as the command argument data 217 // for this command. 218 // This used to just populate an entry you could add to, but that was never 219 // used. If we ever need that we can take optional extra args here. 220 // Use this to define a simple argument list: 221 enum IDType { eBreakpointArgs = 0, eWatchpointArgs = 1 }; 222 void AddIDsArgumentData(IDType type); 223 224 int GetNumArgumentEntries(); 225 226 CommandArgumentEntry *GetArgumentEntryAtIndex(int idx); 227 228 static void GetArgumentHelp(Stream &str, lldb::CommandArgumentType arg_type, 229 CommandInterpreter &interpreter); 230 231 static const char *GetArgumentName(lldb::CommandArgumentType arg_type); 232 233 // Generates a nicely formatted command args string for help command output. 234 // By default, all possible args are taken into account, for example, '<expr 235 // | variable-name>'. This can be refined by passing a second arg specifying 236 // which option set(s) we are interested, which could then, for example, 237 // produce either '<expr>' or '<variable-name>'. 238 void GetFormattedCommandArguments(Stream &str, 239 uint32_t opt_set_mask = LLDB_OPT_SET_ALL); 240 241 static bool IsPairType(ArgumentRepetitionType arg_repeat_type); 242 243 static std::optional<ArgumentRepetitionType> 244 ArgRepetitionFromString(llvm::StringRef string); 245 246 bool ParseOptions(Args &args, CommandReturnObject &result); 247 248 void SetCommandName(llvm::StringRef name); 249 250 /// This default version handles calling option argument completions and then 251 /// calls HandleArgumentCompletion if the cursor is on an argument, not an 252 /// option. Don't override this method, override HandleArgumentCompletion 253 /// instead unless you have special reasons. 254 /// 255 /// \param[in,out] request 256 /// The completion request that needs to be answered. 257 virtual void HandleCompletion(CompletionRequest &request); 258 259 /// The default version handles argument definitions that have only one 260 /// argument type, and use one of the argument types that have an entry in 261 /// the CommonCompletions. Override this if you have a more complex 262 /// argument setup. 263 /// FIXME: we should be able to extend this to more complex argument 264 /// definitions provided we have completers for all the argument types. 265 /// 266 /// The input array contains a parsed version of the line. 267 /// 268 /// We've constructed the map of options and their arguments as well if that 269 /// is helpful for the completion. 270 /// 271 /// \param[in,out] request 272 /// The completion request that needs to be answered. 273 virtual void 274 HandleArgumentCompletion(CompletionRequest &request, 275 OptionElementVector &opt_element_vector); 276 277 bool HelpTextContainsWord(llvm::StringRef search_word, 278 bool search_short_help = true, 279 bool search_long_help = true, 280 bool search_syntax = true, 281 bool search_options = true); 282 283 /// The flags accessor. 284 /// 285 /// \return 286 /// A reference to the Flags member variable. 287 Flags &GetFlags() { return m_flags; } 288 289 /// The flags const accessor. 290 /// 291 /// \return 292 /// A const reference to the Flags member variable. 293 const Flags &GetFlags() const { return m_flags; } 294 295 /// Get the command that appropriate for a "repeat" of the current command. 296 /// 297 /// \param[in] current_command_args 298 /// The command arguments. 299 /// 300 /// \param[in] index 301 /// This is for internal use - it is how the completion request is tracked 302 /// in CommandObjectMultiword, and should otherwise be ignored. 303 /// 304 /// \return 305 /// std::nullopt if there is no special repeat command - it will use the 306 /// current command line. 307 /// Otherwise a std::string containing the command to be repeated. 308 /// If the string is empty, the command won't be allow repeating. 309 virtual std::optional<std::string> 310 GetRepeatCommand(Args ¤t_command_args, uint32_t index) { 311 return std::nullopt; 312 } 313 314 bool HasOverrideCallback() const { 315 return m_command_override_callback || 316 m_deprecated_command_override_callback; 317 } 318 319 void SetOverrideCallback(lldb::CommandOverrideCallback callback, 320 void *baton) { 321 m_deprecated_command_override_callback = callback; 322 m_command_override_baton = baton; 323 } 324 325 void 326 SetOverrideCallback(lldb_private::CommandOverrideCallbackWithResult callback, 327 void *baton) { 328 m_command_override_callback = callback; 329 m_command_override_baton = baton; 330 } 331 332 bool InvokeOverrideCallback(const char **argv, CommandReturnObject &result) { 333 if (m_command_override_callback) 334 return m_command_override_callback(m_command_override_baton, argv, 335 result); 336 else if (m_deprecated_command_override_callback) 337 return m_deprecated_command_override_callback(m_command_override_baton, 338 argv); 339 else 340 return false; 341 } 342 343 virtual void Execute(const char *args_string, 344 CommandReturnObject &result) = 0; 345 346 protected: 347 bool ParseOptionsAndNotify(Args &args, CommandReturnObject &result, 348 OptionGroupOptions &group_options, 349 ExecutionContext &exe_ctx); 350 351 virtual const char *GetInvalidTargetDescription() { 352 return "invalid target, create a target using the 'target create' command"; 353 } 354 355 virtual const char *GetInvalidProcessDescription() { 356 return "Command requires a current process."; 357 } 358 359 virtual const char *GetInvalidThreadDescription() { 360 return "Command requires a process which is currently stopped."; 361 } 362 363 virtual const char *GetInvalidFrameDescription() { 364 return "Command requires a process, which is currently stopped."; 365 } 366 367 virtual const char *GetInvalidRegContextDescription() { 368 return "invalid frame, no registers, command requires a process which is " 369 "currently stopped."; 370 } 371 372 // This is for use in the command interpreter, when you either want the 373 // selected target, or if no target is present you want to prime the dummy 374 // target with entities that will be copied over to new targets. 375 Target &GetSelectedOrDummyTarget(bool prefer_dummy = false); 376 Target &GetSelectedTarget(); 377 Target &GetDummyTarget(); 378 379 // If a command needs to use the "current" thread, use this call. Command 380 // objects will have an ExecutionContext to use, and that may or may not have 381 // a thread in it. If it does, you should use that by default, if not, then 382 // use the ExecutionContext's target's selected thread, etc... This call 383 // insulates you from the details of this calculation. 384 Thread *GetDefaultThread(); 385 386 /// Check the command to make sure anything required by this 387 /// command is available. 388 /// 389 /// \param[out] result 390 /// A command result object, if it is not okay to run the command 391 /// this will be filled in with a suitable error. 392 /// 393 /// \return 394 /// \b true if it is okay to run this command, \b false otherwise. 395 bool CheckRequirements(CommandReturnObject &result); 396 397 void Cleanup(); 398 399 CommandInterpreter &m_interpreter; 400 ExecutionContext m_exe_ctx; 401 std::unique_lock<std::recursive_mutex> m_api_locker; 402 std::string m_cmd_name; 403 std::string m_cmd_help_short; 404 std::string m_cmd_help_long; 405 std::string m_cmd_syntax; 406 Flags m_flags; 407 std::vector<CommandArgumentEntry> m_arguments; 408 lldb::CommandOverrideCallback m_deprecated_command_override_callback; 409 lldb_private::CommandOverrideCallbackWithResult m_command_override_callback; 410 void *m_command_override_baton; 411 bool m_is_user_command = false; 412 }; 413 414 class CommandObjectParsed : public CommandObject { 415 public: 416 CommandObjectParsed(CommandInterpreter &interpreter, const char *name, 417 const char *help = nullptr, const char *syntax = nullptr, 418 uint32_t flags = 0) 419 : CommandObject(interpreter, name, help, syntax, flags) {} 420 421 ~CommandObjectParsed() override = default; 422 423 void Execute(const char *args_string, CommandReturnObject &result) override; 424 425 protected: 426 virtual void DoExecute(Args &command, CommandReturnObject &result) = 0; 427 428 bool WantsRawCommandString() override { return false; } 429 }; 430 431 class CommandObjectRaw : public CommandObject { 432 public: 433 CommandObjectRaw(CommandInterpreter &interpreter, llvm::StringRef name, 434 llvm::StringRef help = "", llvm::StringRef syntax = "", 435 uint32_t flags = 0) 436 : CommandObject(interpreter, name, help, syntax, flags) {} 437 438 ~CommandObjectRaw() override = default; 439 440 void Execute(const char *args_string, CommandReturnObject &result) override; 441 442 protected: 443 virtual void DoExecute(llvm::StringRef command, 444 CommandReturnObject &result) = 0; 445 446 bool WantsRawCommandString() override { return true; } 447 }; 448 449 } // namespace lldb_private 450 451 #endif // LLDB_INTERPRETER_COMMANDOBJECT_H 452