xref: /src/contrib/llvm-project/llvm/lib/LineEditor/LineEditor.cpp (revision 7a6dacaca14b62ca4b74406814becb87a3fefac0)
15ca98fd9SDimitry Andric //===-- LineEditor.cpp - line editor --------------------------------------===//
25ca98fd9SDimitry Andric //
3e6d15924SDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4e6d15924SDimitry Andric // See https://llvm.org/LICENSE.txt for license information.
5e6d15924SDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
65ca98fd9SDimitry Andric //
75ca98fd9SDimitry Andric //===----------------------------------------------------------------------===//
85ca98fd9SDimitry Andric 
95ca98fd9SDimitry Andric #include "llvm/LineEditor/LineEditor.h"
10e3b55780SDimitry Andric #include "llvm/ADT/STLExtras.h"
115ca98fd9SDimitry Andric #include "llvm/ADT/SmallString.h"
125ca98fd9SDimitry Andric #include "llvm/Config/config.h"
135ca98fd9SDimitry Andric #include "llvm/Support/Path.h"
145ca98fd9SDimitry Andric #include "llvm/Support/raw_ostream.h"
1501095a5dSDimitry Andric #include <algorithm>
1601095a5dSDimitry Andric #include <cassert>
1701095a5dSDimitry Andric #include <cstdio>
185ca98fd9SDimitry Andric #ifdef HAVE_LIBEDIT
195ca98fd9SDimitry Andric #include <histedit.h>
205ca98fd9SDimitry Andric #endif
215ca98fd9SDimitry Andric 
225ca98fd9SDimitry Andric using namespace llvm;
235ca98fd9SDimitry Andric 
getDefaultHistoryPath(StringRef ProgName)245ca98fd9SDimitry Andric std::string LineEditor::getDefaultHistoryPath(StringRef ProgName) {
255ca98fd9SDimitry Andric   SmallString<32> Path;
265ca98fd9SDimitry Andric   if (sys::path::home_directory(Path)) {
275ca98fd9SDimitry Andric     sys::path::append(Path, "." + ProgName + "-history");
284df029ccSDimitry Andric     return std::string(Path);
295ca98fd9SDimitry Andric   }
305ca98fd9SDimitry Andric   return std::string();
315ca98fd9SDimitry Andric }
325ca98fd9SDimitry Andric 
33145449b1SDimitry Andric LineEditor::CompleterConcept::~CompleterConcept() = default;
34145449b1SDimitry Andric LineEditor::ListCompleterConcept::~ListCompleterConcept() = default;
355ca98fd9SDimitry Andric 
getCommonPrefix(const std::vector<Completion> & Comps)365ca98fd9SDimitry Andric std::string LineEditor::ListCompleterConcept::getCommonPrefix(
375ca98fd9SDimitry Andric     const std::vector<Completion> &Comps) {
385ca98fd9SDimitry Andric   assert(!Comps.empty());
395ca98fd9SDimitry Andric 
405ca98fd9SDimitry Andric   std::string CommonPrefix = Comps[0].TypedText;
41e3b55780SDimitry Andric   for (const Completion &C : llvm::drop_begin(Comps)) {
42e3b55780SDimitry Andric     size_t Len = std::min(CommonPrefix.size(), C.TypedText.size());
435ca98fd9SDimitry Andric     size_t CommonLen = 0;
445ca98fd9SDimitry Andric     for (; CommonLen != Len; ++CommonLen) {
45e3b55780SDimitry Andric       if (CommonPrefix[CommonLen] != C.TypedText[CommonLen])
465ca98fd9SDimitry Andric         break;
475ca98fd9SDimitry Andric     }
485ca98fd9SDimitry Andric     CommonPrefix.resize(CommonLen);
495ca98fd9SDimitry Andric   }
505ca98fd9SDimitry Andric   return CommonPrefix;
515ca98fd9SDimitry Andric }
525ca98fd9SDimitry Andric 
535ca98fd9SDimitry Andric LineEditor::CompletionAction
complete(StringRef Buffer,size_t Pos) const545ca98fd9SDimitry Andric LineEditor::ListCompleterConcept::complete(StringRef Buffer, size_t Pos) const {
555ca98fd9SDimitry Andric   CompletionAction Action;
565ca98fd9SDimitry Andric   std::vector<Completion> Comps = getCompletions(Buffer, Pos);
575ca98fd9SDimitry Andric   if (Comps.empty()) {
585ca98fd9SDimitry Andric     Action.Kind = CompletionAction::AK_ShowCompletions;
595ca98fd9SDimitry Andric     return Action;
605ca98fd9SDimitry Andric   }
615ca98fd9SDimitry Andric 
625ca98fd9SDimitry Andric   std::string CommonPrefix = getCommonPrefix(Comps);
635ca98fd9SDimitry Andric 
645ca98fd9SDimitry Andric   // If the common prefix is non-empty we can simply insert it. If there is a
655ca98fd9SDimitry Andric   // single completion, this will insert the full completion. If there is more
665ca98fd9SDimitry Andric   // than one, this might be enough information to jog the user's memory but if
675ca98fd9SDimitry Andric   // not the user can also hit tab again to see the completions because the
685ca98fd9SDimitry Andric   // common prefix will then be empty.
695ca98fd9SDimitry Andric   if (CommonPrefix.empty()) {
705ca98fd9SDimitry Andric     Action.Kind = CompletionAction::AK_ShowCompletions;
7177fc4c14SDimitry Andric     for (const Completion &Comp : Comps)
7277fc4c14SDimitry Andric       Action.Completions.push_back(Comp.DisplayText);
735ca98fd9SDimitry Andric   } else {
745ca98fd9SDimitry Andric     Action.Kind = CompletionAction::AK_Insert;
755ca98fd9SDimitry Andric     Action.Text = CommonPrefix;
765ca98fd9SDimitry Andric   }
775ca98fd9SDimitry Andric 
785ca98fd9SDimitry Andric   return Action;
795ca98fd9SDimitry Andric }
805ca98fd9SDimitry Andric 
getCompletionAction(StringRef Buffer,size_t Pos) const815ca98fd9SDimitry Andric LineEditor::CompletionAction LineEditor::getCompletionAction(StringRef Buffer,
825ca98fd9SDimitry Andric                                                              size_t Pos) const {
835ca98fd9SDimitry Andric   if (!Completer) {
845ca98fd9SDimitry Andric     CompletionAction Action;
855ca98fd9SDimitry Andric     Action.Kind = CompletionAction::AK_ShowCompletions;
865ca98fd9SDimitry Andric     return Action;
875ca98fd9SDimitry Andric   }
885ca98fd9SDimitry Andric 
895ca98fd9SDimitry Andric   return Completer->complete(Buffer, Pos);
905ca98fd9SDimitry Andric }
915ca98fd9SDimitry Andric 
925ca98fd9SDimitry Andric #ifdef HAVE_LIBEDIT
935ca98fd9SDimitry Andric 
945ca98fd9SDimitry Andric // libedit-based implementation.
955ca98fd9SDimitry Andric 
965ca98fd9SDimitry Andric struct LineEditor::InternalData {
975ca98fd9SDimitry Andric   LineEditor *LE;
985ca98fd9SDimitry Andric 
995ca98fd9SDimitry Andric   History *Hist;
1005ca98fd9SDimitry Andric   EditLine *EL;
1015ca98fd9SDimitry Andric 
1025ca98fd9SDimitry Andric   unsigned PrevCount;
1035ca98fd9SDimitry Andric   std::string ContinuationOutput;
1045ca98fd9SDimitry Andric 
1055ca98fd9SDimitry Andric   FILE *Out;
1065ca98fd9SDimitry Andric };
1075ca98fd9SDimitry Andric 
10801095a5dSDimitry Andric namespace {
10901095a5dSDimitry Andric 
ElGetPromptFn(EditLine * EL)11001095a5dSDimitry Andric const char *ElGetPromptFn(EditLine *EL) {
1115ca98fd9SDimitry Andric   LineEditor::InternalData *Data;
1125ca98fd9SDimitry Andric   if (el_get(EL, EL_CLIENTDATA, &Data) == 0)
1135ca98fd9SDimitry Andric     return Data->LE->getPrompt().c_str();
1145ca98fd9SDimitry Andric   return "> ";
1155ca98fd9SDimitry Andric }
1165ca98fd9SDimitry Andric 
1175ca98fd9SDimitry Andric // Handles tab completion.
1185ca98fd9SDimitry Andric //
1195ca98fd9SDimitry Andric // This function is really horrible. But since the alternative is to get into
1205ca98fd9SDimitry Andric // the line editor business, here we are.
ElCompletionFn(EditLine * EL,int ch)12101095a5dSDimitry Andric unsigned char ElCompletionFn(EditLine *EL, int ch) {
1225ca98fd9SDimitry Andric   LineEditor::InternalData *Data;
1235ca98fd9SDimitry Andric   if (el_get(EL, EL_CLIENTDATA, &Data) == 0) {
1245ca98fd9SDimitry Andric     if (!Data->ContinuationOutput.empty()) {
1255ca98fd9SDimitry Andric       // This is the continuation of the AK_ShowCompletions branch below.
1265ca98fd9SDimitry Andric       FILE *Out = Data->Out;
1275ca98fd9SDimitry Andric 
1285ca98fd9SDimitry Andric       // Print the required output (see below).
1295ca98fd9SDimitry Andric       ::fwrite(Data->ContinuationOutput.c_str(),
1305ca98fd9SDimitry Andric                Data->ContinuationOutput.size(), 1, Out);
1315ca98fd9SDimitry Andric 
1325ca98fd9SDimitry Andric       // Push a sequence of Ctrl-B characters to move the cursor back to its
1335ca98fd9SDimitry Andric       // original position.
1345ca98fd9SDimitry Andric       std::string Prevs(Data->PrevCount, '\02');
1355ca98fd9SDimitry Andric       ::el_push(EL, const_cast<char *>(Prevs.c_str()));
1365ca98fd9SDimitry Andric 
1375ca98fd9SDimitry Andric       Data->ContinuationOutput.clear();
1385ca98fd9SDimitry Andric 
1395ca98fd9SDimitry Andric       return CC_REFRESH;
1405ca98fd9SDimitry Andric     }
1415ca98fd9SDimitry Andric 
1425ca98fd9SDimitry Andric     const LineInfo *LI = ::el_line(EL);
1435ca98fd9SDimitry Andric     LineEditor::CompletionAction Action = Data->LE->getCompletionAction(
1445ca98fd9SDimitry Andric         StringRef(LI->buffer, LI->lastchar - LI->buffer),
1455ca98fd9SDimitry Andric         LI->cursor - LI->buffer);
1465ca98fd9SDimitry Andric     switch (Action.Kind) {
1475ca98fd9SDimitry Andric     case LineEditor::CompletionAction::AK_Insert:
1485ca98fd9SDimitry Andric       ::el_insertstr(EL, Action.Text.c_str());
1495ca98fd9SDimitry Andric       return CC_REFRESH;
1505ca98fd9SDimitry Andric 
1515ca98fd9SDimitry Andric     case LineEditor::CompletionAction::AK_ShowCompletions:
1525ca98fd9SDimitry Andric       if (Action.Completions.empty()) {
1535ca98fd9SDimitry Andric         return CC_REFRESH_BEEP;
1545ca98fd9SDimitry Andric       } else {
1555ca98fd9SDimitry Andric         // Push a Ctrl-E and a tab. The Ctrl-E causes libedit to move the cursor
1565ca98fd9SDimitry Andric         // to the end of the line, so that when we emit a newline we will be on
1575ca98fd9SDimitry Andric         // a new blank line. The tab causes libedit to call this function again
1585ca98fd9SDimitry Andric         // after moving the cursor. There doesn't seem to be anything we can do
1595ca98fd9SDimitry Andric         // from here to cause libedit to move the cursor immediately. This will
1605ca98fd9SDimitry Andric         // break horribly if the user has rebound their keys, so for now we do
1615ca98fd9SDimitry Andric         // not permit user rebinding.
1625ca98fd9SDimitry Andric         ::el_push(EL, const_cast<char *>("\05\t"));
1635ca98fd9SDimitry Andric 
1645ca98fd9SDimitry Andric         // This assembles the output for the continuation block above.
1655ca98fd9SDimitry Andric         raw_string_ostream OS(Data->ContinuationOutput);
1665ca98fd9SDimitry Andric 
1675ca98fd9SDimitry Andric         // Move cursor to a blank line.
1685ca98fd9SDimitry Andric         OS << "\n";
1695ca98fd9SDimitry Andric 
1705ca98fd9SDimitry Andric         // Emit the completions.
171e3b55780SDimitry Andric         for (const std::string &Completion : Action.Completions)
172e3b55780SDimitry Andric           OS << Completion << "\n";
1735ca98fd9SDimitry Andric 
1745ca98fd9SDimitry Andric         // Fool libedit into thinking nothing has changed. Reprint its prompt
1755ca98fd9SDimitry Andric         // and the user input. Note that the cursor will remain at the end of
1765ca98fd9SDimitry Andric         // the line after this.
1775ca98fd9SDimitry Andric         OS << Data->LE->getPrompt()
1785ca98fd9SDimitry Andric            << StringRef(LI->buffer, LI->lastchar - LI->buffer);
1795ca98fd9SDimitry Andric 
1805ca98fd9SDimitry Andric         // This is the number of characters we need to tell libedit to go back:
1815ca98fd9SDimitry Andric         // the distance between end of line and the original cursor position.
1825ca98fd9SDimitry Andric         Data->PrevCount = LI->lastchar - LI->cursor;
1835ca98fd9SDimitry Andric 
1845ca98fd9SDimitry Andric         return CC_REFRESH;
1855ca98fd9SDimitry Andric       }
1865ca98fd9SDimitry Andric     }
1875ca98fd9SDimitry Andric   }
1885ca98fd9SDimitry Andric   return CC_ERROR;
1895ca98fd9SDimitry Andric }
1905ca98fd9SDimitry Andric 
19101095a5dSDimitry Andric } // end anonymous namespace
19201095a5dSDimitry Andric 
LineEditor(StringRef ProgName,StringRef HistoryPath,FILE * In,FILE * Out,FILE * Err)1935ca98fd9SDimitry Andric LineEditor::LineEditor(StringRef ProgName, StringRef HistoryPath, FILE *In,
1945ca98fd9SDimitry Andric                        FILE *Out, FILE *Err)
195cfca06d7SDimitry Andric     : Prompt((ProgName + "> ").str()), HistoryPath(std::string(HistoryPath)),
1965ca98fd9SDimitry Andric       Data(new InternalData) {
1975ca98fd9SDimitry Andric   if (HistoryPath.empty())
1985ca98fd9SDimitry Andric     this->HistoryPath = getDefaultHistoryPath(ProgName);
1995ca98fd9SDimitry Andric 
2005ca98fd9SDimitry Andric   Data->LE = this;
2015ca98fd9SDimitry Andric   Data->Out = Out;
2025ca98fd9SDimitry Andric 
2035ca98fd9SDimitry Andric   Data->Hist = ::history_init();
2045ca98fd9SDimitry Andric   assert(Data->Hist);
2055ca98fd9SDimitry Andric 
2065ca98fd9SDimitry Andric   Data->EL = ::el_init(ProgName.str().c_str(), In, Out, Err);
2075ca98fd9SDimitry Andric   assert(Data->EL);
2085ca98fd9SDimitry Andric 
2095ca98fd9SDimitry Andric   ::el_set(Data->EL, EL_PROMPT, ElGetPromptFn);
2105ca98fd9SDimitry Andric   ::el_set(Data->EL, EL_EDITOR, "emacs");
2115ca98fd9SDimitry Andric   ::el_set(Data->EL, EL_HIST, history, Data->Hist);
2125ca98fd9SDimitry Andric   ::el_set(Data->EL, EL_ADDFN, "tab_complete", "Tab completion function",
2135ca98fd9SDimitry Andric            ElCompletionFn);
2145ca98fd9SDimitry Andric   ::el_set(Data->EL, EL_BIND, "\t", "tab_complete", NULL);
2155ca98fd9SDimitry Andric   ::el_set(Data->EL, EL_BIND, "^r", "em-inc-search-prev",
2165ca98fd9SDimitry Andric            NULL); // Cycle through backwards search, entering string
2175ca98fd9SDimitry Andric   ::el_set(Data->EL, EL_BIND, "^w", "ed-delete-prev-word",
2185ca98fd9SDimitry Andric            NULL); // Delete previous word, behave like bash does.
2195ca98fd9SDimitry Andric   ::el_set(Data->EL, EL_BIND, "\033[3~", "ed-delete-next-char",
2205ca98fd9SDimitry Andric            NULL); // Fix the delete key.
2215ca98fd9SDimitry Andric   ::el_set(Data->EL, EL_CLIENTDATA, Data.get());
2225ca98fd9SDimitry Andric 
2235ca98fd9SDimitry Andric   HistEvent HE;
2245ca98fd9SDimitry Andric   ::history(Data->Hist, &HE, H_SETSIZE, 800);
2255ca98fd9SDimitry Andric   ::history(Data->Hist, &HE, H_SETUNIQUE, 1);
2265ca98fd9SDimitry Andric   loadHistory();
2275ca98fd9SDimitry Andric }
2285ca98fd9SDimitry Andric 
~LineEditor()2295ca98fd9SDimitry Andric LineEditor::~LineEditor() {
2305ca98fd9SDimitry Andric   saveHistory();
2315ca98fd9SDimitry Andric 
2325ca98fd9SDimitry Andric   ::history_end(Data->Hist);
2335ca98fd9SDimitry Andric   ::el_end(Data->EL);
2345ca98fd9SDimitry Andric   ::fwrite("\n", 1, 1, Data->Out);
2355ca98fd9SDimitry Andric }
2365ca98fd9SDimitry Andric 
saveHistory()2375ca98fd9SDimitry Andric void LineEditor::saveHistory() {
2385ca98fd9SDimitry Andric   if (!HistoryPath.empty()) {
2395ca98fd9SDimitry Andric     HistEvent HE;
2405ca98fd9SDimitry Andric     ::history(Data->Hist, &HE, H_SAVE, HistoryPath.c_str());
2415ca98fd9SDimitry Andric   }
2425ca98fd9SDimitry Andric }
2435ca98fd9SDimitry Andric 
loadHistory()2445ca98fd9SDimitry Andric void LineEditor::loadHistory() {
2455ca98fd9SDimitry Andric   if (!HistoryPath.empty()) {
2465ca98fd9SDimitry Andric     HistEvent HE;
2475ca98fd9SDimitry Andric     ::history(Data->Hist, &HE, H_LOAD, HistoryPath.c_str());
2485ca98fd9SDimitry Andric   }
2495ca98fd9SDimitry Andric }
2505ca98fd9SDimitry Andric 
readLine() const251e3b55780SDimitry Andric std::optional<std::string> LineEditor::readLine() const {
2525ca98fd9SDimitry Andric   // Call el_gets to prompt the user and read the user's input.
2535ca98fd9SDimitry Andric   int LineLen = 0;
2545ca98fd9SDimitry Andric   const char *Line = ::el_gets(Data->EL, &LineLen);
2555ca98fd9SDimitry Andric 
2565ca98fd9SDimitry Andric   // Either of these may mean end-of-file.
2575ca98fd9SDimitry Andric   if (!Line || LineLen == 0)
258e3b55780SDimitry Andric     return std::nullopt;
2595ca98fd9SDimitry Andric 
2605ca98fd9SDimitry Andric   // Strip any newlines off the end of the string.
2615ca98fd9SDimitry Andric   while (LineLen > 0 &&
2625ca98fd9SDimitry Andric          (Line[LineLen - 1] == '\n' || Line[LineLen - 1] == '\r'))
2635ca98fd9SDimitry Andric     --LineLen;
2645ca98fd9SDimitry Andric 
2655ca98fd9SDimitry Andric   HistEvent HE;
2665ca98fd9SDimitry Andric   if (LineLen > 0)
2675ca98fd9SDimitry Andric     ::history(Data->Hist, &HE, H_ENTER, Line);
2685ca98fd9SDimitry Andric 
2695ca98fd9SDimitry Andric   return std::string(Line, LineLen);
2705ca98fd9SDimitry Andric }
2715ca98fd9SDimitry Andric 
27201095a5dSDimitry Andric #else // HAVE_LIBEDIT
2735ca98fd9SDimitry Andric 
2745ca98fd9SDimitry Andric // Simple fgets-based implementation.
2755ca98fd9SDimitry Andric 
2765ca98fd9SDimitry Andric struct LineEditor::InternalData {
2775ca98fd9SDimitry Andric   FILE *In;
2785ca98fd9SDimitry Andric   FILE *Out;
2795ca98fd9SDimitry Andric };
2805ca98fd9SDimitry Andric 
LineEditor(StringRef ProgName,StringRef HistoryPath,FILE * In,FILE * Out,FILE * Err)2815ca98fd9SDimitry Andric LineEditor::LineEditor(StringRef ProgName, StringRef HistoryPath, FILE *In,
2825ca98fd9SDimitry Andric                        FILE *Out, FILE *Err)
2835ca98fd9SDimitry Andric     : Prompt((ProgName + "> ").str()), Data(new InternalData) {
2845ca98fd9SDimitry Andric   Data->In = In;
2855ca98fd9SDimitry Andric   Data->Out = Out;
2865ca98fd9SDimitry Andric }
2875ca98fd9SDimitry Andric 
~LineEditor()2885ca98fd9SDimitry Andric LineEditor::~LineEditor() {
2895ca98fd9SDimitry Andric   ::fwrite("\n", 1, 1, Data->Out);
2905ca98fd9SDimitry Andric }
2915ca98fd9SDimitry Andric 
saveHistory()2925ca98fd9SDimitry Andric void LineEditor::saveHistory() {}
loadHistory()2935ca98fd9SDimitry Andric void LineEditor::loadHistory() {}
2945ca98fd9SDimitry Andric 
readLine() const295e3b55780SDimitry Andric std::optional<std::string> LineEditor::readLine() const {
2965ca98fd9SDimitry Andric   ::fprintf(Data->Out, "%s", Prompt.c_str());
2975ca98fd9SDimitry Andric 
2985ca98fd9SDimitry Andric   std::string Line;
2995ca98fd9SDimitry Andric   do {
3005ca98fd9SDimitry Andric     char Buf[64];
3015ca98fd9SDimitry Andric     char *Res = ::fgets(Buf, sizeof(Buf), Data->In);
3025ca98fd9SDimitry Andric     if (!Res) {
3035ca98fd9SDimitry Andric       if (Line.empty())
304e3b55780SDimitry Andric         return std::nullopt;
3055ca98fd9SDimitry Andric       else
3065ca98fd9SDimitry Andric         return Line;
3075ca98fd9SDimitry Andric     }
3085ca98fd9SDimitry Andric     Line.append(Buf);
3095ca98fd9SDimitry Andric   } while (Line.empty() ||
3105ca98fd9SDimitry Andric            (Line[Line.size() - 1] != '\n' && Line[Line.size() - 1] != '\r'));
3115ca98fd9SDimitry Andric 
3125ca98fd9SDimitry Andric   while (!Line.empty() &&
3135ca98fd9SDimitry Andric          (Line[Line.size() - 1] == '\n' || Line[Line.size() - 1] == '\r'))
3145ca98fd9SDimitry Andric     Line.resize(Line.size() - 1);
3155ca98fd9SDimitry Andric 
3165ca98fd9SDimitry Andric   return Line;
3175ca98fd9SDimitry Andric }
3185ca98fd9SDimitry Andric 
31901095a5dSDimitry Andric #endif // HAVE_LIBEDIT
320