1 //===-- Editline.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 // TODO: wire up window size changes 10 11 // If we ever get a private copy of libedit, there are a number of defects that 12 // would be nice to fix; 13 // a) Sometimes text just disappears while editing. In an 80-column editor 14 // paste the following text, without 15 // the quotes: 16 // "This is a test of the input system missing Hello, World! Do you 17 // disappear when it gets to a particular length?" 18 // Now press ^A to move to the start and type 3 characters, and you'll see a 19 // good amount of the text will 20 // disappear. It's still in the buffer, just invisible. 21 // b) The prompt printing logic for dealing with ANSI formatting characters is 22 // broken, which is why we're working around it here. 23 // c) The incremental search uses escape to cancel input, so it's confused by 24 // ANSI sequences starting with escape. 25 // d) Emoji support is fairly terrible, presumably it doesn't understand 26 // composed characters? 27 28 #ifndef LLDB_HOST_EDITLINE_H 29 #define LLDB_HOST_EDITLINE_H 30 31 #include "lldb/Host/Config.h" 32 33 #include <locale> 34 #include <sstream> 35 #include <vector> 36 37 #include "lldb/Host/StreamFile.h" 38 #include "lldb/lldb-private.h" 39 40 #if !defined(_WIN32) && !defined(__ANDROID__) 41 #include <histedit.h> 42 #endif 43 44 #include <csignal> 45 #include <mutex> 46 #include <optional> 47 #include <string> 48 #include <vector> 49 50 #include "lldb/Host/ConnectionFileDescriptor.h" 51 #include "lldb/Utility/CompletionRequest.h" 52 #include "lldb/Utility/FileSpec.h" 53 #include "lldb/Utility/Predicate.h" 54 #include "lldb/Utility/StringList.h" 55 56 #include "llvm/ADT/FunctionExtras.h" 57 58 namespace lldb_private { 59 namespace line_editor { 60 61 // type alias's to help manage 8 bit and wide character versions of libedit 62 #if LLDB_EDITLINE_USE_WCHAR 63 using EditLineStringType = std::wstring; 64 using EditLineStringStreamType = std::wstringstream; 65 using EditLineCharType = wchar_t; 66 #else 67 using EditLineStringType = std::string; 68 using EditLineStringStreamType = std::stringstream; 69 using EditLineCharType = char; 70 #endif 71 72 // At one point the callback type of el_set getchar callback changed from char 73 // to wchar_t. It is not possible to detect differentiate between the two 74 // versions exactly, but this is a pretty good approximation and allows us to 75 // build against almost any editline version out there. 76 // It does, however, require extra care when invoking el_getc, as the type 77 // of the input is a single char buffer, but the callback will write a wchar_t. 78 #if LLDB_EDITLINE_USE_WCHAR || defined(EL_CLIENTDATA) || LLDB_HAVE_EL_RFUNC_T 79 using EditLineGetCharType = wchar_t; 80 #else 81 using EditLineGetCharType = char; 82 #endif 83 84 using EditlineGetCharCallbackType = int (*)(::EditLine *editline, 85 EditLineGetCharType *c); 86 using EditlineCommandCallbackType = unsigned char (*)(::EditLine *editline, 87 int ch); 88 using EditlinePromptCallbackType = const char *(*)(::EditLine *editline); 89 90 class EditlineHistory; 91 92 using EditlineHistorySP = std::shared_ptr<EditlineHistory>; 93 94 using IsInputCompleteCallbackType = 95 llvm::unique_function<bool(Editline *, StringList &)>; 96 97 using FixIndentationCallbackType = 98 llvm::unique_function<int(Editline *, StringList &, int)>; 99 100 using SuggestionCallbackType = 101 llvm::unique_function<std::optional<std::string>(llvm::StringRef)>; 102 103 using CompleteCallbackType = llvm::unique_function<void(CompletionRequest &)>; 104 105 using RedrawCallbackType = llvm::unique_function<void()>; 106 107 /// Status used to decide when and how to start editing another line in 108 /// multi-line sessions. 109 enum class EditorStatus { 110 111 /// The default state proceeds to edit the current line. 112 Editing, 113 114 /// Editing complete, returns the complete set of edited lines. 115 Complete, 116 117 /// End of input reported. 118 EndOfInput, 119 120 /// Editing interrupted. 121 Interrupted 122 }; 123 124 /// Established locations that can be easily moved among with MoveCursor. 125 enum class CursorLocation { 126 /// The start of the first line in a multi-line edit session. 127 BlockStart, 128 129 /// The start of the current line in a multi-line edit session. 130 EditingPrompt, 131 132 /// The location of the cursor on the current line in a multi-line edit 133 /// session. 134 EditingCursor, 135 136 /// The location immediately after the last character in a multi-line edit 137 /// session. 138 BlockEnd 139 }; 140 141 /// Operation for the history. 142 enum class HistoryOperation { 143 Oldest, 144 Older, 145 Current, 146 Newer, 147 Newest 148 }; 149 } 150 151 using namespace line_editor; 152 153 /// Instances of Editline provide an abstraction over libedit's EditLine 154 /// facility. Both single- and multi-line editing are supported. 155 class Editline { 156 public: 157 Editline(const char *editor_name, FILE *input_file, 158 lldb::LockableStreamFileSP output_stream_sp, 159 lldb::LockableStreamFileSP error_stream_sp, bool color); 160 161 ~Editline(); 162 163 /// Uses the user data storage of EditLine to retrieve an associated instance 164 /// of Editline. 165 static Editline *InstanceFor(::EditLine *editline); 166 167 static void 168 DisplayCompletions(Editline &editline, 169 llvm::ArrayRef<CompletionResult::Completion> results); 170 171 /// Sets if editline should use color. 172 void UseColor(bool use_color); 173 174 /// Sets a string to be used as a prompt, or combined with a line number to 175 /// form a prompt. 176 void SetPrompt(const char *prompt); 177 178 /// Sets an alternate string to be used as a prompt for the second line and 179 /// beyond in multi-line editing scenarios. 180 void SetContinuationPrompt(const char *continuation_prompt); 181 182 /// Call when the terminal size changes. 183 void TerminalSizeChanged(); 184 185 /// Returns the prompt established by SetPrompt. 186 const char *GetPrompt(); 187 188 /// Returns the index of the line currently being edited. 189 uint32_t GetCurrentLine(); 190 191 /// Interrupt the current edit as if ^C was pressed. 192 bool Interrupt(); 193 194 /// Cancel this edit and obliterate all trace of it. 195 bool Cancel(); 196 197 /// Register a callback for autosuggestion. SetSuggestionCallback(SuggestionCallbackType callback)198 void SetSuggestionCallback(SuggestionCallbackType callback) { 199 m_suggestion_callback = std::move(callback); 200 } 201 202 /// Register a callback for redrawing the statusline. SetRedrawCallback(RedrawCallbackType callback)203 void SetRedrawCallback(RedrawCallbackType callback) { 204 m_redraw_callback = std::move(callback); 205 } 206 207 /// Register a callback for the tab key SetAutoCompleteCallback(CompleteCallbackType callback)208 void SetAutoCompleteCallback(CompleteCallbackType callback) { 209 m_completion_callback = std::move(callback); 210 } 211 212 /// Register a callback for testing whether multi-line input is complete SetIsInputCompleteCallback(IsInputCompleteCallbackType callback)213 void SetIsInputCompleteCallback(IsInputCompleteCallbackType callback) { 214 m_is_input_complete_callback = std::move(callback); 215 } 216 217 /// Register a callback for determining the appropriate indentation for a line 218 /// when creating a newline. An optional set of insertable characters can 219 /// also trigger the callback. SetFixIndentationCallback(FixIndentationCallbackType callback,const char * indent_chars)220 void SetFixIndentationCallback(FixIndentationCallbackType callback, 221 const char *indent_chars) { 222 m_fix_indentation_callback = std::move(callback); 223 m_fix_indentation_callback_chars = indent_chars; 224 } 225 SetPromptAnsiPrefix(std::string prefix)226 void SetPromptAnsiPrefix(std::string prefix) { 227 if (m_color) 228 m_prompt_ansi_prefix = std::move(prefix); 229 else 230 m_prompt_ansi_prefix.clear(); 231 } 232 SetPromptAnsiSuffix(std::string suffix)233 void SetPromptAnsiSuffix(std::string suffix) { 234 if (m_color) 235 m_prompt_ansi_suffix = std::move(suffix); 236 else 237 m_prompt_ansi_suffix.clear(); 238 } 239 SetSuggestionAnsiPrefix(std::string prefix)240 void SetSuggestionAnsiPrefix(std::string prefix) { 241 if (m_color) 242 m_suggestion_ansi_prefix = std::move(prefix); 243 else 244 m_suggestion_ansi_prefix.clear(); 245 } 246 SetSuggestionAnsiSuffix(std::string suffix)247 void SetSuggestionAnsiSuffix(std::string suffix) { 248 if (m_color) 249 m_suggestion_ansi_suffix = std::move(suffix); 250 else 251 m_suggestion_ansi_suffix.clear(); 252 } 253 254 /// Prompts for and reads a single line of user input. 255 bool GetLine(std::string &line, bool &interrupted); 256 257 /// Prompts for and reads a multi-line batch of user input. 258 bool GetLines(int first_line_number, StringList &lines, bool &interrupted); 259 260 void PrintAsync(lldb::LockableStreamFileSP stream_sp, const char *s, 261 size_t len); 262 263 /// Convert the current input lines into a UTF8 StringList 264 StringList GetInputAsStringList(int line_count = UINT32_MAX); 265 GetTerminalWidth()266 size_t GetTerminalWidth() { return m_terminal_width; } 267 GetTerminalHeight()268 size_t GetTerminalHeight() { return m_terminal_height; } 269 270 void Refresh(); 271 272 private: 273 /// Sets the lowest line number for multi-line editing sessions. A value of 274 /// zero suppresses line number printing in the prompt. 275 void SetBaseLineNumber(int line_number); 276 277 /// Returns the complete prompt by combining the prompt or continuation prompt 278 /// with line numbers as appropriate. The line index is a zero-based index 279 /// into the current multi-line session. 280 std::string PromptForIndex(int line_index); 281 282 /// Sets the current line index between line edits to allow free movement 283 /// between lines. Updates the prompt to match. 284 void SetCurrentLine(int line_index); 285 286 /// Determines the width of the prompt in characters. The width is guaranteed 287 /// to be the same for all lines of the current multi-line session. 288 size_t GetPromptWidth(); 289 290 /// Returns true if the underlying EditLine session's keybindings are 291 /// Emacs-based, or false if they are VI-based. 292 bool IsEmacs(); 293 294 /// Returns true if the current EditLine buffer contains nothing but spaces, 295 /// or is empty. 296 bool IsOnlySpaces(); 297 298 /// Helper method used by MoveCursor to determine relative line position. 299 int GetLineIndexForLocation(CursorLocation location, int cursor_row); 300 301 /// Move the cursor from one well-established location to another using 302 /// relative line positioning and absolute column positioning. 303 void MoveCursor(CursorLocation from, CursorLocation to); 304 305 /// Clear from cursor position to bottom of screen and print input lines 306 /// including prompts, optionally starting from a specific line. Lines are 307 /// drawn with an extra space at the end to reserve room for the rightmost 308 /// cursor position. 309 void DisplayInput(int firstIndex = 0); 310 311 /// Counts the number of rows a given line of content will end up occupying, 312 /// taking into account both the preceding prompt and a single trailing space 313 /// occupied by a cursor when at the end of the line. 314 int CountRowsForLine(const EditLineStringType &content); 315 316 /// Save the line currently being edited. 317 void SaveEditedLine(); 318 319 /// Replaces the current multi-line session with the next entry from history. 320 unsigned char RecallHistory(HistoryOperation op); 321 322 /// Character reading implementation for EditLine that supports our multi-line 323 /// editing trickery. 324 int GetCharacter(EditLineGetCharType *c); 325 326 /// Prompt implementation for EditLine. 327 const char *Prompt(); 328 329 /// Line break command used when meta+return is pressed in multi-line mode. 330 unsigned char BreakLineCommand(int ch); 331 332 /// Command used when return is pressed in multi-line mode. 333 unsigned char EndOrAddLineCommand(int ch); 334 335 /// Delete command used when delete is pressed in multi-line mode. 336 unsigned char DeleteNextCharCommand(int ch); 337 338 /// Delete command used when backspace is pressed in multi-line mode. 339 unsigned char DeletePreviousCharCommand(int ch); 340 341 /// Line navigation command used when ^P or up arrow are pressed in multi-line 342 /// mode. 343 unsigned char PreviousLineCommand(int ch); 344 345 /// Line navigation command used when ^N or down arrow are pressed in 346 /// multi-line mode. 347 unsigned char NextLineCommand(int ch); 348 349 /// History navigation command used when Alt + up arrow is pressed in 350 /// multi-line mode. 351 unsigned char PreviousHistoryCommand(int ch); 352 353 /// History navigation command used when Alt + down arrow is pressed in 354 /// multi-line mode. 355 unsigned char NextHistoryCommand(int ch); 356 357 /// Buffer start command used when Esc < is typed in multi-line emacs mode. 358 unsigned char BufferStartCommand(int ch); 359 360 /// Buffer end command used when Esc > is typed in multi-line emacs mode. 361 unsigned char BufferEndCommand(int ch); 362 363 /// Context-sensitive tab insertion or code completion command used when the 364 /// tab key is typed. 365 unsigned char TabCommand(int ch); 366 367 /// Apply autosuggestion part in gray as editline. 368 unsigned char ApplyAutosuggestCommand(int ch); 369 370 /// Command used when a character is typed. 371 unsigned char TypedCharacter(int ch); 372 373 /// Respond to normal character insertion by fixing line indentation 374 unsigned char FixIndentationCommand(int ch); 375 376 /// Revert line command used when moving between lines. 377 unsigned char RevertLineCommand(int ch); 378 379 /// Ensures that the current EditLine instance is properly configured for 380 /// single or multi-line editing. 381 void ConfigureEditor(bool multiline); 382 383 bool CompleteCharacter(char ch, EditLineGetCharType &out); 384 385 void ApplyTerminalSizeChange(); 386 387 // The following set various editline parameters. It's not any less 388 // verbose to put the editline calls into a function, but it 389 // provides type safety, since the editline functions take varargs 390 // parameters. 391 void AddFunctionToEditLine(const EditLineCharType *command, 392 const EditLineCharType *helptext, 393 EditlineCommandCallbackType callbackFn); 394 void SetEditLinePromptCallback(EditlinePromptCallbackType callbackFn); 395 void SetGetCharacterFunction(EditlineGetCharCallbackType callbackFn); 396 397 ::EditLine *m_editline = nullptr; 398 EditlineHistorySP m_history_sp; 399 bool m_in_history = false; 400 std::vector<EditLineStringType> m_live_history_lines; 401 bool m_multiline_enabled = false; 402 std::vector<EditLineStringType> m_input_lines; 403 EditorStatus m_editor_status; 404 int m_terminal_width = 0; 405 int m_terminal_height = 0; 406 int m_base_line_number = 0; 407 unsigned m_current_line_index = 0; 408 int m_current_line_rows = -1; 409 int m_revert_cursor_index = 0; 410 int m_line_number_digits = 3; 411 std::string m_set_prompt; 412 std::string m_set_continuation_prompt; 413 std::string m_current_prompt; 414 bool m_needs_prompt_repaint = false; 415 volatile std::sig_atomic_t m_terminal_size_has_changed = 0; 416 std::string m_editor_name; 417 FILE *m_input_file; 418 lldb::LockableStreamFileSP m_output_stream_sp; 419 lldb::LockableStreamFileSP m_error_stream_sp; 420 421 std::optional<LockedStreamFile> m_locked_output; 422 423 ConnectionFileDescriptor m_input_connection; 424 425 IsInputCompleteCallbackType m_is_input_complete_callback; 426 427 FixIndentationCallbackType m_fix_indentation_callback; 428 const char *m_fix_indentation_callback_chars = nullptr; 429 430 CompleteCallbackType m_completion_callback; 431 SuggestionCallbackType m_suggestion_callback; 432 RedrawCallbackType m_redraw_callback; 433 434 bool m_color; 435 std::string m_prompt_ansi_prefix; 436 std::string m_prompt_ansi_suffix; 437 std::string m_suggestion_ansi_prefix; 438 std::string m_suggestion_ansi_suffix; 439 440 std::size_t m_previous_autosuggestion_size = 0; 441 }; 442 } 443 444 #endif // LLDB_HOST_EDITLINE_H 445