zauguin/mathml
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Improve pdfmml.lua interface

Browse Source
This commit is contained in:
Marcel Fabian Krüger 2021-06-02 21:14:10 +02:00
parent 9d76be873e
commit 29bda8e8c2
1 changed files with 31 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

36
pdfmml.lua
View File

@ -3,6 +3,7 @@ require'pdfmml-emulate-node'
local convert = require'luamml-convert' local convert = require'luamml-convert'
local mappings = require'luamml-legacy-mappings' local mappings = require'luamml-legacy-mappings'
local to_xml = require'luamml-xmlwriter' local to_xml = require'luamml-xmlwriter'
convert.register_family(1, mappings.oml) convert.register_family(1, mappings.oml)
convert.register_family(2, mappings.oms) convert.register_family(2, mappings.oms)
convert.register_family(3, mappings.omx) convert.register_family(3, mappings.omx)
@ -10,19 +11,44 @@ convert.register_family(3, mappings.omx)
local parse_showlists = require'pdfmml-showlists' local parse_showlists = require'pdfmml-showlists'
local parse_log = require'pdfmml-logreader' local parse_log = require'pdfmml-logreader'
local attributes = lfs.attributes
local function try_extensions_(base, extension, ...)
if extension == nil then return end
local fullname = base .. extension
if attributes(fullname, 'mode') == 'file' then
return fullname
end
return try_extensions_(base, ...)
end
local function try_extensions(base, ...)
if attributes(base, 'mode') == 'file' then return base end
return try_extensions_(base, ...)
end
if #arg < 1 then if #arg < 1 then
io.stderr:write(string.format('Usage: %0 {logname} \n', arg[0])) io.stderr:write(string.format('Usage: %s {logname} [{outname}]\n\z
If {outname} includes {}, then a separate file is written for every formula with {} replaced by the formula id.\n', arg[0]))
os.exit(1) os.exit(1)
end end
local math_lists = assert(parse_log(arg[1])) local math_lists = assert(parse_log(assert(try_extensions(arg[1], '.tml', '.log'),
"Couldn't find input file.")))
local out_stream = arg[2] and arg[2] ~= '-' and assert(io.open(arg[2], 'w')) or io.stdout local out_prefix, out_suffix, out_stream
if not arg[2] or arg[2] == '-' then
out_stream = io.stdout
else
local _ _, _, out_prefix, out_suffix = arg[2]:find'^(.*){}(.*)$'
if not out_prefix then
out_stream = assert(io.open(arg[2], 'w'))
end
end
for i, block in ipairs(math_lists.groups) do for i, block in ipairs(math_lists.groups) do
local stream = out_stream or assert(io.open(out_prefix .. tostring(i) .. out_suffix, 'w'))
block = block[1] block = block[1]
local parsed = parse_showlists(block, nil, nil, math_lists.marks) local parsed = parse_showlists(block, nil, nil, math_lists.marks)
local style = block.display and 0 or 2 local style = block.display and 0 or 2
out_stream:write( stream:write(
to_xml(convert.make_root(convert.process(parsed, style), style)), '\n' to_xml(convert.make_root(convert.process(parsed, style), style)), '\n'
) )
if not out_stream then stream:close() end
end end
-- if ... then out_stream:close() end -- Don't bother since we terminate anyway