2024-08-06 01:11:09 +02:00
|
|
|
local utils = require('codemp.utils')
|
|
|
|
|
2024-08-24 01:57:42 +02:00
|
|
|
---@type table<integer, string>
|
2024-08-06 01:11:09 +02:00
|
|
|
local id_buffer_map = {}
|
2024-08-24 01:57:42 +02:00
|
|
|
---@type table<string, integer>
|
2024-08-06 01:11:09 +02:00
|
|
|
local buffer_id_map = {}
|
2024-08-24 01:57:42 +02:00
|
|
|
---@type table<string, string>
|
2024-08-17 03:28:08 +02:00
|
|
|
local user_buffer_name = {}
|
2024-08-06 01:11:09 +02:00
|
|
|
local ticks = {}
|
|
|
|
|
2024-09-27 20:52:56 +02:00
|
|
|
---@param name string
|
|
|
|
--TODO this should happen at the level above (Workspace) but accesses tables on this level, badly designed!
|
|
|
|
local function detach(name)
|
|
|
|
local buffer = buffer_id_map[name]
|
|
|
|
id_buffer_map[buffer] = nil
|
|
|
|
buffer_id_map[name] = nil
|
2024-10-03 00:13:10 +02:00
|
|
|
CODEMP.workspace:get_buffer(name):clear_callback()
|
2024-10-26 18:15:30 +02:00
|
|
|
if not CODEMP.workspace:detach_buffer(name) then
|
2024-09-27 20:52:56 +02:00
|
|
|
collectgarbage("collect") -- clear dangling references
|
|
|
|
end
|
|
|
|
|
|
|
|
print(" -- detached from buffer " .. name)
|
|
|
|
|
|
|
|
require('codemp.window').update()
|
|
|
|
end
|
|
|
|
|
2024-11-17 13:42:17 +01:00
|
|
|
local function process_change_wrap(controller)
|
|
|
|
return function (_, buf, tick, start_row, start_col, start_offset, old_end_row, old_end_col, old_end_byte_len, new_end_row, new_end_col, new_byte_len)
|
|
|
|
if tick == ticks[buf] then return end
|
|
|
|
if id_buffer_map[buf] == nil then return true end -- unregister callback handler
|
|
|
|
if CODEMP.config.debug then print(string.format(
|
|
|
|
"start(row:%s, col:%s) offset:%s end(row:%s, col:%s new(row:%s, col:%s)) len(old:%s, new:%s)",
|
|
|
|
start_row, start_col, start_offset, old_end_row, old_end_col, new_end_row, new_end_col, old_end_byte_len, new_byte_len
|
|
|
|
)) end
|
|
|
|
local end_offset = start_offset + old_end_byte_len
|
|
|
|
local change_content = ""
|
|
|
|
local len = utils.buffer.len(buf)
|
|
|
|
if start_offset + new_byte_len + 1 > len then
|
|
|
|
-- i dont know why but we may go out of bounds when doing 'dd' at the end of buffer??
|
|
|
|
local delta = (start_offset + new_byte_len + 1) - len
|
|
|
|
if CODEMP.config.debug then print("/!\\ bytes out of bounds by " .. delta .. ", adjusting") end
|
|
|
|
end_offset = end_offset - delta
|
|
|
|
start_offset = start_offset - delta
|
|
|
|
end
|
|
|
|
if new_byte_len > 0 then
|
|
|
|
local actual_end_col = new_end_col
|
|
|
|
if new_end_row == 0 then actual_end_col = new_end_col + start_col end
|
|
|
|
local actual_end_row = start_row + new_end_row
|
|
|
|
-- -- when bulk inserting at the end we go out of bounds, so we probably need to clamp?
|
|
|
|
-- -- issue: row=x+1 col=0 and row=x col=0 may be very far apart! we need to get last col of row x, ughh..
|
|
|
|
-- -- also, this doesn't work so it will stay commented out for a while longer
|
|
|
|
-- if new_end_row ~= old_end_row and new_end_col == 0 then
|
|
|
|
-- -- we may be dealing with the last line of the buffer, get_text could error because out-of-bounds
|
|
|
|
-- local row_count = vim.api.nvim_buf_line_count(buf)
|
|
|
|
-- if actual_end_row + 1 > row_count then
|
|
|
|
-- local delta = (actual_end_row + 1) - row_count
|
|
|
|
-- if CODEMP.config.debug then print("/!\\ row out of bounds by " .. delta .. ", adjusting") end
|
|
|
|
-- actual_end_row = actual_end_row - delta
|
|
|
|
-- actual_end_col = len - vim.api.nvim_buf_get_offset(buf, row_count)
|
|
|
|
-- end
|
|
|
|
-- end
|
|
|
|
local lines = vim.api.nvim_buf_get_text(buf, start_row, start_col, actual_end_row, actual_end_col, {})
|
|
|
|
change_content = table.concat(lines, '\n')
|
|
|
|
end
|
|
|
|
if CODEMP.config.debug then
|
|
|
|
print(string.format("sending: %s..%s '%s'", start_offset, start_offset + old_end_byte_len, change_content))
|
|
|
|
end
|
|
|
|
controller:send({
|
|
|
|
start_idx = start_offset, end_idx = end_offset, content = change_content
|
|
|
|
})
|
2024-10-27 19:52:08 +01:00
|
|
|
end
|
|
|
|
end
|
|
|
|
|
2024-09-26 03:29:13 +02:00
|
|
|
---@class AttachOptions
|
|
|
|
---@field content? string if provided, set this as content after attaching
|
|
|
|
---@field nowait? boolean skip waiting for initial content sync
|
|
|
|
---@field window? integer if given, open attached buffer in this window
|
|
|
|
---@field buffer? integer if given, use provided buffer instead of creating a new one
|
|
|
|
---@field skip_exists_check? boolean skip vim.fn.bufexists check, used for recursive call
|
|
|
|
---
|
2024-08-24 01:57:42 +02:00
|
|
|
---@param name string name of buffer to attach to
|
2024-09-26 03:29:13 +02:00
|
|
|
---@param opts AttachOptions options for attaching
|
|
|
|
local function attach(name, opts)
|
|
|
|
if not opts.skip_exists_check and vim.fn.bufexists(name) == 1 then
|
2024-09-26 03:42:29 +02:00
|
|
|
vim.ui.input(
|
|
|
|
{ prompt = "buffer exists, overwrite?" },
|
2024-09-26 03:29:13 +02:00
|
|
|
function (choice)
|
2024-09-26 03:42:29 +02:00
|
|
|
if not vim.startswith(string.lower(choice), "y") then return end
|
2024-09-26 03:29:13 +02:00
|
|
|
opts.buffer = vim.fn.bufnr(name)
|
|
|
|
opts.skip_exists_check = true
|
|
|
|
attach(name, opts)
|
|
|
|
end
|
|
|
|
)
|
|
|
|
return
|
2024-09-25 23:32:51 +02:00
|
|
|
end
|
|
|
|
|
2024-08-24 01:57:42 +02:00
|
|
|
if buffer_id_map[name] ~= nil then
|
2024-09-26 03:29:13 +02:00
|
|
|
return print(" !! already attached to buffer " .. name)
|
2024-08-24 01:57:42 +02:00
|
|
|
end
|
2024-09-15 12:39:50 +02:00
|
|
|
|
2024-09-26 03:29:13 +02:00
|
|
|
local buffer = opts.buffer
|
2024-09-15 12:39:50 +02:00
|
|
|
if buffer == nil then
|
|
|
|
buffer = vim.api.nvim_get_current_buf()
|
|
|
|
end
|
|
|
|
|
2024-09-06 19:40:52 +02:00
|
|
|
vim.api.nvim_buf_set_name(buffer, name)
|
2024-09-27 23:35:26 +02:00
|
|
|
|
2024-10-26 18:15:30 +02:00
|
|
|
CODEMP.workspace:attach_buffer(name):and_then(function (controller)
|
2024-09-27 23:35:26 +02:00
|
|
|
vim.schedule(function()
|
|
|
|
-- TODO disgusting! but poll blocks forever on empty buffers...
|
|
|
|
if not opts.nowait then
|
|
|
|
local promise = controller:poll()
|
|
|
|
for i=1, 20, 1 do
|
|
|
|
if promise.ready then break end
|
|
|
|
vim.uv.sleep(100)
|
2024-09-17 16:33:22 +02:00
|
|
|
end
|
2024-09-27 23:35:26 +02:00
|
|
|
end
|
|
|
|
|
|
|
|
if opts.window ~= nil then
|
|
|
|
vim.api.nvim_win_set_buf(opts.window, buffer)
|
|
|
|
vim.api.nvim_set_current_win(opts.window)
|
|
|
|
end
|
|
|
|
|
|
|
|
-- TODO map name to uuid
|
|
|
|
|
|
|
|
id_buffer_map[buffer] = name
|
|
|
|
buffer_id_map[name] = buffer
|
|
|
|
ticks[buffer] = 0
|
|
|
|
|
|
|
|
-- hook serverbound callbacks
|
|
|
|
-- TODO breaks when deleting whole lines at buffer end
|
2024-11-17 13:42:17 +01:00
|
|
|
vim.api.nvim_buf_attach(buffer, false, { on_bytes = process_change_wrap(controller) })
|
2024-09-27 23:35:26 +02:00
|
|
|
|
|
|
|
local lock = false
|
|
|
|
local async = vim.loop.new_async(vim.schedule_wrap(function ()
|
|
|
|
if lock then return end
|
|
|
|
lock = true
|
|
|
|
while true do
|
|
|
|
local event = controller:try_recv():await()
|
|
|
|
if event == nil then break end
|
2024-10-27 19:54:43 +01:00
|
|
|
|
|
|
|
-- error detection
|
2024-11-17 19:26:17 +01:00
|
|
|
-- TODO Option::None gets serialized as userdata : NULL, so nil check doesnt work...
|
|
|
|
-- next version field will be skipped if hash is None
|
|
|
|
--if event.hash ~= nil and CODEMP.native.hash(utils.buffer.get_content(buffer)) ~= event.hash then
|
|
|
|
if type(event.hash) ~= "userdata" and CODEMP.native.hash(utils.buffer.get_content(buffer)) ~= event.hash then
|
2024-10-27 19:54:43 +01:00
|
|
|
if CODEMP.config.auto_sync then
|
|
|
|
print(" /!\\ out of sync, resynching...")
|
2024-11-17 17:01:55 +01:00
|
|
|
ticks[buffer] = vim.api.nvim_buf_get_changedtick(buffer)
|
2024-10-27 19:54:43 +01:00
|
|
|
utils.buffer.set_content(buffer, controller:content():await())
|
|
|
|
else
|
|
|
|
vim.ui.select(
|
|
|
|
{ "sync", "detach" },
|
|
|
|
{ prompt = "out of sync! force resync or detach?" },
|
|
|
|
function (choice)
|
|
|
|
if choice == "sync" then
|
2024-11-17 17:01:55 +01:00
|
|
|
ticks[buffer] = vim.api.nvim_buf_get_changedtick(buffer)
|
2024-10-27 19:54:43 +01:00
|
|
|
utils.buffer.set_content(buffer, controller:content():await())
|
|
|
|
end
|
|
|
|
if choice == "detach" then
|
|
|
|
detach(name)
|
|
|
|
end
|
|
|
|
end
|
|
|
|
)
|
|
|
|
end
|
|
|
|
|
|
|
|
break
|
|
|
|
end
|
|
|
|
|
2024-09-27 23:35:26 +02:00
|
|
|
ticks[buffer] = vim.api.nvim_buf_get_changedtick(buffer)
|
|
|
|
CODEMP.ignore_following_action = true
|
|
|
|
if CODEMP.config.debug then
|
2024-10-26 18:15:30 +02:00
|
|
|
print(" ~~ applying change ~~ " .. event.change.start_idx .. ".." .. event.change.end_idx .. "::[" .. event.change.content .. "]")
|
2024-09-27 23:35:26 +02:00
|
|
|
end
|
2024-10-26 18:15:30 +02:00
|
|
|
utils.buffer.set_content(buffer, event.change.content, event.change.start_idx, event.change.end_idx)
|
2024-10-26 18:28:40 +02:00
|
|
|
controller:ack(event.version)
|
2024-08-16 03:49:24 +02:00
|
|
|
end
|
2024-09-27 23:35:26 +02:00
|
|
|
lock = false
|
|
|
|
end))
|
|
|
|
|
|
|
|
local remote_content = controller:content():await()
|
|
|
|
if opts.content ~= nil then
|
|
|
|
-- TODO this may happen too soon!!
|
2024-10-27 19:52:57 +01:00
|
|
|
controller:send({
|
2024-10-26 18:15:30 +02:00
|
|
|
start_idx = 0, end_idx = #remote_content, content = opts.content
|
2024-10-26 20:22:54 +02:00
|
|
|
})
|
2024-09-27 23:35:26 +02:00
|
|
|
else
|
|
|
|
local current_content = utils.buffer.get_content(buffer)
|
|
|
|
if current_content ~= remote_content then
|
|
|
|
ticks[buffer] = vim.api.nvim_buf_get_changedtick(buffer)
|
|
|
|
utils.buffer.set_content(buffer, remote_content)
|
|
|
|
end
|
2024-08-14 18:12:00 +02:00
|
|
|
end
|
2024-08-06 01:11:09 +02:00
|
|
|
|
2024-09-27 23:35:26 +02:00
|
|
|
controller:callback(function (_) async:send() end)
|
|
|
|
vim.defer_fn(function() async:send() end, 500) -- force a try_recv after 500ms
|
2024-09-05 04:37:48 +02:00
|
|
|
|
2024-09-27 23:35:26 +02:00
|
|
|
local filetype = vim.filetype.match({ buf = buffer })
|
|
|
|
vim.api.nvim_set_option_value("filetype", filetype, { buf = buffer })
|
2024-09-28 00:17:39 +02:00
|
|
|
vim.api.nvim_set_option_value('fileformat', 'unix', { buf = buffer })
|
2024-09-27 23:35:26 +02:00
|
|
|
print(" ++ attached to buffer " .. name)
|
|
|
|
require('codemp.window').update()
|
|
|
|
end)
|
2024-09-17 16:33:22 +02:00
|
|
|
end)
|
2024-08-06 01:11:09 +02:00
|
|
|
end
|
|
|
|
|
2024-08-24 01:57:42 +02:00
|
|
|
---@param buffer? integer if provided, sync given buffer id, otherwise sync current buf
|
|
|
|
local function sync(buffer)
|
|
|
|
if buffer == nil then
|
|
|
|
buffer = vim.api.nvim_get_current_buf()
|
|
|
|
end
|
2024-08-06 01:11:09 +02:00
|
|
|
local name = id_buffer_map[buffer]
|
|
|
|
if name ~= nil then
|
2024-09-17 17:26:23 +02:00
|
|
|
local controller = CODEMP.workspace:get_buffer(name)
|
2024-08-22 22:07:00 +02:00
|
|
|
if controller ~= nil then
|
2024-09-09 05:14:19 +02:00
|
|
|
local real_content = controller:content():await()
|
|
|
|
local my_content = utils.buffer.get_content(buffer)
|
|
|
|
if real_content ~= my_content then
|
|
|
|
ticks[buffer] = vim.api.nvim_buf_get_changedtick(buffer)
|
|
|
|
utils.buffer.set_content(buffer, real_content)
|
|
|
|
print(" !! re-synched buffer " .. name)
|
|
|
|
else
|
|
|
|
print(" :: buffer " .. name .. " is in sync")
|
|
|
|
end
|
2024-08-22 22:07:00 +02:00
|
|
|
return
|
|
|
|
end
|
2024-08-06 01:11:09 +02:00
|
|
|
end
|
2024-08-22 22:07:00 +02:00
|
|
|
|
|
|
|
print(" !! buffer not managed")
|
2024-08-06 01:11:09 +02:00
|
|
|
end
|
|
|
|
|
2024-09-06 15:13:36 +02:00
|
|
|
local function create(buffer)
|
|
|
|
if buffer == nil then
|
|
|
|
buffer = vim.fn.expand("%p")
|
|
|
|
end
|
2024-09-17 17:26:23 +02:00
|
|
|
if CODEMP.workspace == nil then
|
2024-09-06 15:13:36 +02:00
|
|
|
error("join a workspace first")
|
|
|
|
end
|
2024-10-26 18:15:30 +02:00
|
|
|
CODEMP.workspace:create_buffer(buffer):and_then(function ()
|
2024-09-17 16:33:22 +02:00
|
|
|
print(" ++ created buffer " .. buffer)
|
|
|
|
require('codemp.window').update()
|
|
|
|
end)
|
2024-09-06 15:13:36 +02:00
|
|
|
end
|
|
|
|
|
2024-08-06 01:11:09 +02:00
|
|
|
return {
|
|
|
|
sync = sync,
|
|
|
|
attach = attach,
|
|
|
|
detach = detach,
|
2024-09-06 15:13:36 +02:00
|
|
|
create = create,
|
2024-08-06 01:11:09 +02:00
|
|
|
map = id_buffer_map,
|
|
|
|
map_rev = buffer_id_map,
|
|
|
|
ticks = ticks,
|
2024-08-17 03:28:08 +02:00
|
|
|
users = user_buffer_name,
|
2024-08-06 01:11:09 +02:00
|
|
|
}
|