2024-08-06 01:11:09 +02:00
|
|
|
local utils = require('codemp.utils')
|
2024-08-24 01:56:27 +02:00
|
|
|
local session = require('codemp.session')
|
2024-08-06 01:11:09 +02:00
|
|
|
|
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-08-24 01:57:42 +02:00
|
|
|
---@param name string name of buffer to attach to
|
|
|
|
---@param buffer? integer if provided, use given buffer (will clear content)
|
|
|
|
---@param content? string if provided, set this content after attaching
|
|
|
|
---@return BufferController
|
|
|
|
local function attach(name, buffer, content)
|
|
|
|
if buffer_id_map[name] ~= nil then
|
|
|
|
error("already attached to buffer " .. name)
|
|
|
|
end
|
|
|
|
if buffer == nil then
|
2024-08-06 01:11:09 +02:00
|
|
|
buffer = vim.api.nvim_create_buf(true, true)
|
2024-08-06 23:03:57 +02:00
|
|
|
vim.api.nvim_set_option_value('fileformat', 'unix', { buf = buffer })
|
2024-08-06 01:11:09 +02:00
|
|
|
-- vim.api.nvim_buf_set_option(buffer, 'filetype', 'codemp') -- TODO get from codemp?
|
|
|
|
vim.api.nvim_buf_set_name(buffer, "codemp::" .. name)
|
|
|
|
vim.api.nvim_set_current_buf(buffer)
|
|
|
|
end
|
2024-08-24 01:56:27 +02:00
|
|
|
local controller = session.workspace:attach_buffer(name):await()
|
2024-08-06 01:11:09 +02:00
|
|
|
|
|
|
|
-- TODO map name to uuid
|
|
|
|
|
|
|
|
id_buffer_map[buffer] = name
|
|
|
|
buffer_id_map[name] = buffer
|
|
|
|
ticks[buffer] = 0
|
|
|
|
|
2024-08-15 01:22:48 +02:00
|
|
|
if content ~= nil then
|
2024-08-22 22:07:00 +02:00
|
|
|
local _ = controller:send(0, 0, content) -- no need to await
|
2024-08-15 01:22:48 +02:00
|
|
|
end
|
|
|
|
|
2024-08-06 01:11:09 +02:00
|
|
|
-- hook serverbound callbacks
|
|
|
|
-- TODO breaks when deleting whole lines at buffer end
|
|
|
|
vim.api.nvim_buf_attach(buffer, false, {
|
|
|
|
on_bytes = 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
|
2024-08-14 23:48:55 +02:00
|
|
|
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
|
|
|
|
))
|
2024-08-22 22:07:00 +02:00
|
|
|
local change_content
|
2024-08-14 23:48:55 +02:00
|
|
|
if new_byte_len == 0 then
|
2024-08-22 22:07:00 +02:00
|
|
|
change_content = ""
|
2024-08-14 23:48:55 +02:00
|
|
|
else
|
2024-08-22 22:07:00 +02:00
|
|
|
change_content = table.concat(
|
2024-08-14 23:48:55 +02:00
|
|
|
vim.api.nvim_buf_get_text(buf, start_row, start_col, start_row + new_end_row, start_col + new_end_col, {}),
|
|
|
|
'\n'
|
|
|
|
)
|
|
|
|
end
|
2024-08-22 22:07:00 +02:00
|
|
|
print(string.format("sending: %s %s %s %s -- '%s'", start_row, start_col, start_row + new_end_row, start_col + new_end_col, change_content))
|
|
|
|
controller:send(start_offset, start_offset + old_end_byte_len, change_content):await()
|
2024-08-06 01:11:09 +02:00
|
|
|
end,
|
|
|
|
})
|
|
|
|
|
2024-08-16 03:49:24 +02:00
|
|
|
local async = vim.loop.new_async(vim.schedule_wrap(function ()
|
|
|
|
while true do
|
2024-08-17 01:56:09 +02:00
|
|
|
local event = controller:try_recv():await()
|
2024-08-16 03:49:24 +02:00
|
|
|
if event == nil then break end
|
|
|
|
ticks[buffer] = vim.api.nvim_buf_get_changedtick(buffer)
|
2024-08-17 01:56:09 +02:00
|
|
|
print(" ~~ applying change ~~ " .. event.first .. ".." .. event.last .. "::[" .. event.content .. "]")
|
2024-08-16 03:49:24 +02:00
|
|
|
utils.buffer.set_content(buffer, event.content, event.first, event.last)
|
|
|
|
if event.hash ~= nil then
|
|
|
|
if utils.hash(utils.buffer.get_content(buffer)) ~= event.hash then
|
|
|
|
-- OUT OF SYNC!
|
|
|
|
-- TODO this may be destructive! we should probably prompt the user before doing this
|
|
|
|
print(" /!\\ out of sync, resynching...")
|
2024-08-17 01:56:09 +02:00
|
|
|
utils.buffer.set_content(buffer, controller:content():await())
|
2024-08-16 03:49:24 +02:00
|
|
|
return
|
|
|
|
end
|
2024-08-14 18:12:00 +02:00
|
|
|
end
|
|
|
|
end
|
2024-08-16 03:49:24 +02:00
|
|
|
end))
|
2024-08-17 01:56:09 +02:00
|
|
|
|
|
|
|
local remote_content = controller:content():await()
|
|
|
|
ticks[buffer] = vim.api.nvim_buf_get_changedtick(buffer)
|
|
|
|
utils.buffer.set_content(buffer, remote_content)
|
2024-08-06 01:11:09 +02:00
|
|
|
|
2024-09-05 04:37:48 +02:00
|
|
|
controller:callback(function (_controller) async:send() end)
|
|
|
|
vim.defer_fn(function() async:send() end, 500) -- force a try_recv after 500ms
|
|
|
|
|
2024-08-06 01:11:09 +02:00
|
|
|
print(" ++ attached to buffer " .. name)
|
2024-08-15 01:22:48 +02:00
|
|
|
return controller
|
2024-08-06 01:11:09 +02:00
|
|
|
end
|
|
|
|
|
2024-08-23 00:59:13 +02:00
|
|
|
---@param name string
|
2024-08-24 01:57:42 +02:00
|
|
|
--TODO this should happen at the level above (Workspace) but accesses tables on this level, badly designed!
|
2024-08-08 04:34:23 +02:00
|
|
|
local function detach(name)
|
2024-08-06 01:11:09 +02:00
|
|
|
local buffer = buffer_id_map[name]
|
|
|
|
id_buffer_map[buffer] = nil
|
|
|
|
buffer_id_map[name] = nil
|
2024-08-24 01:56:27 +02:00
|
|
|
session.workspace:detach_buffer(name)
|
2024-08-06 01:11:09 +02:00
|
|
|
vim.api.nvim_buf_delete(buffer, {})
|
|
|
|
|
|
|
|
print(" -- detached from buffer " .. name)
|
|
|
|
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-08-24 01:56:27 +02:00
|
|
|
local controller = session.workspace:get_buffer(name)
|
2024-08-22 22:07:00 +02:00
|
|
|
if controller ~= nil then
|
|
|
|
ticks[buffer] = vim.api.nvim_buf_get_changedtick(buffer)
|
|
|
|
utils.buffer.set_content(buffer, controller:content():await())
|
|
|
|
print(" :: synched buffer " .. name)
|
|
|
|
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
|
|
|
|
|
|
|
|
|
|
|
|
return {
|
|
|
|
sync = sync,
|
|
|
|
attach = attach,
|
|
|
|
detach = detach,
|
|
|
|
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
|
|
|
}
|