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>
FindLongestCommandWord(std::map<std::string,ValueType> & dict)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
operatorArgumentHelpCallback77 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)
arg_typeCommandArgumentData103 : 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
GetCommandInterpreter()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)
IsRemovable()144 virtual bool IsRemovable() const { return false; }
145
IsMultiwordObject()146 virtual bool IsMultiwordObject() { return false; }
147
IsUserCommand()148 bool IsUserCommand() { return m_is_user_command; }
149
SetIsUserCommand(bool is_user)150 void SetIsUserCommand(bool is_user) { m_is_user_command = is_user; }
151
GetAsMultiwordCommand()152 virtual CommandObjectMultiword *GetAsMultiwordCommand() { return nullptr; }
153
IsAlias()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
IsDashDashCommand()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
GetSubcommandSPExact(llvm::StringRef sub_cmd)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
LoadSubCommand(llvm::StringRef cmd_name,const lldb::CommandObjectSP & command_obj)184 virtual bool LoadSubCommand(llvm::StringRef cmd_name,
185 const lldb::CommandObjectSP &command_obj) {
186 return false;
187 }
188
LoadUserSubcommand(llvm::StringRef cmd_name,const lldb::CommandObjectSP & command_obj,bool can_replace)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.
WantsCompletion()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.
GetFlags()287 Flags &GetFlags() { return m_flags; }
288
289 /// The flags const accessor.
290 ///
291 /// \return
292 /// A const reference to the Flags member variable.
GetFlags()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>
GetRepeatCommand(Args & current_command_args,uint32_t index)310 GetRepeatCommand(Args ¤t_command_args, uint32_t index) {
311 return std::nullopt;
312 }
313
HasOverrideCallback()314 bool HasOverrideCallback() const {
315 return m_command_override_callback ||
316 m_deprecated_command_override_callback;
317 }
318
SetOverrideCallback(lldb::CommandOverrideCallback callback,void * baton)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
SetOverrideCallback(lldb_private::CommandOverrideCallbackWithResult callback,void * baton)326 SetOverrideCallback(lldb_private::CommandOverrideCallbackWithResult callback,
327 void *baton) {
328 m_command_override_callback = callback;
329 m_command_override_baton = baton;
330 }
331
InvokeOverrideCallback(const char ** argv,CommandReturnObject & result)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
GetInvalidTargetDescription()351 virtual const char *GetInvalidTargetDescription() {
352 return "invalid target, create a target using the 'target create' command";
353 }
354
GetInvalidProcessDescription()355 virtual const char *GetInvalidProcessDescription() {
356 return "Command requires a current process.";
357 }
358
GetInvalidThreadDescription()359 virtual const char *GetInvalidThreadDescription() {
360 return "Command requires a process which is currently stopped.";
361 }
362
GetInvalidFrameDescription()363 virtual const char *GetInvalidFrameDescription() {
364 return "Command requires a process, which is currently stopped.";
365 }
366
GetInvalidRegContextDescription()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)
CommandObject(interpreter,name,help,syntax,flags)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
WantsRawCommandString()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)
CommandObject(interpreter,name,help,syntax,flags)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
WantsRawCommandString()446 bool WantsRawCommandString() override { return true; }
447 };
448
449 } // namespace lldb_private
450
451 #endif // LLDB_INTERPRETER_COMMANDOBJECT_H
452