diff options
Diffstat (limited to 'server/src/method')
-rw-r--r-- | server/src/method/exit.lua | 3 | ||||
-rw-r--r-- | server/src/method/init.lua | 17 | ||||
-rw-r--r-- | server/src/method/initialize.lua | 18 | ||||
-rw-r--r-- | server/src/method/initialized.lua | 3 | ||||
-rw-r--r-- | server/src/method/shutdown.lua | 3 | ||||
-rw-r--r-- | server/src/method/textDocument/definition.lua | 46 | ||||
-rw-r--r-- | server/src/method/textDocument/didChange.lua | 7 | ||||
-rw-r--r-- | server/src/method/textDocument/didClose.lua | 5 | ||||
-rw-r--r-- | server/src/method/textDocument/didOpen.lua | 5 | ||||
-rw-r--r-- | server/src/method/textDocument/implementation.lua | 51 |
10 files changed, 158 insertions, 0 deletions
diff --git a/server/src/method/exit.lua b/server/src/method/exit.lua new file mode 100644 index 00000000..716a86e7 --- /dev/null +++ b/server/src/method/exit.lua @@ -0,0 +1,3 @@ +return function () + return true +end diff --git a/server/src/method/init.lua b/server/src/method/init.lua new file mode 100644 index 00000000..a99c3ed5 --- /dev/null +++ b/server/src/method/init.lua @@ -0,0 +1,17 @@ +local method = {} + +local function init(name) + method[name] = require('method.' .. name:gsub('/', '.')) +end + +init 'exit' +init 'initialize' +init 'initialized' +init 'shutdown' +init 'textDocument/implementation' +init 'textDocument/definition' +init 'textDocument/didOpen' +init 'textDocument/didChange' +init 'textDocument/didClose' + +return method diff --git a/server/src/method/initialize.lua b/server/src/method/initialize.lua new file mode 100644 index 00000000..866ded66 --- /dev/null +++ b/server/src/method/initialize.lua @@ -0,0 +1,18 @@ +return function (lsp, data) + lsp._inited = true + return { + capabilities = { + -- 支持“转到定义” + definitionProvider = true, + -- 支持“转到实现” + implementationProvider = true, + -- 文本同步方式 + textDocumentSync = { + -- 打开关闭文本时通知 + openClose = true, + -- 文本改变时完全通知 TODO 支持差量更新(2) + change = 1, + } + } + } +end diff --git a/server/src/method/initialized.lua b/server/src/method/initialized.lua new file mode 100644 index 00000000..0451dc50 --- /dev/null +++ b/server/src/method/initialized.lua @@ -0,0 +1,3 @@ +return function (lsp) + return true +end diff --git a/server/src/method/shutdown.lua b/server/src/method/shutdown.lua new file mode 100644 index 00000000..0451dc50 --- /dev/null +++ b/server/src/method/shutdown.lua @@ -0,0 +1,3 @@ +return function (lsp) + return true +end diff --git a/server/src/method/textDocument/definition.lua b/server/src/method/textDocument/definition.lua new file mode 100644 index 00000000..3a17b463 --- /dev/null +++ b/server/src/method/textDocument/definition.lua @@ -0,0 +1,46 @@ +local parser = require 'parser' +local matcher = require 'matcher' + +return function (lsp, params) + local uri = params.textDocument.uri + local text = lsp:loadText(uri) + if not text then + return nil, '找不到文件:' .. uri + end + local start_clock = os.clock() + -- lua是从1开始的,因此都要+1 + local pos = parser.calcline.position_utf8(text, params.position.line + 1, params.position.character + 1) + local suc, start, finish = matcher.definition(text, pos) + if not suc then + if finish then + log.debug(start, uri) + finish.lua = nil + log.debug(table.dump(finish)) + end + return {} + end + + local start_row, start_col = parser.calcline.rowcol_utf8(text, start) + local finish_row, finish_col = parser.calcline.rowcol_utf8(text, finish) + + local response = { + uri = uri, + range = { + start = { + line = start_row - 1, + character = start_col - 1, + }, + ['end'] = { + line = finish_row - 1, + -- 这里不用-1,因为前端期待的是匹配完成后的位置 + character = finish_col, + }, + }, + } + local passed_clock = os.clock() - start_clock + if passed_clock >= 0.01 then + log.warn(('[转到定义]耗时[%.3f]秒,文件大小[%s]字节'):format(passed_clock, #text)) + end + + return response +end diff --git a/server/src/method/textDocument/didChange.lua b/server/src/method/textDocument/didChange.lua new file mode 100644 index 00000000..6856b729 --- /dev/null +++ b/server/src/method/textDocument/didChange.lua @@ -0,0 +1,7 @@ +return function (lsp, params) + local doc = params.textDocument + local change = params.contentChanges + -- TODO 支持差量更新 + lsp:saveText(doc.uri, doc.version, change[1].text) + return true +end diff --git a/server/src/method/textDocument/didClose.lua b/server/src/method/textDocument/didClose.lua new file mode 100644 index 00000000..d4edb624 --- /dev/null +++ b/server/src/method/textDocument/didClose.lua @@ -0,0 +1,5 @@ +return function (lsp, params) + local doc = params.textDocument + lsp:removeText(doc.uri, doc.version) + return true +end diff --git a/server/src/method/textDocument/didOpen.lua b/server/src/method/textDocument/didOpen.lua new file mode 100644 index 00000000..27fdda71 --- /dev/null +++ b/server/src/method/textDocument/didOpen.lua @@ -0,0 +1,5 @@ +return function (lsp, params) + local doc = params.textDocument + lsp:saveText(doc.uri, doc.version, doc.text) + return true +end diff --git a/server/src/method/textDocument/implementation.lua b/server/src/method/textDocument/implementation.lua new file mode 100644 index 00000000..6d3cd0ac --- /dev/null +++ b/server/src/method/textDocument/implementation.lua @@ -0,0 +1,51 @@ +local parser = require 'parser' +local matcher = require 'matcher' + +return function (lsp, params) + local uri = params.textDocument.uri + local text = lsp:loadText(uri) + if not text then + return nil, '找不到文件:' .. uri + end + local start_clock = os.clock() + -- lua是从1开始的,因此都要+1 + local pos = parser.calcline.position_utf8(text, params.position.line + 1, params.position.character + 1) + local suc, results, info = matcher.implementation(text, pos) + if not suc then + if info then + log.debug(results, uri) + info.lua = nil + log.debug(table.dump(info)) + end + return {} + end + + local locations = {} + for i, result in ipairs(results) do + local start, finish = result[1], result[2] + local start_row, start_col = parser.calcline.rowcol_utf8(text, start) + local finish_row, finish_col = parser.calcline.rowcol_utf8(text, finish) + locations[i] = { + uri = uri, + range = { + start = { + line = start_row - 1, + character = start_col - 1, + }, + ['end'] = { + line = finish_row - 1, + -- 这里不用-1,因为前端期待的是匹配完成后的位置 + character = finish_col, + }, + } + } + end + + local response = locations + local passed_clock = os.clock() - start_clock + if passed_clock >= 0.01 then + log.warn(('[转到实现]耗时[%.3f]秒,文件大小[%s]字节'):format(passed_clock, #text)) + end + + return response +end |