191bc56edSDimitry Andric //===-- LineEditor.cpp - line editor --------------------------------------===//
291bc56edSDimitry Andric //
391bc56edSDimitry Andric //                     The LLVM Compiler Infrastructure
491bc56edSDimitry Andric //
591bc56edSDimitry Andric // This file is distributed under the University of Illinois Open Source
691bc56edSDimitry Andric // License. See LICENSE.TXT for details.
791bc56edSDimitry Andric //
891bc56edSDimitry Andric //===----------------------------------------------------------------------===//
991bc56edSDimitry Andric 
1091bc56edSDimitry Andric #include "llvm/LineEditor/LineEditor.h"
1191bc56edSDimitry Andric #include "llvm/ADT/SmallString.h"
1291bc56edSDimitry Andric #include "llvm/Config/config.h"
1391bc56edSDimitry Andric #include "llvm/Support/Path.h"
1491bc56edSDimitry Andric #include "llvm/Support/raw_ostream.h"
15*3ca95b02SDimitry Andric #include <algorithm>
16*3ca95b02SDimitry Andric #include <cassert>
17*3ca95b02SDimitry Andric #include <cstdio>
1891bc56edSDimitry Andric #ifdef HAVE_LIBEDIT
1991bc56edSDimitry Andric #include <histedit.h>
2091bc56edSDimitry Andric #endif
2191bc56edSDimitry Andric 
2291bc56edSDimitry Andric using namespace llvm;
2391bc56edSDimitry Andric 
getDefaultHistoryPath(StringRef ProgName)2491bc56edSDimitry Andric std::string LineEditor::getDefaultHistoryPath(StringRef ProgName) {
2591bc56edSDimitry Andric   SmallString<32> Path;
2691bc56edSDimitry Andric   if (sys::path::home_directory(Path)) {
2791bc56edSDimitry Andric     sys::path::append(Path, "." + ProgName + "-history");
2891bc56edSDimitry Andric     return Path.str();
2991bc56edSDimitry Andric   }
3091bc56edSDimitry Andric   return std::string();
3191bc56edSDimitry Andric }
3291bc56edSDimitry Andric 
~CompleterConcept()3391bc56edSDimitry Andric LineEditor::CompleterConcept::~CompleterConcept() {}
~ListCompleterConcept()3491bc56edSDimitry Andric LineEditor::ListCompleterConcept::~ListCompleterConcept() {}
3591bc56edSDimitry Andric 
getCommonPrefix(const std::vector<Completion> & Comps)3691bc56edSDimitry Andric std::string LineEditor::ListCompleterConcept::getCommonPrefix(
3791bc56edSDimitry Andric     const std::vector<Completion> &Comps) {
3891bc56edSDimitry Andric   assert(!Comps.empty());
3991bc56edSDimitry Andric 
4091bc56edSDimitry Andric   std::string CommonPrefix = Comps[0].TypedText;
4191bc56edSDimitry Andric   for (std::vector<Completion>::const_iterator I = Comps.begin() + 1,
4291bc56edSDimitry Andric                                                E = Comps.end();
4391bc56edSDimitry Andric        I != E; ++I) {
4491bc56edSDimitry Andric     size_t Len = std::min(CommonPrefix.size(), I->TypedText.size());
4591bc56edSDimitry Andric     size_t CommonLen = 0;
4691bc56edSDimitry Andric     for (; CommonLen != Len; ++CommonLen) {
4791bc56edSDimitry Andric       if (CommonPrefix[CommonLen] != I->TypedText[CommonLen])
4891bc56edSDimitry Andric         break;
4991bc56edSDimitry Andric     }
5091bc56edSDimitry Andric     CommonPrefix.resize(CommonLen);
5191bc56edSDimitry Andric   }
5291bc56edSDimitry Andric   return CommonPrefix;
5391bc56edSDimitry Andric }
5491bc56edSDimitry Andric 
5591bc56edSDimitry Andric LineEditor::CompletionAction
complete(StringRef Buffer,size_t Pos) const5691bc56edSDimitry Andric LineEditor::ListCompleterConcept::complete(StringRef Buffer, size_t Pos) const {
5791bc56edSDimitry Andric   CompletionAction Action;
5891bc56edSDimitry Andric   std::vector<Completion> Comps = getCompletions(Buffer, Pos);
5991bc56edSDimitry Andric   if (Comps.empty()) {
6091bc56edSDimitry Andric     Action.Kind = CompletionAction::AK_ShowCompletions;
6191bc56edSDimitry Andric     return Action;
6291bc56edSDimitry Andric   }
6391bc56edSDimitry Andric 
6491bc56edSDimitry Andric   std::string CommonPrefix = getCommonPrefix(Comps);
6591bc56edSDimitry Andric 
6691bc56edSDimitry Andric   // If the common prefix is non-empty we can simply insert it. If there is a
6791bc56edSDimitry Andric   // single completion, this will insert the full completion. If there is more
6891bc56edSDimitry Andric   // than one, this might be enough information to jog the user's memory but if
6991bc56edSDimitry Andric   // not the user can also hit tab again to see the completions because the
7091bc56edSDimitry Andric   // common prefix will then be empty.
7191bc56edSDimitry Andric   if (CommonPrefix.empty()) {
7291bc56edSDimitry Andric     Action.Kind = CompletionAction::AK_ShowCompletions;
7391bc56edSDimitry Andric     for (std::vector<Completion>::iterator I = Comps.begin(), E = Comps.end();
7491bc56edSDimitry Andric          I != E; ++I)
7591bc56edSDimitry Andric       Action.Completions.push_back(I->DisplayText);
7691bc56edSDimitry Andric   } else {
7791bc56edSDimitry Andric     Action.Kind = CompletionAction::AK_Insert;
7891bc56edSDimitry Andric     Action.Text = CommonPrefix;
7991bc56edSDimitry Andric   }
8091bc56edSDimitry Andric 
8191bc56edSDimitry Andric   return Action;
8291bc56edSDimitry Andric }
8391bc56edSDimitry Andric 
getCompletionAction(StringRef Buffer,size_t Pos) const8491bc56edSDimitry Andric LineEditor::CompletionAction LineEditor::getCompletionAction(StringRef Buffer,
8591bc56edSDimitry Andric                                                              size_t Pos) const {
8691bc56edSDimitry Andric   if (!Completer) {
8791bc56edSDimitry Andric     CompletionAction Action;
8891bc56edSDimitry Andric     Action.Kind = CompletionAction::AK_ShowCompletions;
8991bc56edSDimitry Andric     return Action;
9091bc56edSDimitry Andric   }
9191bc56edSDimitry Andric 
9291bc56edSDimitry Andric   return Completer->complete(Buffer, Pos);
9391bc56edSDimitry Andric }
9491bc56edSDimitry Andric 
9591bc56edSDimitry Andric #ifdef HAVE_LIBEDIT
9691bc56edSDimitry Andric 
9791bc56edSDimitry Andric // libedit-based implementation.
9891bc56edSDimitry Andric 
9991bc56edSDimitry Andric struct LineEditor::InternalData {
10091bc56edSDimitry Andric   LineEditor *LE;
10191bc56edSDimitry Andric 
10291bc56edSDimitry Andric   History *Hist;
10391bc56edSDimitry Andric   EditLine *EL;
10491bc56edSDimitry Andric 
10591bc56edSDimitry Andric   unsigned PrevCount;
10691bc56edSDimitry Andric   std::string ContinuationOutput;
10791bc56edSDimitry Andric 
10891bc56edSDimitry Andric   FILE *Out;
10991bc56edSDimitry Andric };
11091bc56edSDimitry Andric 
111*3ca95b02SDimitry Andric namespace {
112*3ca95b02SDimitry Andric 
ElGetPromptFn(EditLine * EL)113*3ca95b02SDimitry Andric const char *ElGetPromptFn(EditLine *EL) {
11491bc56edSDimitry Andric   LineEditor::InternalData *Data;
11591bc56edSDimitry Andric   if (el_get(EL, EL_CLIENTDATA, &Data) == 0)
11691bc56edSDimitry Andric     return Data->LE->getPrompt().c_str();
11791bc56edSDimitry Andric   return "> ";
11891bc56edSDimitry Andric }
11991bc56edSDimitry Andric 
12091bc56edSDimitry Andric // Handles tab completion.
12191bc56edSDimitry Andric //
12291bc56edSDimitry Andric // This function is really horrible. But since the alternative is to get into
12391bc56edSDimitry Andric // the line editor business, here we are.
ElCompletionFn(EditLine * EL,int ch)124*3ca95b02SDimitry Andric unsigned char ElCompletionFn(EditLine *EL, int ch) {
12591bc56edSDimitry Andric   LineEditor::InternalData *Data;
12691bc56edSDimitry Andric   if (el_get(EL, EL_CLIENTDATA, &Data) == 0) {
12791bc56edSDimitry Andric     if (!Data->ContinuationOutput.empty()) {
12891bc56edSDimitry Andric       // This is the continuation of the AK_ShowCompletions branch below.
12991bc56edSDimitry Andric       FILE *Out = Data->Out;
13091bc56edSDimitry Andric 
13191bc56edSDimitry Andric       // Print the required output (see below).
13291bc56edSDimitry Andric       ::fwrite(Data->ContinuationOutput.c_str(),
13391bc56edSDimitry Andric                Data->ContinuationOutput.size(), 1, Out);
13491bc56edSDimitry Andric 
13591bc56edSDimitry Andric       // Push a sequence of Ctrl-B characters to move the cursor back to its
13691bc56edSDimitry Andric       // original position.
13791bc56edSDimitry Andric       std::string Prevs(Data->PrevCount, '\02');
13891bc56edSDimitry Andric       ::el_push(EL, const_cast<char *>(Prevs.c_str()));
13991bc56edSDimitry Andric 
14091bc56edSDimitry Andric       Data->ContinuationOutput.clear();
14191bc56edSDimitry Andric 
14291bc56edSDimitry Andric       return CC_REFRESH;
14391bc56edSDimitry Andric     }
14491bc56edSDimitry Andric 
14591bc56edSDimitry Andric     const LineInfo *LI = ::el_line(EL);
14691bc56edSDimitry Andric     LineEditor::CompletionAction Action = Data->LE->getCompletionAction(
14791bc56edSDimitry Andric         StringRef(LI->buffer, LI->lastchar - LI->buffer),
14891bc56edSDimitry Andric         LI->cursor - LI->buffer);
14991bc56edSDimitry Andric     switch (Action.Kind) {
15091bc56edSDimitry Andric     case LineEditor::CompletionAction::AK_Insert:
15191bc56edSDimitry Andric       ::el_insertstr(EL, Action.Text.c_str());
15291bc56edSDimitry Andric       return CC_REFRESH;
15391bc56edSDimitry Andric 
15491bc56edSDimitry Andric     case LineEditor::CompletionAction::AK_ShowCompletions:
15591bc56edSDimitry Andric       if (Action.Completions.empty()) {
15691bc56edSDimitry Andric         return CC_REFRESH_BEEP;
15791bc56edSDimitry Andric       } else {
15891bc56edSDimitry Andric         // Push a Ctrl-E and a tab. The Ctrl-E causes libedit to move the cursor
15991bc56edSDimitry Andric         // to the end of the line, so that when we emit a newline we will be on
16091bc56edSDimitry Andric         // a new blank line. The tab causes libedit to call this function again
16191bc56edSDimitry Andric         // after moving the cursor. There doesn't seem to be anything we can do
16291bc56edSDimitry Andric         // from here to cause libedit to move the cursor immediately. This will
16391bc56edSDimitry Andric         // break horribly if the user has rebound their keys, so for now we do
16491bc56edSDimitry Andric         // not permit user rebinding.
16591bc56edSDimitry Andric         ::el_push(EL, const_cast<char *>("\05\t"));
16691bc56edSDimitry Andric 
16791bc56edSDimitry Andric         // This assembles the output for the continuation block above.
16891bc56edSDimitry Andric         raw_string_ostream OS(Data->ContinuationOutput);
16991bc56edSDimitry Andric 
17091bc56edSDimitry Andric         // Move cursor to a blank line.
17191bc56edSDimitry Andric         OS << "\n";
17291bc56edSDimitry Andric 
17391bc56edSDimitry Andric         // Emit the completions.
17491bc56edSDimitry Andric         for (std::vector<std::string>::iterator I = Action.Completions.begin(),
17591bc56edSDimitry Andric                                                 E = Action.Completions.end();
17691bc56edSDimitry Andric              I != E; ++I) {
17791bc56edSDimitry Andric           OS << *I << "\n";
17891bc56edSDimitry Andric         }
17991bc56edSDimitry Andric 
18091bc56edSDimitry Andric         // Fool libedit into thinking nothing has changed. Reprint its prompt
18191bc56edSDimitry Andric         // and the user input. Note that the cursor will remain at the end of
18291bc56edSDimitry Andric         // the line after this.
18391bc56edSDimitry Andric         OS << Data->LE->getPrompt()
18491bc56edSDimitry Andric            << StringRef(LI->buffer, LI->lastchar - LI->buffer);
18591bc56edSDimitry Andric 
18691bc56edSDimitry Andric         // This is the number of characters we need to tell libedit to go back:
18791bc56edSDimitry Andric         // the distance between end of line and the original cursor position.
18891bc56edSDimitry Andric         Data->PrevCount = LI->lastchar - LI->cursor;
18991bc56edSDimitry Andric 
19091bc56edSDimitry Andric         return CC_REFRESH;
19191bc56edSDimitry Andric       }
19291bc56edSDimitry Andric     }
19391bc56edSDimitry Andric   }
19491bc56edSDimitry Andric   return CC_ERROR;
19591bc56edSDimitry Andric }
19691bc56edSDimitry Andric 
197*3ca95b02SDimitry Andric } // end anonymous namespace
198*3ca95b02SDimitry Andric 
LineEditor(StringRef ProgName,StringRef HistoryPath,FILE * In,FILE * Out,FILE * Err)19991bc56edSDimitry Andric LineEditor::LineEditor(StringRef ProgName, StringRef HistoryPath, FILE *In,
20091bc56edSDimitry Andric                        FILE *Out, FILE *Err)
20191bc56edSDimitry Andric     : Prompt((ProgName + "> ").str()), HistoryPath(HistoryPath),
20291bc56edSDimitry Andric       Data(new InternalData) {
20391bc56edSDimitry Andric   if (HistoryPath.empty())
20491bc56edSDimitry Andric     this->HistoryPath = getDefaultHistoryPath(ProgName);
20591bc56edSDimitry Andric 
20691bc56edSDimitry Andric   Data->LE = this;
20791bc56edSDimitry Andric   Data->Out = Out;
20891bc56edSDimitry Andric 
20991bc56edSDimitry Andric   Data->Hist = ::history_init();
21091bc56edSDimitry Andric   assert(Data->Hist);
21191bc56edSDimitry Andric 
21291bc56edSDimitry Andric   Data->EL = ::el_init(ProgName.str().c_str(), In, Out, Err);
21391bc56edSDimitry Andric   assert(Data->EL);
21491bc56edSDimitry Andric 
21591bc56edSDimitry Andric   ::el_set(Data->EL, EL_PROMPT, ElGetPromptFn);
21691bc56edSDimitry Andric   ::el_set(Data->EL, EL_EDITOR, "emacs");
21791bc56edSDimitry Andric   ::el_set(Data->EL, EL_HIST, history, Data->Hist);
21891bc56edSDimitry Andric   ::el_set(Data->EL, EL_ADDFN, "tab_complete", "Tab completion function",
21991bc56edSDimitry Andric            ElCompletionFn);
22091bc56edSDimitry Andric   ::el_set(Data->EL, EL_BIND, "\t", "tab_complete", NULL);
22191bc56edSDimitry Andric   ::el_set(Data->EL, EL_BIND, "^r", "em-inc-search-prev",
22291bc56edSDimitry Andric            NULL); // Cycle through backwards search, entering string
22391bc56edSDimitry Andric   ::el_set(Data->EL, EL_BIND, "^w", "ed-delete-prev-word",
22491bc56edSDimitry Andric            NULL); // Delete previous word, behave like bash does.
22591bc56edSDimitry Andric   ::el_set(Data->EL, EL_BIND, "\033[3~", "ed-delete-next-char",
22691bc56edSDimitry Andric            NULL); // Fix the delete key.
22791bc56edSDimitry Andric   ::el_set(Data->EL, EL_CLIENTDATA, Data.get());
22891bc56edSDimitry Andric 
22991bc56edSDimitry Andric   HistEvent HE;
23091bc56edSDimitry Andric   ::history(Data->Hist, &HE, H_SETSIZE, 800);
23191bc56edSDimitry Andric   ::history(Data->Hist, &HE, H_SETUNIQUE, 1);
23291bc56edSDimitry Andric   loadHistory();
23391bc56edSDimitry Andric }
23491bc56edSDimitry Andric 
~LineEditor()23591bc56edSDimitry Andric LineEditor::~LineEditor() {
23691bc56edSDimitry Andric   saveHistory();
23791bc56edSDimitry Andric 
23891bc56edSDimitry Andric   ::history_end(Data->Hist);
23991bc56edSDimitry Andric   ::el_end(Data->EL);
24091bc56edSDimitry Andric   ::fwrite("\n", 1, 1, Data->Out);
24191bc56edSDimitry Andric }
24291bc56edSDimitry Andric 
saveHistory()24391bc56edSDimitry Andric void LineEditor::saveHistory() {
24491bc56edSDimitry Andric   if (!HistoryPath.empty()) {
24591bc56edSDimitry Andric     HistEvent HE;
24691bc56edSDimitry Andric     ::history(Data->Hist, &HE, H_SAVE, HistoryPath.c_str());
24791bc56edSDimitry Andric   }
24891bc56edSDimitry Andric }
24991bc56edSDimitry Andric 
loadHistory()25091bc56edSDimitry Andric void LineEditor::loadHistory() {
25191bc56edSDimitry Andric   if (!HistoryPath.empty()) {
25291bc56edSDimitry Andric     HistEvent HE;
25391bc56edSDimitry Andric     ::history(Data->Hist, &HE, H_LOAD, HistoryPath.c_str());
25491bc56edSDimitry Andric   }
25591bc56edSDimitry Andric }
25691bc56edSDimitry Andric 
readLine() const25791bc56edSDimitry Andric Optional<std::string> LineEditor::readLine() const {
25891bc56edSDimitry Andric   // Call el_gets to prompt the user and read the user's input.
25991bc56edSDimitry Andric   int LineLen = 0;
26091bc56edSDimitry Andric   const char *Line = ::el_gets(Data->EL, &LineLen);
26191bc56edSDimitry Andric 
26291bc56edSDimitry Andric   // Either of these may mean end-of-file.
26391bc56edSDimitry Andric   if (!Line || LineLen == 0)
26491bc56edSDimitry Andric     return Optional<std::string>();
26591bc56edSDimitry Andric 
26691bc56edSDimitry Andric   // Strip any newlines off the end of the string.
26791bc56edSDimitry Andric   while (LineLen > 0 &&
26891bc56edSDimitry Andric          (Line[LineLen - 1] == '\n' || Line[LineLen - 1] == '\r'))
26991bc56edSDimitry Andric     --LineLen;
27091bc56edSDimitry Andric 
27191bc56edSDimitry Andric   HistEvent HE;
27291bc56edSDimitry Andric   if (LineLen > 0)
27391bc56edSDimitry Andric     ::history(Data->Hist, &HE, H_ENTER, Line);
27491bc56edSDimitry Andric 
27591bc56edSDimitry Andric   return std::string(Line, LineLen);
27691bc56edSDimitry Andric }
27791bc56edSDimitry Andric 
278*3ca95b02SDimitry Andric #else // HAVE_LIBEDIT
27991bc56edSDimitry Andric 
28091bc56edSDimitry Andric // Simple fgets-based implementation.
28191bc56edSDimitry Andric 
28291bc56edSDimitry Andric struct LineEditor::InternalData {
28391bc56edSDimitry Andric   FILE *In;
28491bc56edSDimitry Andric   FILE *Out;
28591bc56edSDimitry Andric };
28691bc56edSDimitry Andric 
LineEditor(StringRef ProgName,StringRef HistoryPath,FILE * In,FILE * Out,FILE * Err)28791bc56edSDimitry Andric LineEditor::LineEditor(StringRef ProgName, StringRef HistoryPath, FILE *In,
28891bc56edSDimitry Andric                        FILE *Out, FILE *Err)
28991bc56edSDimitry Andric     : Prompt((ProgName + "> ").str()), Data(new InternalData) {
29091bc56edSDimitry Andric   Data->In = In;
29191bc56edSDimitry Andric   Data->Out = Out;
29291bc56edSDimitry Andric }
29391bc56edSDimitry Andric 
~LineEditor()29491bc56edSDimitry Andric LineEditor::~LineEditor() {
29591bc56edSDimitry Andric   ::fwrite("\n", 1, 1, Data->Out);
29691bc56edSDimitry Andric }
29791bc56edSDimitry Andric 
saveHistory()29891bc56edSDimitry Andric void LineEditor::saveHistory() {}
loadHistory()29991bc56edSDimitry Andric void LineEditor::loadHistory() {}
30091bc56edSDimitry Andric 
readLine() const30191bc56edSDimitry Andric Optional<std::string> LineEditor::readLine() const {
30291bc56edSDimitry Andric   ::fprintf(Data->Out, "%s", Prompt.c_str());
30391bc56edSDimitry Andric 
30491bc56edSDimitry Andric   std::string Line;
30591bc56edSDimitry Andric   do {
30691bc56edSDimitry Andric     char Buf[64];
30791bc56edSDimitry Andric     char *Res = ::fgets(Buf, sizeof(Buf), Data->In);
30891bc56edSDimitry Andric     if (!Res) {
30991bc56edSDimitry Andric       if (Line.empty())
31091bc56edSDimitry Andric         return Optional<std::string>();
31191bc56edSDimitry Andric       else
31291bc56edSDimitry Andric         return Line;
31391bc56edSDimitry Andric     }
31491bc56edSDimitry Andric     Line.append(Buf);
31591bc56edSDimitry Andric   } while (Line.empty() ||
31691bc56edSDimitry Andric            (Line[Line.size() - 1] != '\n' && Line[Line.size() - 1] != '\r'));
31791bc56edSDimitry Andric 
31891bc56edSDimitry Andric   while (!Line.empty() &&
31991bc56edSDimitry Andric          (Line[Line.size() - 1] == '\n' || Line[Line.size() - 1] == '\r'))
32091bc56edSDimitry Andric     Line.resize(Line.size() - 1);
32191bc56edSDimitry Andric 
32291bc56edSDimitry Andric   return Line;
32391bc56edSDimitry Andric }
32491bc56edSDimitry Andric 
325*3ca95b02SDimitry Andric #endif // HAVE_LIBEDIT
326