1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
|
local fs = require 'bee.filesystem'
local async = require 'async'
local function uriDecode(uri)
if uri:sub(1, 8) ~= 'file:///' then
log.error('uri decode failed: ', uri)
return nil
end
local names = {}
for name in uri:sub(9):gmatch '[^%/]+' do
names[#names+1] = name:gsub('%%([0-9a-fA-F][0-9a-fA-F])', function (hex)
return string.char(tonumber(hex, 16))
end)
end
if #names == 0 then
log.error('uri decode failed: ', uri)
return nil
end
-- 盘符后面加个斜杠
local path = fs.path(names[1] .. '\\')
for i = 2, #names do
path = path / names[i]
end
return fs.absolute(path)
end
local function uriEncode(path)
local names = {}
local cur = fs.absolute(path)
while true do
local name = cur:filename():string():gsub([=[[^%w%-%_%.%~]]=], function (char)
return '%' .. string.byte(char)
end)
table.insert(names, 1, name)
if cur == cur:parent_path() then
break
end
cur = cur:parent_path()
end
return 'file:///' .. table.concat(names, '/')
end
local mt = {}
mt.__index = mt
function mt:init(rootUri)
self.root = uriDecode(rootUri)
if not self.root then
return
end
log.info('Workspace inited, root: ', self.root)
async.call([[
require 'utility'
local fs = require 'bee.filesystem'
local list = {}
for path in io.scan(fs.path(ROOT)) do
if path:extension():string() == '.lua' then
list[#list+1] = path:string()
end
end
return list
]], {
ROOT = self.root:string()
}, function (list)
log.info(('Found [%d] files'):format(#list))
for _, filename in ipairs(list) do
local uri = uriEncode(fs.path(filename))
self.files[uri] = true
end
end)
end
function mt:addFile(uri)
if uri:sub(-4) == '.lua' then
self.files[uri] = true
end
end
function mt:removeFile(uri)
self.files[uri] = nil
end
return function (name, uri)
local workspace = setmetatable({
name = name,
files = {},
}, mt)
workspace:init(uri)
return workspace
end
|
