2017-03-26 21:40:34 +00:00
|
|
|
#include "working_files.h"
|
|
|
|
|
2017-06-15 05:32:23 +00:00
|
|
|
#include "lex_utils.h"
|
2017-04-16 08:09:12 +00:00
|
|
|
#include "position.h"
|
2017-04-09 19:38:52 +00:00
|
|
|
|
2017-05-15 07:28:53 +00:00
|
|
|
#include <doctest/doctest.h>
|
2017-12-02 01:04:39 +00:00
|
|
|
#include <loguru.hpp>
|
2017-05-15 07:28:53 +00:00
|
|
|
|
2018-01-14 09:33:12 +00:00
|
|
|
#include <algorithm>
|
2017-04-17 20:40:50 +00:00
|
|
|
#include <climits>
|
|
|
|
|
2017-04-09 19:38:52 +00:00
|
|
|
namespace {
|
|
|
|
|
2018-01-14 09:33:12 +00:00
|
|
|
constexpr int kMaxDiff = 9;
|
|
|
|
|
2017-05-15 07:28:53 +00:00
|
|
|
lsPosition GetPositionForOffset(const std::string& content, int offset) {
|
|
|
|
if (offset >= content.size())
|
2017-05-21 23:22:00 +00:00
|
|
|
offset = (int)content.size() - 1;
|
2017-05-15 07:28:53 +00:00
|
|
|
|
|
|
|
lsPosition result;
|
|
|
|
int i = 0;
|
|
|
|
while (i < offset) {
|
|
|
|
if (content[i] == '\n') {
|
|
|
|
result.line += 1;
|
|
|
|
result.character = 0;
|
2017-09-22 01:14:57 +00:00
|
|
|
} else {
|
2017-05-15 07:28:53 +00:00
|
|
|
result.character += 1;
|
|
|
|
}
|
|
|
|
++i;
|
|
|
|
}
|
|
|
|
|
|
|
|
return result;
|
|
|
|
}
|
2018-01-14 09:33:12 +00:00
|
|
|
|
|
|
|
int MyersDiff(const char *a, int la, const char *b, int lb, int threshold) {
|
|
|
|
assert(threshold <= kMaxDiff);
|
|
|
|
static int v_static[kMaxDiff + 2];
|
|
|
|
const char *ea = a + la, *eb = b + lb;
|
|
|
|
// Strip prefix
|
|
|
|
for (; a < ea && b < eb && *a == *b; a++, b++) {}
|
|
|
|
// Strip suffix
|
|
|
|
for (; a < ea && b < eb && ea[-1] == eb[-1]; ea--, eb--) {}
|
2018-01-14 17:49:09 +00:00
|
|
|
la = int(ea - a);
|
|
|
|
lb = int(eb - b);
|
2018-01-14 09:33:12 +00:00
|
|
|
|
|
|
|
int* v = v_static + lb;
|
|
|
|
v[1] = 0;
|
|
|
|
for (int di = 0; di <= threshold; di++) {
|
|
|
|
int low = -di + 2 * std::max(0, di - lb), high = di - 2 * std::max(0, di - la);
|
|
|
|
for (int i = low; i <= high; i += 2) {
|
|
|
|
int x = i == -di || (i != di && v[i-1] < v[i+1]) ? v[i+1] : v[i-1] + 1,
|
|
|
|
y = x - i;
|
|
|
|
while (x < la && y < lb && a[x] == b[y])
|
|
|
|
x++, y++;
|
|
|
|
v[i] = x;
|
|
|
|
if (x == la && y == lb)
|
|
|
|
return di;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
return threshold + 1;
|
|
|
|
}
|
|
|
|
|
|
|
|
int MyersDiff(const std::string& a, const std::string& b, int threshold) {
|
|
|
|
return MyersDiff(a.data(), a.size(), b.data(), b.size(), threshold);
|
|
|
|
}
|
|
|
|
|
2018-01-14 18:50:54 +00:00
|
|
|
// Find matching buffer line with index line and the converse.
|
|
|
|
optional<int> FindMatchingLine(const std::vector<std::string>& index_lines,
|
|
|
|
const std::vector<int>& index_to_buffer,
|
|
|
|
int line,
|
|
|
|
const std::vector<std::string>& buffer_lines) {
|
|
|
|
if (index_to_buffer[line] >= 0)
|
2018-01-14 19:39:29 +00:00
|
|
|
return index_to_buffer[line];
|
2018-01-14 18:50:54 +00:00
|
|
|
int up = line, down = line;
|
|
|
|
while (--up >= 0 && index_to_buffer[up] < 0) {}
|
|
|
|
while (++down < int(index_to_buffer.size()) && index_to_buffer[down] < 0) {}
|
|
|
|
up = up < 0 ? 0 : index_to_buffer[up];
|
|
|
|
down = down >= int(index_to_buffer.size()) ? int(buffer_lines.size()) - 1
|
|
|
|
: index_to_buffer[down];
|
|
|
|
if (up > down)
|
|
|
|
return nullopt;
|
|
|
|
int best = up, best_dist = kMaxDiff + 1;
|
|
|
|
const std::string& needle = index_lines[line];
|
|
|
|
for (int i = up; i <= down; i++) {
|
|
|
|
int dist = MyersDiff(needle, buffer_lines[i], kMaxDiff);
|
|
|
|
if (dist < best_dist) {
|
|
|
|
best_dist = dist;
|
|
|
|
best = i;
|
|
|
|
}
|
|
|
|
}
|
2018-01-14 19:39:29 +00:00
|
|
|
return best;
|
2018-01-14 18:50:54 +00:00
|
|
|
}
|
|
|
|
|
2017-05-29 21:18:35 +00:00
|
|
|
} // namespace
|
|
|
|
|
2018-01-12 17:37:33 +00:00
|
|
|
std::vector<CXUnsavedFile> WorkingFiles::Snapshot::AsUnsavedFiles() const {
|
|
|
|
std::vector<CXUnsavedFile> result;
|
|
|
|
result.reserve(files.size());
|
|
|
|
for (auto& file : files) {
|
|
|
|
CXUnsavedFile unsaved;
|
|
|
|
unsaved.Filename = file.filename.c_str();
|
|
|
|
unsaved.Contents = file.content.c_str();
|
|
|
|
unsaved.Length = (unsigned long)file.content.size();
|
|
|
|
|
|
|
|
result.push_back(unsaved);
|
|
|
|
}
|
|
|
|
return result;
|
|
|
|
}
|
|
|
|
|
2017-09-22 01:14:57 +00:00
|
|
|
WorkingFile::WorkingFile(const std::string& filename,
|
|
|
|
const std::string& buffer_content)
|
2017-04-16 08:09:12 +00:00
|
|
|
: filename(filename), buffer_content(buffer_content) {
|
|
|
|
OnBufferContentUpdated();
|
2017-04-21 06:32:18 +00:00
|
|
|
|
|
|
|
// SetIndexContent gets called when the file is opened.
|
2017-03-26 21:40:34 +00:00
|
|
|
}
|
|
|
|
|
2017-04-16 08:09:12 +00:00
|
|
|
void WorkingFile::SetIndexContent(const std::string& index_content) {
|
2018-01-12 16:44:11 +00:00
|
|
|
index_lines = ToLines(index_content, false /*trim_whitespace*/);
|
2017-04-19 07:52:48 +00:00
|
|
|
|
2018-01-13 19:39:06 +00:00
|
|
|
index_to_buffer.clear();
|
|
|
|
buffer_to_index.clear();
|
2017-03-26 21:40:34 +00:00
|
|
|
}
|
|
|
|
|
2017-04-16 08:09:12 +00:00
|
|
|
void WorkingFile::OnBufferContentUpdated() {
|
2018-01-14 18:50:54 +00:00
|
|
|
buffer_lines = ToLines(buffer_content, false /*trim_whitespace*/);
|
2017-04-09 19:38:52 +00:00
|
|
|
|
2018-01-13 19:39:06 +00:00
|
|
|
index_to_buffer.clear();
|
|
|
|
buffer_to_index.clear();
|
2017-04-09 19:38:52 +00:00
|
|
|
}
|
|
|
|
|
2018-01-13 19:39:06 +00:00
|
|
|
// Variant of Paul Heckel's diff algorithm
|
|
|
|
void WorkingFile::ComputeLineMapping() {
|
|
|
|
std::unordered_map<uint64_t, int> hash_to_unique;
|
|
|
|
std::vector<uint64_t> index_hashes(index_lines.size()),
|
2018-01-14 18:50:54 +00:00
|
|
|
buffer_hashes(buffer_lines.size());
|
2018-01-13 19:39:06 +00:00
|
|
|
std::vector<int>& from_index = index_to_buffer;
|
|
|
|
std::vector<int>& from_buffer = buffer_to_index;
|
|
|
|
from_index.resize(index_lines.size());
|
2018-01-14 18:50:54 +00:00
|
|
|
from_buffer.resize(buffer_lines.size());
|
2018-01-13 19:39:06 +00:00
|
|
|
hash_to_unique.reserve(std::max(from_index.size(), from_buffer.size()));
|
2018-01-14 17:49:09 +00:00
|
|
|
|
|
|
|
// For index line i, set from_index[i] to -1 if line i is duplicated.
|
2018-01-13 19:39:06 +00:00
|
|
|
int i = 0;
|
|
|
|
for (auto& line : index_lines) {
|
|
|
|
std::string trimmed = Trim(line);
|
2018-01-14 21:18:12 +00:00
|
|
|
uint64_t h = HashUsr(trimmed);
|
2018-01-13 19:39:06 +00:00
|
|
|
auto it = hash_to_unique.find(h);
|
|
|
|
if (it == hash_to_unique.end()) {
|
|
|
|
hash_to_unique[h] = i;
|
|
|
|
from_index[i] = i;
|
|
|
|
} else {
|
|
|
|
if (it->second >= 0)
|
|
|
|
from_index[it->second] = -1;
|
|
|
|
from_index[i] = it->second = -1;
|
|
|
|
}
|
|
|
|
index_hashes[i++] = h;
|
|
|
|
}
|
|
|
|
|
2018-01-14 17:49:09 +00:00
|
|
|
// For buffer line i, set from_buffer[i] to -1 if line i is duplicated.
|
2018-01-13 19:39:06 +00:00
|
|
|
i = 0;
|
|
|
|
hash_to_unique.clear();
|
2018-01-14 18:50:54 +00:00
|
|
|
for (auto& line : buffer_lines) {
|
|
|
|
std::string trimmed = Trim(line);
|
2018-01-14 21:18:12 +00:00
|
|
|
uint64_t h = HashUsr(trimmed);
|
2018-01-13 19:39:06 +00:00
|
|
|
auto it = hash_to_unique.find(h);
|
|
|
|
if (it == hash_to_unique.end()) {
|
|
|
|
hash_to_unique[h] = i;
|
|
|
|
from_buffer[i] = i;
|
|
|
|
} else {
|
|
|
|
if (it->second >= 0)
|
|
|
|
from_buffer[it->second] = -1;
|
|
|
|
from_buffer[i] = it->second = -1;
|
|
|
|
}
|
|
|
|
buffer_hashes[i++] = h;
|
|
|
|
}
|
|
|
|
|
2018-01-14 18:50:54 +00:00
|
|
|
// If index line i is the same as buffer line j, and they are both unique,
|
|
|
|
// align them by pointing from_index[i] to j.
|
2018-01-13 19:39:06 +00:00
|
|
|
i = 0;
|
|
|
|
for (auto h : index_hashes) {
|
|
|
|
if (from_index[i] >= 0) {
|
|
|
|
auto it = hash_to_unique.find(h);
|
2018-01-14 09:33:12 +00:00
|
|
|
if (it != hash_to_unique.end() && it->second >= 0 &&
|
2018-01-14 18:50:54 +00:00
|
|
|
from_buffer[it->second] >= 0)
|
2018-01-13 19:39:06 +00:00
|
|
|
from_index[i] = it->second;
|
2018-01-14 18:50:54 +00:00
|
|
|
else
|
2018-01-13 19:39:06 +00:00
|
|
|
from_index[i] = -1;
|
|
|
|
}
|
|
|
|
i++;
|
|
|
|
}
|
|
|
|
|
2018-01-14 17:49:09 +00:00
|
|
|
// Starting at unique lines, extend upwards and downwards.
|
2018-01-13 19:39:06 +00:00
|
|
|
for (i = 0; i < (int)index_hashes.size() - 1; i++) {
|
|
|
|
int j = from_index[i];
|
|
|
|
if (0 <= j && j + 1 < buffer_hashes.size() &&
|
2018-01-14 09:49:41 +00:00
|
|
|
index_hashes[i + 1] == buffer_hashes[j + 1])
|
2018-01-13 19:39:06 +00:00
|
|
|
from_index[i + 1] = j + 1;
|
|
|
|
}
|
|
|
|
for (i = (int)index_hashes.size(); --i > 0; ) {
|
|
|
|
int j = from_index[i];
|
2018-01-14 09:49:41 +00:00
|
|
|
if (0 < j && index_hashes[i - 1] == buffer_hashes[j - 1])
|
2018-01-13 19:39:06 +00:00
|
|
|
from_index[i - 1] = j - 1;
|
|
|
|
}
|
2018-01-14 09:49:41 +00:00
|
|
|
|
|
|
|
std::fill(from_buffer.begin(), from_buffer.end(), -1);
|
|
|
|
for (i = 0; i < (int)index_hashes.size(); i++)
|
|
|
|
if (from_index[i] >= 0)
|
|
|
|
from_buffer[from_index[i]] = i;
|
2018-01-13 19:39:06 +00:00
|
|
|
}
|
|
|
|
|
2018-01-14 18:50:54 +00:00
|
|
|
optional<int> WorkingFile::GetBufferLineFromIndexLine(int line) {
|
2017-04-16 08:09:12 +00:00
|
|
|
// The implementation is simple but works pretty well for most cases. We
|
|
|
|
// lookup the line contents in the indexed file contents, and try to find the
|
|
|
|
// most similar line in the current buffer file.
|
|
|
|
//
|
|
|
|
// Previously, this was implemented by tracking edits and by running myers
|
|
|
|
// diff algorithm. They were complex implementations that did not work as
|
|
|
|
// well.
|
|
|
|
|
|
|
|
// Note: |index_line| and |buffer_line| are 1-based.
|
|
|
|
|
2017-04-18 23:49:55 +00:00
|
|
|
// TODO: reenable this assert once we are using the real indexed file.
|
2017-09-22 01:14:57 +00:00
|
|
|
// assert(index_line >= 1 && index_line <= index_lines.size());
|
2018-01-14 19:39:29 +00:00
|
|
|
if (line < 0 || line >= (int)index_lines.size()) {
|
2017-12-12 17:50:12 +00:00
|
|
|
loguru::Text stack = loguru::stacktrace();
|
2018-01-14 19:39:29 +00:00
|
|
|
LOG_S(WARNING) << "Bad index_line (got " << line << ", expected [0, "
|
|
|
|
<< index_lines.size() << ")) in " << filename
|
2017-12-12 17:50:12 +00:00
|
|
|
<< stack.c_str();
|
2017-05-07 05:34:43 +00:00
|
|
|
return nullopt;
|
|
|
|
}
|
2017-04-16 08:09:12 +00:00
|
|
|
|
2018-01-14 09:33:12 +00:00
|
|
|
if (index_to_buffer.empty())
|
|
|
|
ComputeLineMapping();
|
2018-01-14 18:50:54 +00:00
|
|
|
return FindMatchingLine(index_lines, index_to_buffer, line, buffer_lines);
|
2017-04-09 19:38:52 +00:00
|
|
|
}
|
|
|
|
|
2018-01-14 18:50:54 +00:00
|
|
|
optional<int> WorkingFile::GetIndexLineFromBufferLine(int line) {
|
2017-04-19 07:52:48 +00:00
|
|
|
// See GetBufferLineFromIndexLine for additional comments.
|
|
|
|
|
|
|
|
// Note: |index_line| and |buffer_line| are 1-based.
|
2018-01-14 19:39:29 +00:00
|
|
|
if (line < 0 || line >= (int)buffer_lines.size()) {
|
2017-12-12 17:50:12 +00:00
|
|
|
loguru::Text stack = loguru::stacktrace();
|
2018-01-14 18:50:54 +00:00
|
|
|
LOG_S(WARNING) << "Bad buffer_line (got " << line
|
|
|
|
<< ", expected [1, " << buffer_lines.size() << "]) in "
|
2017-12-12 17:50:12 +00:00
|
|
|
<< filename << stack.c_str();
|
2017-05-07 05:34:43 +00:00
|
|
|
return nullopt;
|
|
|
|
}
|
2017-04-19 07:52:48 +00:00
|
|
|
|
2018-01-14 09:33:12 +00:00
|
|
|
if (buffer_to_index.empty())
|
|
|
|
ComputeLineMapping();
|
2018-01-14 18:50:54 +00:00
|
|
|
return FindMatchingLine(buffer_lines, buffer_to_index, line, index_lines);
|
2017-05-21 04:30:59 +00:00
|
|
|
}
|
|
|
|
|
2017-09-22 01:14:57 +00:00
|
|
|
std::string WorkingFile::FindClosestCallNameInBuffer(
|
|
|
|
lsPosition position,
|
|
|
|
int* active_parameter,
|
|
|
|
lsPosition* completion_position) const {
|
2017-05-15 07:28:53 +00:00
|
|
|
*active_parameter = 0;
|
|
|
|
|
|
|
|
int offset = GetOffsetForPosition(position, buffer_content);
|
|
|
|
|
|
|
|
// If vscode auto-inserts closing ')' we will begin on ')' token in foo()
|
|
|
|
// which will make the below algorithm think it's a nested call.
|
|
|
|
if (offset > 0 && buffer_content[offset] == ')')
|
|
|
|
--offset;
|
|
|
|
|
|
|
|
// Scan back out of call context.
|
|
|
|
int balance = 0;
|
|
|
|
while (offset > 0) {
|
|
|
|
char c = buffer_content[offset];
|
2017-09-22 01:14:57 +00:00
|
|
|
if (c == ')')
|
|
|
|
++balance;
|
|
|
|
else if (c == '(')
|
|
|
|
--balance;
|
2017-05-15 07:28:53 +00:00
|
|
|
|
|
|
|
if (balance == 0 && c == ',')
|
|
|
|
*active_parameter += 1;
|
|
|
|
|
|
|
|
--offset;
|
|
|
|
|
|
|
|
if (balance == -1)
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
|
|
|
|
if (offset < 0)
|
|
|
|
return "";
|
|
|
|
|
|
|
|
// Scan back entire identifier.
|
|
|
|
int start_offset = offset;
|
|
|
|
while (offset > 0) {
|
|
|
|
char c = buffer_content[offset - 1];
|
|
|
|
if (isalnum(c) == false && c != '_')
|
|
|
|
break;
|
|
|
|
--offset;
|
|
|
|
}
|
|
|
|
|
|
|
|
if (completion_position)
|
|
|
|
*completion_position = GetPositionForOffset(buffer_content, offset);
|
|
|
|
|
|
|
|
return buffer_content.substr(offset, start_offset - offset + 1);
|
|
|
|
}
|
|
|
|
|
2017-09-22 01:14:57 +00:00
|
|
|
lsPosition WorkingFile::FindStableCompletionSource(
|
|
|
|
lsPosition position,
|
|
|
|
bool* is_global_completion,
|
|
|
|
std::string* existing_completion) const {
|
2017-05-26 07:10:55 +00:00
|
|
|
*is_global_completion = true;
|
|
|
|
|
2017-06-16 02:28:49 +00:00
|
|
|
int start_offset = GetOffsetForPosition(position, buffer_content);
|
|
|
|
int offset = start_offset;
|
2017-05-20 08:07:29 +00:00
|
|
|
|
|
|
|
while (offset > 0) {
|
|
|
|
char c = buffer_content[offset - 1];
|
2017-06-20 06:31:34 +00:00
|
|
|
if (!isalnum(c) && c != '_') {
|
2017-05-26 07:10:55 +00:00
|
|
|
// Global completion is everything except for dot (.), arrow (->), and
|
|
|
|
// double colon (::)
|
|
|
|
if (c == '.')
|
|
|
|
*is_global_completion = false;
|
|
|
|
if (offset > 2) {
|
|
|
|
char pc = buffer_content[offset - 2];
|
|
|
|
if (pc == ':' && c == ':')
|
|
|
|
*is_global_completion = false;
|
|
|
|
else if (pc == '-' && c == '>')
|
|
|
|
*is_global_completion = false;
|
|
|
|
}
|
|
|
|
|
2017-05-20 08:07:29 +00:00
|
|
|
break;
|
2017-05-26 07:10:55 +00:00
|
|
|
}
|
2017-05-20 08:07:29 +00:00
|
|
|
--offset;
|
|
|
|
}
|
|
|
|
|
2017-06-16 02:28:49 +00:00
|
|
|
*existing_completion = buffer_content.substr(offset, start_offset - offset);
|
2017-05-20 08:07:29 +00:00
|
|
|
return GetPositionForOffset(buffer_content, offset);
|
|
|
|
}
|
|
|
|
|
2017-03-26 21:40:34 +00:00
|
|
|
WorkingFile* WorkingFiles::GetFileByFilename(const std::string& filename) {
|
2017-05-10 04:52:15 +00:00
|
|
|
std::lock_guard<std::mutex> lock(files_mutex);
|
|
|
|
return GetFileByFilenameNoLock(filename);
|
|
|
|
}
|
|
|
|
|
2017-09-22 01:14:57 +00:00
|
|
|
WorkingFile* WorkingFiles::GetFileByFilenameNoLock(
|
|
|
|
const std::string& filename) {
|
2017-03-26 21:40:34 +00:00
|
|
|
for (auto& file : files) {
|
|
|
|
if (file->filename == filename)
|
|
|
|
return file.get();
|
|
|
|
}
|
|
|
|
return nullptr;
|
|
|
|
}
|
|
|
|
|
2017-06-14 06:29:41 +00:00
|
|
|
void WorkingFiles::DoAction(const std::function<void()>& action) {
|
|
|
|
std::lock_guard<std::mutex> lock(files_mutex);
|
|
|
|
action();
|
|
|
|
}
|
|
|
|
|
|
|
|
void WorkingFiles::DoActionOnFile(
|
|
|
|
const std::string& filename,
|
|
|
|
const std::function<void(WorkingFile* file)>& action) {
|
|
|
|
std::lock_guard<std::mutex> lock(files_mutex);
|
|
|
|
WorkingFile* file = GetFileByFilenameNoLock(filename);
|
|
|
|
action(file);
|
|
|
|
}
|
|
|
|
|
2017-12-06 04:39:44 +00:00
|
|
|
WorkingFile* WorkingFiles::OnOpen(const lsTextDocumentItem& open) {
|
2017-05-10 04:52:15 +00:00
|
|
|
std::lock_guard<std::mutex> lock(files_mutex);
|
|
|
|
|
2017-12-06 04:39:44 +00:00
|
|
|
std::string filename = open.uri.GetPath();
|
|
|
|
std::string content = open.text;
|
2017-03-26 21:40:34 +00:00
|
|
|
|
|
|
|
// The file may already be open.
|
2017-05-10 04:52:15 +00:00
|
|
|
if (WorkingFile* file = GetFileByFilenameNoLock(filename)) {
|
2017-12-06 04:39:44 +00:00
|
|
|
file->version = open.version;
|
2017-04-16 08:09:12 +00:00
|
|
|
file->buffer_content = content;
|
|
|
|
file->OnBufferContentUpdated();
|
2017-04-21 06:32:18 +00:00
|
|
|
return file;
|
2017-03-26 21:40:34 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
files.push_back(MakeUnique<WorkingFile>(filename, content));
|
2017-04-21 06:32:18 +00:00
|
|
|
return files[files.size() - 1].get();
|
2017-03-26 21:40:34 +00:00
|
|
|
}
|
|
|
|
|
2017-12-06 04:39:44 +00:00
|
|
|
void WorkingFiles::OnChange(const lsTextDocumentDidChangeParams& change) {
|
2017-05-10 04:52:15 +00:00
|
|
|
std::lock_guard<std::mutex> lock(files_mutex);
|
|
|
|
|
2017-03-26 21:40:34 +00:00
|
|
|
std::string filename = change.textDocument.uri.GetPath();
|
2017-05-10 04:52:15 +00:00
|
|
|
WorkingFile* file = GetFileByFilenameNoLock(filename);
|
2017-03-26 21:40:34 +00:00
|
|
|
if (!file) {
|
2017-12-02 01:04:39 +00:00
|
|
|
LOG_S(WARNING) << "Could not change " << filename
|
|
|
|
<< " because it was not open";
|
2017-03-26 21:40:34 +00:00
|
|
|
return;
|
|
|
|
}
|
|
|
|
|
2018-01-10 07:57:33 +00:00
|
|
|
// version: number | null
|
|
|
|
if (std::holds_alternative<int>(change.textDocument.version))
|
|
|
|
file->version = std::get<int>(change.textDocument.version);
|
2017-03-26 21:40:34 +00:00
|
|
|
|
2017-12-06 04:39:44 +00:00
|
|
|
for (const lsTextDocumentContentChangeEvent& diff : change.contentChanges) {
|
2017-11-20 18:57:01 +00:00
|
|
|
// Per the spec replace everything if the rangeLength and range are not set.
|
|
|
|
// See https://github.com/Microsoft/language-server-protocol/issues/9.
|
2017-12-25 08:58:26 +00:00
|
|
|
if (!diff.range) {
|
2017-04-16 08:09:12 +00:00
|
|
|
file->buffer_content = diff.text;
|
|
|
|
file->OnBufferContentUpdated();
|
2017-09-22 01:14:57 +00:00
|
|
|
} else {
|
2017-12-01 17:50:39 +00:00
|
|
|
int start_offset =
|
2017-12-25 08:58:26 +00:00
|
|
|
GetOffsetForPosition(diff.range->start, file->buffer_content);
|
2018-01-13 18:43:37 +00:00
|
|
|
// Ignore TextDocumentContentChangeEvent.rangeLength which causes trouble
|
|
|
|
// when UTF-16 surrogate pairs are used.
|
|
|
|
int end_offset = GetOffsetForPosition(diff.range->end, file->buffer_content);
|
2017-12-27 15:53:35 +00:00
|
|
|
file->buffer_content.replace(file->buffer_content.begin() + start_offset,
|
|
|
|
file->buffer_content.begin() + end_offset,
|
|
|
|
diff.text);
|
2017-04-16 08:09:12 +00:00
|
|
|
file->OnBufferContentUpdated();
|
2017-03-26 21:40:34 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2018-01-13 02:59:25 +00:00
|
|
|
void WorkingFiles::OnClose(const lsTextDocumentIdentifier& close) {
|
2017-05-10 04:52:15 +00:00
|
|
|
std::lock_guard<std::mutex> lock(files_mutex);
|
|
|
|
|
2017-12-06 04:39:44 +00:00
|
|
|
std::string filename = close.uri.GetPath();
|
2017-03-26 21:40:34 +00:00
|
|
|
|
|
|
|
for (int i = 0; i < files.size(); ++i) {
|
|
|
|
if (files[i]->filename == filename) {
|
|
|
|
files.erase(files.begin() + i);
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2017-12-02 01:04:39 +00:00
|
|
|
LOG_S(WARNING) << "Could not close " << filename
|
|
|
|
<< " because it was not open";
|
2017-03-26 21:40:34 +00:00
|
|
|
}
|
|
|
|
|
2018-01-12 17:37:33 +00:00
|
|
|
WorkingFiles::Snapshot WorkingFiles::AsSnapshot(
|
|
|
|
const std::vector<std::string>& filter_paths) {
|
2018-01-06 05:45:20 +00:00
|
|
|
std::lock_guard<std::mutex> lock(files_mutex);
|
|
|
|
|
2018-01-12 17:37:33 +00:00
|
|
|
Snapshot result;
|
2018-01-06 05:45:20 +00:00
|
|
|
result.files.reserve(files.size());
|
2018-01-12 17:37:33 +00:00
|
|
|
for (const auto& file : files) {
|
|
|
|
if (filter_paths.empty() || FindAnyPartial(file->filename, filter_paths))
|
|
|
|
result.files.push_back({file->filename, file->buffer_content});
|
|
|
|
}
|
2017-03-26 21:40:34 +00:00
|
|
|
return result;
|
2017-04-17 20:40:50 +00:00
|
|
|
}
|
2017-05-15 07:28:53 +00:00
|
|
|
|
2017-09-22 01:14:57 +00:00
|
|
|
lsPosition CharPos(const WorkingFile& file,
|
2017-11-19 22:11:54 +00:00
|
|
|
char character,
|
|
|
|
int character_offset = 0) {
|
2017-05-29 21:18:35 +00:00
|
|
|
return CharPos(file.buffer_content, character, character_offset);
|
2017-05-15 07:28:53 +00:00
|
|
|
}
|
|
|
|
|
2017-11-19 18:05:06 +00:00
|
|
|
TEST_SUITE("WorkingFile") {
|
|
|
|
TEST_CASE("simple call") {
|
|
|
|
WorkingFile f("foo.cc", "abcd(1, 2");
|
|
|
|
int active_param = 0;
|
|
|
|
REQUIRE(f.FindClosestCallNameInBuffer(CharPos(f, '('), &active_param) ==
|
|
|
|
"abcd");
|
|
|
|
REQUIRE(active_param == 0);
|
|
|
|
REQUIRE(f.FindClosestCallNameInBuffer(CharPos(f, '1'), &active_param) ==
|
|
|
|
"abcd");
|
|
|
|
REQUIRE(active_param == 0);
|
|
|
|
REQUIRE(f.FindClosestCallNameInBuffer(CharPos(f, ','), &active_param) ==
|
|
|
|
"abcd");
|
|
|
|
REQUIRE(active_param == 1);
|
|
|
|
REQUIRE(f.FindClosestCallNameInBuffer(CharPos(f, ' '), &active_param) ==
|
|
|
|
"abcd");
|
|
|
|
REQUIRE(active_param == 1);
|
|
|
|
REQUIRE(f.FindClosestCallNameInBuffer(CharPos(f, '2'), &active_param) ==
|
|
|
|
"abcd");
|
|
|
|
REQUIRE(active_param == 1);
|
|
|
|
}
|
2017-05-15 07:28:53 +00:00
|
|
|
|
2017-11-19 18:05:06 +00:00
|
|
|
TEST_CASE("nested call") {
|
|
|
|
WorkingFile f("foo.cc", "abcd(efg(), 2");
|
|
|
|
int active_param = 0;
|
|
|
|
REQUIRE(f.FindClosestCallNameInBuffer(CharPos(f, '('), &active_param) ==
|
|
|
|
"abcd");
|
|
|
|
REQUIRE(active_param == 0);
|
|
|
|
REQUIRE(f.FindClosestCallNameInBuffer(CharPos(f, 'e'), &active_param) ==
|
|
|
|
"abcd");
|
|
|
|
REQUIRE(active_param == 0);
|
|
|
|
REQUIRE(f.FindClosestCallNameInBuffer(CharPos(f, 'f'), &active_param) ==
|
|
|
|
"abcd");
|
|
|
|
REQUIRE(active_param == 0);
|
|
|
|
REQUIRE(f.FindClosestCallNameInBuffer(CharPos(f, 'g'), &active_param) ==
|
|
|
|
"abcd");
|
|
|
|
REQUIRE(active_param == 0);
|
|
|
|
REQUIRE(f.FindClosestCallNameInBuffer(CharPos(f, 'g', 1), &active_param) ==
|
|
|
|
"efg");
|
|
|
|
REQUIRE(active_param == 0);
|
|
|
|
REQUIRE(f.FindClosestCallNameInBuffer(CharPos(f, 'g', 2), &active_param) ==
|
|
|
|
"efg");
|
|
|
|
REQUIRE(active_param == 0);
|
|
|
|
REQUIRE(f.FindClosestCallNameInBuffer(CharPos(f, ','), &active_param) ==
|
|
|
|
"abcd");
|
|
|
|
REQUIRE(active_param == 1);
|
|
|
|
REQUIRE(f.FindClosestCallNameInBuffer(CharPos(f, ' '), &active_param) ==
|
|
|
|
"abcd");
|
|
|
|
REQUIRE(active_param == 1);
|
|
|
|
}
|
2017-05-15 07:28:53 +00:00
|
|
|
|
2017-11-19 18:05:06 +00:00
|
|
|
TEST_CASE("auto-insert )") {
|
|
|
|
WorkingFile f("foo.cc", "abc()");
|
|
|
|
int active_param = 0;
|
|
|
|
REQUIRE(f.FindClosestCallNameInBuffer(CharPos(f, ')'), &active_param) ==
|
|
|
|
"abc");
|
|
|
|
REQUIRE(active_param == 0);
|
|
|
|
}
|
2017-05-15 07:28:53 +00:00
|
|
|
|
2017-11-19 18:05:06 +00:00
|
|
|
TEST_CASE("existing completion") {
|
|
|
|
WorkingFile f("foo.cc", "zzz.asdf");
|
|
|
|
bool is_global_completion;
|
|
|
|
std::string existing_completion;
|
|
|
|
|
|
|
|
f.FindStableCompletionSource(CharPos(f, '.'), &is_global_completion,
|
2017-11-19 22:11:54 +00:00
|
|
|
&existing_completion);
|
2017-11-19 18:05:06 +00:00
|
|
|
REQUIRE(existing_completion == "zzz");
|
|
|
|
f.FindStableCompletionSource(CharPos(f, 'a', 1), &is_global_completion,
|
2017-11-19 22:11:54 +00:00
|
|
|
&existing_completion);
|
2017-11-19 18:05:06 +00:00
|
|
|
REQUIRE(existing_completion == "a");
|
|
|
|
f.FindStableCompletionSource(CharPos(f, 's', 1), &is_global_completion,
|
2017-11-19 22:11:54 +00:00
|
|
|
&existing_completion);
|
2017-11-19 18:05:06 +00:00
|
|
|
REQUIRE(existing_completion == "as");
|
|
|
|
f.FindStableCompletionSource(CharPos(f, 'd', 1), &is_global_completion,
|
2017-11-19 22:11:54 +00:00
|
|
|
&existing_completion);
|
2017-11-19 18:05:06 +00:00
|
|
|
REQUIRE(existing_completion == "asd");
|
|
|
|
f.FindStableCompletionSource(CharPos(f, 'f', 1), &is_global_completion,
|
2017-11-19 22:11:54 +00:00
|
|
|
&existing_completion);
|
2017-11-19 18:05:06 +00:00
|
|
|
REQUIRE(existing_completion == "asdf");
|
|
|
|
}
|
2017-06-16 02:28:49 +00:00
|
|
|
|
2017-11-19 18:05:06 +00:00
|
|
|
TEST_CASE("existing completion underscore") {
|
|
|
|
WorkingFile f("foo.cc", "ABC_DEF");
|
|
|
|
bool is_global_completion;
|
|
|
|
std::string existing_completion;
|
|
|
|
|
|
|
|
f.FindStableCompletionSource(CharPos(f, 'C'), &is_global_completion,
|
2017-11-19 22:11:54 +00:00
|
|
|
&existing_completion);
|
2017-11-19 18:05:06 +00:00
|
|
|
REQUIRE(existing_completion == "AB");
|
|
|
|
f.FindStableCompletionSource(CharPos(f, '_'), &is_global_completion,
|
2017-11-19 22:11:54 +00:00
|
|
|
&existing_completion);
|
2017-11-19 18:05:06 +00:00
|
|
|
REQUIRE(existing_completion == "ABC");
|
|
|
|
f.FindStableCompletionSource(CharPos(f, 'D'), &is_global_completion,
|
2017-11-19 22:11:54 +00:00
|
|
|
&existing_completion);
|
2017-11-19 18:05:06 +00:00
|
|
|
REQUIRE(existing_completion == "ABC_");
|
|
|
|
}
|
2017-06-20 06:31:34 +00:00
|
|
|
}
|