Untitled

9551

Apr 11th, 2022

Never

Add comment

Not a member of Pastebin yet? Sign Up, it unlocks many cool features!

Lua 2.70 KB | None | 0 0

raw download clone embed print report

local GuiH = require("GuiH")
local gui = GuiH.create_gui(term.current())
local box = gui.create.inputbox({
x=2,y=2,width=20,
name="test",
background_color=colors.gray,
text_color=colors.white
})
local function fuzzy_match(str, pattern)
local part = 100/math.max(#str,#pattern)
local str_len = string.len(str)
local pattern_len = string.len(pattern)
local dp = {}
for i = 0, str_len do
dp[i] = {}
dp[i][0] = i
end
for j = 0, pattern_len do
dp[0][j] = j
end
for i = 1, str_len do
for j = 1, pattern_len do
local cost = 0
if string.sub(str, i, i) ~= string.sub(pattern, j, j) then
cost = 1
end
dp[i][j] = math.min(dp[i - 1][j] + 1, dp[i][j - 1] + 1, dp[i - 1][j - 1] + cost)
end
end
return 100-dp[str_len][pattern_len]*part
end
local function sort_strings(str_array, pattern)
local result,out = {},{}
for k, str in pairs(str_array) do
table.insert(result,{fuzzy_match(k, pattern),k,str})
end
table.sort(result, function(a, b) return a[1] > b[1] end)
for k,v in ipairs(result) do
out[k] = {match=v[1],str=v[2],data=v[3]}
end
return out
end
local words = {}
local display = {"","","","",""}
for str in io.lines("words") do
words[str] = 0
end
local results = {}
for i=1,5 do
results[i] = gui.create.button({
x=2,y=3+i,width=21,height=1,
name=tostring(i),
on_click=function(object)
box.input = object.text.text or ""
box.cursor_pos=#box.input
box.selected = true
end,
text=gui.text{
text="no result",
blit={
"000000000",
"888888888"
},
centered=false
},
background_color=colors.gray,
logic_order=2
})
end
error(gui.execute(function()
while true do
local out = sort_strings(words,box.input)
local cnt = 0
local increm = 0
while cnt < 6 do
increm = increm + 1
local string = out[increm] or {str=""}
if #string.str > #box.input then
cnt = cnt + 1
display[cnt] = string
end
if increm > #out then break end
end
sleep()
end
end,function(term)
for i=1,5 do
results[i].text = gui.text{
text=display[i].str or "",
blit={
("0"):rep(#display[i].str or ""),
("8"):rep(#display[i].str or "")
},
centered=false
}
end
end))

Add Comment

Please, Sign In to add comment