Zengtudor/ccls
1
0
Fork 0
mirror of https://github.com/MaskRay/ccls.git synced 2025-10-31 20:53:01 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Make lsTextDocumentContentChangeEvent::{range,rangeLength} optional. fix #185 (#189)

Browse Source 
Also make lsVersionedTextDocumentIdentifier::version optional per specification
This commit is contained in:
Fangrui Song 2017-12-25 00:58:26 -08:00 committed by GitHub
parent bfccac525c
commit 20c156f71d
3 changed files with 12 additions and 15 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/language_server_api.h
View File

@ -260,7 +260,7 @@ MAKE_REFLECT_STRUCT(lsTextDocumentIdentifier, uri);
struct lsVersionedTextDocumentIdentifier {
lsDocumentUri uri;
// The version number of this document.
int version = 0;
optional<int> version;
lsTextDocumentIdentifier AsTextDocumentIdentifier() const;
};
@ -990,9 +990,9 @@ MAKE_REFLECT_STRUCT(lsMarkedString, language, value);
struct lsTextDocumentContentChangeEvent {
// The range of the document that changed.
lsRange range;
optional<lsRange> range;
// The length of the range that got replaced.
int rangeLength = -1;
optional<int> rangeLength;
// The new text of the range/document.
std::string text;
};

19
src/working_files.cc
View File

@ -324,28 +324,25 @@ void WorkingFiles::OnChange(const lsTextDocumentDidChangeParams& change) {
return;
}
file->version = change.textDocument.version;
if (change.textDocument.version)
file->version = *change.textDocument.version;
for (const lsTextDocumentContentChangeEvent& diff : change.contentChanges) {
// Per the spec replace everything if the rangeLength and range are not set.
// See https://github.com/Microsoft/language-server-protocol/issues/9.
if (diff.rangeLength == -1 &&
diff.range.start == lsPosition::kZeroPosition &&
diff.range.end == lsPosition::kZeroPosition) {
if (!diff.range) {
file->buffer_content = diff.text;
file->OnBufferContentUpdated();
} else {
int start_offset =
GetOffsetForPosition(diff.range.start, file->buffer_content);
GetOffsetForPosition(diff.range->start, file->buffer_content);
int end_offset =
GetOffsetForPosition(diff.range.end, file->buffer_content);
int length = diff.rangeLength;
if (length == -1) {
length = end_offset - start_offset;
}
diff.rangeLength
? start_offset + *diff.rangeLength
: GetOffsetForPosition(diff.range->end, file->buffer_content);
file->buffer_content.replace(
file->buffer_content.begin() + start_offset,
file->buffer_content.begin() + start_offset + length, diff.text);
file->buffer_content.begin() + end_offset, diff.text);
file->OnBufferContentUpdated();
}
}