lite-xl/data/core/doc/search.lua

103 lines
2.2 KiB
Lua
Raw Normal View History

2019-12-28 12:16:32 +01:00
local search = {}
local default_opt = {}
local function pattern_lower(str)
if str:sub(1, 1) == "%" then
return str
end
return str:lower()
end
local function init_args(doc, line, col, text, opt)
opt = opt or default_opt
line, col = doc:sanitize_position(line, col)
if opt.no_case and not opt.regex then
text = text:lower()
2019-12-28 12:16:32 +01:00
end
return doc, line, col, text, opt
end
2021-09-10 21:32:34 +02:00
local function rfind(text, pattern, index, plain)
local s, e = text:find(pattern, 1, plain)
2021-09-10 21:32:34 +02:00
local last_s, last_e
if index < 0 then index = #text - index + 1 end
while e and e <= index do
last_s, last_e = s, e
s, e = text:find(pattern, s + 1, plain)
2021-09-10 21:32:34 +02:00
end
return last_s, last_e
end
local function rcmatch(re, text, index)
local s, e = re:cmatch(text)
local last_s, last_e
if index < 0 then index = #text - index + 1 end
while e and e <= index + 1 do
last_s, last_e = s, e
s, e = re:cmatch(text, s + 1)
end
return last_s, last_e
end
2019-12-28 12:16:32 +01:00
function search.find(doc, line, col, text, opt)
doc, line, col, text, opt = init_args(doc, line, col, text, opt)
local re
if opt.regex then
re = regex.compile(text, opt.no_case and "i" or "")
end
2021-09-10 21:32:34 +02:00
local start, finish, step = line, #doc.lines, 1
if opt.reverse then
start, finish, step = line, 1, -1
end
for line = start, finish, step do
2019-12-28 12:16:32 +01:00
local line_text = doc.lines[line]
if opt.regex then
2021-09-10 21:32:34 +02:00
local s, e
if opt.reverse then
s, e = rcmatch(re, line_text, col - 1)
else
s, e = re:cmatch(line_text, col)
end
if s then
return line, s, line, e
end
2021-09-10 21:32:34 +02:00
col = opt.reverse and -1 or 1
else
if opt.no_case then
line_text = line_text:lower()
end
2021-09-10 21:32:34 +02:00
local s, e
if opt.reverse then
s, e = rfind(line_text, text, col - 1, true)
else
s, e = line_text:find(text, col, true)
end
if s then
return line, s, line, e + 1
end
2021-09-10 21:32:34 +02:00
col = opt.reverse and -1 or 1
2019-12-28 12:16:32 +01:00
end
end
if opt.wrap then
2021-09-10 21:32:34 +02:00
opt = { no_case = opt.no_case, regex = opt.regex, reverse = opt.reverse }
if opt.reverse then
return search.find(doc, #doc.lines, #doc.lines[#doc.lines], text, opt)
else
return search.find(doc, 1, 1, text, opt)
end
2019-12-28 12:16:32 +01:00
end
end
return search