2022-05-18 05:18:17 +01:00
|
|
|
-- primitives for saving to file and loading from file
|
2022-08-23 23:04:30 +01:00
|
|
|
function file_exists(filename)
|
|
|
|
local infile = App.open_for_reading(filename)
|
|
|
|
if infile then
|
|
|
|
infile:close()
|
|
|
|
return true
|
|
|
|
else
|
|
|
|
return false
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
2022-07-26 03:56:39 +01:00
|
|
|
function load_from_disk(State)
|
|
|
|
local infile = App.open_for_reading(State.filename)
|
|
|
|
State.lines = load_from_file(infile)
|
2022-05-18 05:18:17 +01:00
|
|
|
if infile then infile:close() end
|
|
|
|
end
|
|
|
|
|
|
|
|
function load_from_file(infile)
|
|
|
|
local result = {}
|
|
|
|
if infile then
|
|
|
|
local infile_next_line = infile:lines() -- works with both Lua files and LÖVE Files (https://www.love2d.org/wiki/File)
|
|
|
|
while true do
|
|
|
|
local line = infile_next_line()
|
|
|
|
if line == nil then break end
|
2022-08-15 18:31:56 +01:00
|
|
|
table.insert(result, {data=line})
|
2022-05-18 05:18:17 +01:00
|
|
|
end
|
|
|
|
end
|
|
|
|
if #result == 0 then
|
2022-08-15 18:31:56 +01:00
|
|
|
table.insert(result, {data=''})
|
2022-05-18 05:18:17 +01:00
|
|
|
end
|
|
|
|
return result
|
|
|
|
end
|
|
|
|
|
2022-07-26 03:56:39 +01:00
|
|
|
function save_to_disk(State)
|
|
|
|
local outfile = App.open_for_writing(State.filename)
|
2022-07-05 22:02:52 +01:00
|
|
|
if outfile == nil then
|
2022-07-26 03:56:39 +01:00
|
|
|
error('failed to write to "'..State.filename..'"')
|
2022-07-05 22:02:52 +01:00
|
|
|
end
|
2022-07-26 03:56:39 +01:00
|
|
|
for _,line in ipairs(State.lines) do
|
2022-10-30 00:43:13 +01:00
|
|
|
outfile:write(line.data, '\n')
|
2022-05-18 05:18:17 +01:00
|
|
|
end
|
|
|
|
outfile:close()
|
|
|
|
end
|
|
|
|
|
2022-05-23 07:17:06 +01:00
|
|
|
-- for tests
|
|
|
|
function load_array(a)
|
|
|
|
local result = {}
|
|
|
|
local next_line = ipairs(a)
|
2022-05-23 16:13:58 +01:00
|
|
|
local i,line,drawing = 0, ''
|
2022-05-23 07:17:06 +01:00
|
|
|
while true do
|
|
|
|
i,line = next_line(a, i)
|
|
|
|
if i == nil then break end
|
2022-08-15 18:31:56 +01:00
|
|
|
table.insert(result, {data=line})
|
2022-05-23 07:17:06 +01:00
|
|
|
end
|
|
|
|
if #result == 0 then
|
2022-08-15 18:31:56 +01:00
|
|
|
table.insert(result, {data=''})
|
2022-05-23 07:17:06 +01:00
|
|
|
end
|
|
|
|
return result
|
|
|
|
end
|