navigator.lua/lua/navigator/lspwrapper.lua

475 lines
13 KiB
Lua
Raw Normal View History

2021-04-19 02:56:32 +00:00
local M = {}
2021-08-29 07:35:46 +00:00
local util = require('navigator.util')
local gutil = require('guihua.util')
local lsp = require('vim.lsp')
local api = vim.api
local log = require('navigator.util').log
local lerr = require('navigator.util').error
local trace = require('navigator.util').trace
local symbol_kind = require('navigator.lspclient.lspkind').symbol_kind
local cwd = vim.loop.cwd()
2021-06-25 00:33:04 +00:00
local is_win = vim.loop.os_uname().sysname:find('Windows')
2021-06-30 21:50:20 +00:00
local path_sep = require('navigator.util').path_sep()
local path_cur = require('navigator.util').path_cur()
2021-04-26 01:30:53 +00:00
cwd = gutil.add_pec(cwd)
2021-08-29 07:35:46 +00:00
local ts_nodes = require('navigator.lru').new(1000, 1024 * 1024)
local ts_nodes_time = require('navigator.lru').new(1000)
local TS_analysis_enabled = require('navigator').config_values().treesitter_analysis
-- extract symbol from range
function M.get_symbol(text, range)
if range == nil then
return ''
end
return string.sub(text, range.start.character + 1, range['end'].character)
end
local function check_lhs(text, symbol)
local find = require('guihua.util').word_find
local s = find(text, symbol)
local eq = string.find(text, '=') or 0
2021-05-26 22:36:10 +00:00
local eq2 = string.find(text, '==') or 0
2021-06-10 10:08:52 +00:00
local eq3 = string.find(text, '!=') or 0
local eq4 = string.find(text, '~=') or 0
if not s or not eq then
return false
end
2021-05-26 22:36:10 +00:00
if s < eq and eq ~= eq2 then
trace(symbol, 'modified')
end
2021-06-10 10:08:52 +00:00
if eq == eq3 + 1 then
return false
end
if eq == eq4 + 1 then
return false
end
2021-05-26 22:36:10 +00:00
return s < eq and eq ~= eq2
end
2021-04-19 02:56:32 +00:00
function M.lines_from_locations(locations, include_filename)
local fnamemodify = function(filename)
2021-04-19 02:56:32 +00:00
if include_filename then
return vim.fn.fnamemodify(filename, ':~:.') .. ':'
2021-04-19 02:56:32 +00:00
else
return ''
2021-04-19 02:56:32 +00:00
end
end
2021-04-19 02:56:32 +00:00
local lines = {}
for _, loc in ipairs(locations) do
table.insert(
lines,
(fnamemodify(loc['filename']) .. loc['lnum'] .. ':' .. loc['col'] .. ': ' .. vim.trim(loc['text']))
)
2021-04-19 02:56:32 +00:00
end
return lines
end
2021-04-22 23:39:24 +00:00
function M.symbols_to_items(result)
local locations = {}
result = result or {}
log(#result)
2021-04-22 23:39:24 +00:00
for i = 1, #result do
local item = result[i].location
if item ~= nil and item.range ~= nil then
item.kind = result[i].kind
local kind = symbol_kind(item.kind)
item.name = result[i].name -- symbol name
2021-04-22 23:39:24 +00:00
item.text = result[i].name
if kind ~= nil then
item.text = kind .. ': ' .. item.text
end
if not item.filename then
item.filename = vim.uri_to_fname(item.uri)
end
2021-06-25 00:33:04 +00:00
item.display_filename = item.filename:gsub(cwd .. path_sep, path_cur, 1)
2021-04-22 23:39:24 +00:00
if item.range == nil or item.range.start == nil then
log('range not set', result[i], item)
2021-04-22 23:39:24 +00:00
end
2021-04-23 04:21:22 +00:00
item.lnum = item.range.start.line + 1
2021-04-22 23:39:24 +00:00
if item.containerName ~= nil then
item.text = '' .. item.containerName .. item.text
end
2021-04-22 23:39:24 +00:00
table.insert(locations, item)
end
end
2021-04-23 04:21:22 +00:00
-- log(locations[1])
2021-04-22 23:39:24 +00:00
return locations
end
2021-04-19 02:56:32 +00:00
local function extract_result(results_lsp)
if results_lsp then
local results = {}
for _, server_results in pairs(results_lsp) do
if server_results.result then
vim.list_extend(results, server_results.result)
end
2021-04-19 02:56:32 +00:00
end
return results
end
end
function M.check_capabilities(feature, client_id)
local clients = lsp.buf_get_clients(client_id or 0)
local supported_client = false
for _, client in pairs(clients) do
-- supported_client = client.resolved_capabilities[feature]
supported_client = client.server_capabilities[feature]
if supported_client then
break
end
2021-04-19 02:56:32 +00:00
end
if supported_client then
return true
else
if #clients == 0 then
log('LSP: no client attached')
2021-04-19 02:56:32 +00:00
else
trace('LSP: server does not support ' .. feature)
2021-04-19 02:56:32 +00:00
end
return false
end
end
function M.call_sync(method, params, opts, handler)
params = params or {}
opts = opts or {}
log(method, params)
local results_lsp, err = lsp.buf_request_sync(opts.bufnr or 0, method, params, opts.timeout or 1000)
2021-04-19 02:56:32 +00:00
return handler(err, extract_result(results_lsp), { method = method, no_show = opts.no_show }, nil)
2021-04-19 02:56:32 +00:00
end
function M.call_async(method, params, handler, bufnr)
2021-04-19 02:56:32 +00:00
params = params or {}
local callback = function(...)
util.show(...)
handler(...)
end
bufnr = bufnr or 0
return lsp.buf_request(bufnr, method, params, callback)
2021-04-26 11:45:45 +00:00
-- results_lsp, canceller
2021-04-19 02:56:32 +00:00
end
local function ts_functions(uri)
local unload_bufnr
local ts_enabled, _ = pcall(require, 'nvim-treesitter.locals')
if not ts_enabled or not TS_analysis_enabled then
lerr('ts not enabled')
return nil
end
local ts_func = require('navigator.treesitter').buf_func
local bufnr = vim.uri_to_bufnr(uri)
local x = os.clock()
trace(ts_nodes)
2021-08-29 07:35:46 +00:00
local tsnodes = ts_nodes:get(uri)
if tsnodes ~= nil then
trace('get data from cache')
2021-08-29 07:35:46 +00:00
local t = ts_nodes_time:get(uri) or 0
local fname = vim.uri_to_fname(uri)
local modified = vim.fn.getftime(fname)
if modified <= t then
trace(t, modified)
2021-08-29 07:35:46 +00:00
return tsnodes
else
ts_nodes:delete(uri)
ts_nodes_time:delete(uri)
end
end
local unload = false
if not api.nvim_buf_is_loaded(bufnr) then
trace('! load buf !', uri, bufnr)
vim.fn.bufload(bufnr)
-- vim.api.nvim_buf_detach(bufnr) -- if user opens the buffer later, it prevents user attach event
unload = true
end
local funcs = ts_func(bufnr)
if unload then
unload_bufnr = bufnr
end
2021-08-29 07:35:46 +00:00
ts_nodes:set(uri, funcs)
ts_nodes_time:set(uri, os.time())
trace(funcs, ts_nodes:get(uri))
trace(string.format('elapsed time: %.4f\n', os.clock() - x)) -- how long it tooks
return funcs, unload_bufnr
end
local function ts_definition(uri, range)
local unload_bufnr
local ts_enabled, _ = pcall(require, 'nvim-treesitter.locals')
if not ts_enabled or not TS_analysis_enabled then
lerr('ts not enabled')
return nil
end
local key = string.format('%s_%d_%d_%d', uri, range.start.line, range.start.character, range['end'].line)
local tsnodes = ts_nodes:get(key)
local ftime = ts_nodes_time:get(key)
local fname = vim.uri_to_fname(uri)
local modified = vim.fn.getftime(fname)
if tsnodes and modified <= ftime then
log('ts def from cache')
return tsnodes
end
local ts_def = require('navigator.treesitter').find_definition
local bufnr = vim.uri_to_bufnr(uri)
local x = os.clock()
trace(ts_nodes)
local unload = false
if not api.nvim_buf_is_loaded(bufnr) then
log('! load buf !', uri, bufnr)
vim.fn.bufload(bufnr)
unload = true
end
local def_range = ts_def(range, bufnr) or {}
if unload then
unload_bufnr = bufnr
end
trace(string.format(' ts def elapsed time: %.4f\n', os.clock() - x), def_range) -- how long it takes
ts_nodes:set(key, def_range)
ts_nodes_time:set(key, x)
return def_range, unload_bufnr
end
local function find_ts_func_by_range(funcs, range)
if funcs == nil or range == nil then
return nil
end
local result = {}
trace(funcs, range)
for _, value in pairs(funcs) do
local func_range = value.node_scope
-- note treesitter is C style
if func_range and func_range.start.line <= range.start.line and func_range['end'].line >= range['end'].line then
table.insert(result, value)
end
end
return result
end
local function order_locations(locations)
table.sort(locations, function(i, j)
2022-02-17 11:21:34 +00:00
if i == nil or j == nil or i.uri == nil or j.uri == nil then
-- log(i, j)
return false
end
if i.uri == j.uri then
if i.range and i.range.start then
return i.range.start.line < j.range.start.line
end
return false
else
return i.uri < j.uri
2021-04-19 02:56:32 +00:00
end
end)
return locations
end
local function slice_locations(locations, max_items)
local cut = -1
if #locations > max_items then
local uri = locations[max_items]
for i = max_items + 1, #locations do
if uri ~= locations[i] then
cut = i
break
end
end
end
local first_part, second_part = locations, {}
if cut > 1 and cut < #locations then
first_part = vim.list_slice(locations, 1, cut)
second_part = vim.list_slice(locations, cut + 1, #locations)
end
return first_part, second_part
end
2022-06-01 15:41:26 +00:00
-- local function test_locations()
-- local locations = {
-- { uri = '1', range = { start = { line = 1 } } },
-- { uri = '2', range = { start = { line = 2 } } },
-- { uri = '2', range = { start = { line = 3 } } },
-- { uri = '1', range = { start = { line = 3 } } },
-- { uri = '1', range = { start = { line = 4 } } },
-- { uri = '3', range = { start = { line = 4 } } },
-- { uri = '3', range = { start = { line = 4 } } },
-- }
-- local second_part
-- order_locations(locations)
-- local locations, second_part = slice_locations(locations, 3)
-- log(locations, second_part)
-- end
2022-01-18 05:25:48 +00:00
function M.locations_to_items(locations, ctx)
ctx = ctx or {}
local max_items = ctx.max_items or 100000 --
local client_id = ctx.client_id or 1
local enc = util.encoding(client_id)
if not locations or vim.tbl_isempty(locations) then
vim.notify('list not avalible', vim.lsp.log_levels.WARN)
return
end
local width = 4
2022-01-18 05:25:48 +00:00
local items = {}
-- items and locations may not matching
local uri_def = {}
2021-06-30 21:50:20 +00:00
order_locations(locations)
local second_part
locations, second_part = slice_locations(locations, max_items)
2021-08-29 07:35:46 +00:00
trace(locations)
vim.cmd([[set eventignore+=FileType]])
local unload_bufnrs = {}
2021-04-19 02:56:32 +00:00
for i, loc in ipairs(locations) do
2021-06-30 03:53:36 +00:00
local funcs = nil
2022-01-18 05:25:48 +00:00
local item = lsp.util.locations_to_items({ loc }, enc)[1]
item.range = locations[i].range or locations[i].targetRange
item.uri = locations[i].uri or locations[i].targetUri
2022-02-17 11:21:34 +00:00
item.definition = locations[i].definition
2021-06-30 21:50:20 +00:00
if is_win then
2021-07-05 00:13:57 +00:00
log(item.uri) -- file:///C:/path/to/file
2021-06-30 21:50:20 +00:00
log(cwd)
end
-- only load top 30 file.
local proj_file = item.uri:find(cwd) or is_win or i < 30
local unload, def
2021-06-30 03:53:36 +00:00
if TS_analysis_enabled and proj_file then
funcs, unload = ts_functions(item.uri)
if unload then
table.insert(unload_bufnrs, unload)
end
if not uri_def[item.uri] then
-- find def in file
def, unload = ts_definition(item.uri, item.range)
if def and def.start then
uri_def[item.uri] = def
if def.start then -- find for the 1st time
for j = 1, #items do
2021-12-23 08:17:48 +00:00
if items[j].definition ~= nil then
if items[j].uri == item.uri and items[j].range.start.line == def.start.line then
items[j].definition = true
end
end
end
end
else
if uri_def[item.uri] == false then
uri_def[item.uri] = {} -- no def in file, TODO: it is tricky the definition is in another file and it is the
-- only occurrence
else
uri_def[item.uri] = false -- no def in file
end
end
if unload then
table.insert(unload_bufnrs, unload)
end
end
2021-06-11 11:33:22 +00:00
trace(uri_def[item.uri], item.range) -- set to log if need to get all in rnge
2021-12-23 08:17:48 +00:00
local def1 = uri_def[item.uri]
if def1 and def1.start and item.range then
if def1.start.line == item.range.start.line then
log('ts def in current line')
item.definition = true
end
end
end
2021-04-19 02:56:32 +00:00
item.filename = assert(vim.uri_to_fname(item.uri))
2021-06-25 00:33:04 +00:00
local filename = item.filename:gsub(cwd .. path_sep, path_cur, 1)
2021-04-19 02:56:32 +00:00
item.display_filename = filename or item.filename
item.call_by = find_ts_func_by_range(funcs, item.range)
2021-04-19 02:56:32 +00:00
item.rpath = util.get_relative_path(cwd, item.filename)
width = math.max(width, #item.text)
item.symbol_name = M.get_symbol(item.text, item.range)
item.lhs = check_lhs(item.text, item.symbol_name)
table.insert(items, item)
2021-04-19 02:56:32 +00:00
end
trace(uri_def)
-- defer release new open buffer
if #unload_bufnrs > 10 then -- load too many?
vim.defer_fn(function()
for i, bufnr_unload in ipairs(unload_bufnrs) do
if api.nvim_buf_is_loaded(bufnr_unload) and i > 10 then
api.nvim_buf_delete(bufnr_unload, { unload = true })
end
end
end, 100)
end
vim.cmd([[set eventignore-=FileType]])
trace(items)
return items, width + 24, second_part -- TODO handle long line?
2021-04-19 02:56:32 +00:00
end
2021-04-20 22:07:13 +00:00
function M.symbol_to_items(locations)
if not locations or vim.tbl_isempty(locations) then
vim.notify('list not avalible', vim.lsp.log_levels.WARN)
2021-04-20 22:07:13 +00:00
return
end
2022-01-18 05:25:48 +00:00
local items = {}
2021-04-20 22:07:13 +00:00
-- items and locations may not matching
table.sort(locations, function(i, j)
2021-12-23 08:17:48 +00:00
if i.definition then
return true
end
2022-02-17 11:21:34 +00:00
if j.definition then
return false
end
if i.uri == j.uri then
if i.range and i.range.start then
return i.range.start.line < j.range.start.line
end
return false
else
return i.uri < j.uri
2021-04-20 22:07:13 +00:00
end
end)
for i, _ in ipairs(locations) do
2022-01-18 05:25:48 +00:00
local item = {}
2021-04-20 22:07:13 +00:00
item.uri = locations[i].uri
item.range = locations[i].range
item.filename = assert(vim.uri_to_fname(item.uri))
2021-06-25 00:33:04 +00:00
local filename = item.filename:gsub(cwd .. path_sep, path_cur, 1)
2021-04-20 22:07:13 +00:00
item.display_filename = filename or item.filename
2021-04-26 01:30:53 +00:00
2021-04-20 22:07:13 +00:00
item.rpath = util.get_relative_path(cwd, item.filename)
table.insert(items, item)
end
return items
end
function M.request(method, hdlr) -- e.g textDocument/reference
local bufnr = vim.api.nvim_get_current_buf()
local ref_params = vim.lsp.util.make_position_params()
2022-06-01 15:41:26 +00:00
vim.lsp.for_each_buffer_client(bufnr, function(client, _, _)
client.request(method, ref_params, hdlr, bufnr)
end)
end
2021-04-19 02:56:32 +00:00
return M