xref: /freebsd/contrib/llvm-project/lldb/include/lldb/Interpreter/CommandObject.h (revision 0fca6ea1d4eea4c934cfff25ac9ee8ad6fe95583)
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 &current_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