summaryrefslogtreecommitdiff
path: root/server/src/method
diff options
context:
space:
mode:
Diffstat (limited to 'server/src/method')
-rw-r--r--server/src/method/exit.lua3
-rw-r--r--server/src/method/init.lua17
-rw-r--r--server/src/method/initialize.lua18
-rw-r--r--server/src/method/initialized.lua3
-rw-r--r--server/src/method/shutdown.lua3
-rw-r--r--server/src/method/textDocument/definition.lua46
-rw-r--r--server/src/method/textDocument/didChange.lua7
-rw-r--r--server/src/method/textDocument/didClose.lua5
-rw-r--r--server/src/method/textDocument/didOpen.lua5
-rw-r--r--server/src/method/textDocument/implementation.lua51
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