lua-users home
lua-l archive

Re: "our format"

[Date Prev][Date Next][Thread Prev][Thread Next] [Date Index] [Thread Index] 

Here is 2html, the Lua program we use to convert .of to .html.

#!/usr/bin/env lua5.2
-- special marks:
-- 1円 - paragraph (empty line)
-- 4円 - remove spaces around it
-- 3円 - ref (followed by label|)
---------------------------------------------------------------
header = [[
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 3.2 Final//EN">
<html>
<head>
<title>Lua 5.3 Reference Manual</title>
<meta http-equiv="Content-Type" content="text/html;charset=utf-8">
<link rel="stylesheet" href="lua.css">
<link rel="stylesheet" href="manual.css">
</head>
<body bgcolor="#FFFFFF">
<hr>
<h1>
<a href="http://www.lua.org/home.html";><img src="logo.gif" alt="[Lua logo]" border="0"></a>
Lua 5.3 Reference Manual
</h1>
by Roberto Ierusalimschy, Luiz Henrique de Figueiredo, Waldemar Celes
<p>
<small>
<a href="http://www.lua.org/copyright.html";>Copyright</a>
&copy; 2015 Lua.org, PUC-Rio. All rights reserved.
</small>
<hr>
<!-- ====================================================================== -->
<p>
]]
footer = "\n\n</body></html>\n\n"
local seefmt = '(see %s)'
if arg[1] == 'port' then
 seefmt = '(ver %s)'
 header = string.gsub(header, "by (.-)\n",
 "%1\n<p>Tradu&ccedil;&atilde;o: S&eacute;rgio Queiroz de Medeiros", 1)
 header = string.gsub(header, "Lua (%d+.%d+) Reference Manual",
 "Manual de Refer&ecirc;ncia de Lua %1")
 header = string.gsub(header, "All rights reserved",
 "Todos os direitos reservados")
end
---------------------------------------------------------------
local function compose (f,g)
 assert(f and g)
 return function (s) return g(f(s)) end
end
local function concat (f, g)
 assert(f and g)
 return function (s) return f(s) .. g(s) end
end
local Tag = {}
setmetatable(Tag, {
 __index = function (t, tag)
 local v = function (n, att)
 local e = ""
 if type(att) == "table" then
 for k,v in pairs(att) do e = string.format('%s %s="%s"', e, k, v) end
 end
 if n then
 return string.format("<%s%s>%s</%s>", tag, e, n, tag)
 else
 return string.format("<%s%s>", tag, e)
 end
 end
 t[tag] = v
 return v
 end
})
---------------------------------------------------------------
local labels = {}
local function anchor (text, label, link, textlink)
 if labels[label] then
 error("label " .. label .. " already defined")
 end
 labels[label] = {text = textlink, link = link}
 return Tag.a(text, {name=link})
end
local function makeref (label)
 assert(not string.find(label, "|"))
 return string.format("3円%s3円", label)
end
local function ref (label)
 local l = labels[label]
 if not l then
 io.stderr:write("label ", label, " undefined\n")
 return "@@@@@@@"
 else
 return Tag.a(l.text, {href="#"..l.link})
 end
end
---------------------------------------------------------------
local function nopara (t)
 t = string.gsub(t, "1円", "\n\n")
 t = string.gsub(t, "<p>%s*</p>", "")
 return t
end
local function fixpara (t)
 t = string.gsub(t, "1円", "\n</p>\n\n<p>\n")
 t = string.gsub(t, "<p>%s*</p>", "")
 return t
end
local function antipara (t)
 return "</p>\n" .. t .. "<p>"
end
Tag.pre = compose(Tag.pre, antipara)
Tag.ul = compose(Tag.ul, antipara)
---------------------------------------------------------------
local Gfoots = 0
local footnotes = {}
local line = Tag.hr(nil)
local function dischargefoots ()
 if #footnotes == 0 then return "" end
 local fn = table.concat(footnotes)
 footnotes = {}
 return line .. Tag.h3"footnotes:" .. fn .. line
end
local Glists = 0
local listings = {}
local function dischargelist ()
 if #listings == 0 then return "" end
 local l = listings
 listings = {}
 return line .. table.concat(l, line..line) .. line
end
---------------------------------------------------------------
local counters = {
h1 = {val = 1},
h2 = {father = "h1", val = 1},
h3 = {father = "h2", val = 1},
listing = {father = "h1", val = 1},
}
local function inccounter (count)
 counters[count].val = counters[count].val + 1
 for c, v in pairs(counters) do
 if v.father == count then v.val = 1 end
 end
end
local function getcounter (count)
 local c = counters[count]
 if c.father then
 return getcounter(c.father) .. "." .. c.val
 else
 return c.val .. ""
 end
end
---------------------------------------------------------------
local function fixed (x)
 return function () return x end
end
local function id (x) return x end
local function prepos (x, y)
 assert(x and y)
 return function (s) return string.format("%s%s%s", x, s, y) end
end
local rw = Tag.b
local function LuaName (name)
 return Tag.code(name)
end
local function getparam (s)
 local i, e = string.find(s, "^[^%s@|]+|")
 if not i then return nil, s
 else return string.sub(s, i, e - 1), string.sub(s, e + 1)
 end
end
local function gettitle (h)
 local title, p = assert(string.match(h, "<title>(.-)</title>()"))
 return title, string.sub(h, p)
end
local function getparamtitle (what, h, nonum)
 local label, title, c, count
 label, h = getparam(h)
 title, h = gettitle(h)
 if not nonum then
 count = getcounter(what)
 inccounter(what)
 c = string.format("%s &ndash; ", count)
 else
 c = ""
 end
 label = label or count
 if label then
 title = anchor(title, label, count, "&sect;"..count)
 end
 title = string.format("%s%s", c, title)
 return title, h
end
local function section (what, nonum)
 return function (h)
 local title
 title, h = getparamtitle(what, h, nonum)
 local fn = what == "h1" and dischargefoots() or ""
 h = fixpara(Tag.p(h))
 return "</p>\n" .. Tag[what](title) .. h .. fn ..
 dischargelist() .. "<p>"
 end
end
local function verbatim (s)
 s = nopara(s)
 s = string.gsub(s, "\n", "\n ")
 s = string.gsub(s, "\n%s*$", "\n")
 return Tag.pre(s)
end
local function verb (s)
 return Tag.code(s)
end
local function lua2link (e)
 return string.find(e, "luaL?_") and e or "pdf-"..e
end
local verbfixed = verb
local Tex = {
ANSI = function (func)
 return "ISO&nbsp;C function " .. Tag.code(func)
 end,
At = fixed"@",
B = Tag.b,
bigskip = fixed"",
bignum = id,
C = fixed"",
Ci = prepos("<!-- ", " -->"),
CId = function (func)
 return "C&nbsp;function " .. Tag.code(func)
 end,
chapter = section"h1",
Char = compose(verbfixed, prepos("'", "'")),
Cdots = fixed"&middot;&middot;&middot;",
Close = fixed"}",
col = Tag.td,
defid = function (name)
 local l = lua2link(name)
 local c = Tag.code(name)
 return anchor(c, l, l, c)
 end,
def = Tag.em,
description = compose(nopara, Tag.ul),
Em = fixed("4円" .. "&mdash;" .. "4円"),
emph = Tag.em,
emphx = Tag.em, -- emphasis plus index (if there was an index)
En = fixed("&ndash;"),
format = fixed"",
["false"] = fixed(Tag.b"false"),
id = Tag.code,
idx = Tag.code,
index = fixed"",
Lidx = fixed"", -- Tag.code,
ldots = fixed"...",
x = id,
itemize = compose(nopara, Tag.ul),
leq = fixed"&le;",
Lid = function (s)
 return makeref(lua2link(s))
 end,
M = Tag.em,
N = function (s) return (string.gsub(s, " ", "&nbsp;")) end,
NE = id, -- tag"foreignphrase",
num = id,
["nil"] = fixed(Tag.b"nil"),
Open = fixed"{",
part = section("h1", true),
Pat = compose(verbfixed, prepos("'", "'")),
preface = section("h1", true),
psect = section("h2", true),
Q = prepos('"', '"'),
refchp = makeref,
refcode = makeref,
refsec = makeref,
pi = fixed"&pi;",
rep = Tag.em, -- compose(prepos("&lt;", "&gt;"), Tag.em),
Rw = rw,
rw = rw,
sb = Tag.sub,
sp = Tag.sup,
St = compose(verbfixed, prepos('"', '"')),
sect1 = section"h1",
sect2 = section"h2",
sect3 = section"h3",
sect4 = section("h4", true),
simplesect = id,
Tab2 = function (s) return Tag.table(s, {border=1}) end,
row = Tag.tr,
title = Tag.title,
todo = Tag.todo,
["true"] = fixed(Tag.b"true"),
T = verb,
item = function (s)
 local t, p = string.match(s, "^([^\n|]+)|()")
 if t then
 s = string.sub(s, p)
 s = Tag.b(t..": ") .. s
 end
 return Tag.li(fixpara(s))
 end,
verbatim = verbatim,
manual = id,
-- for the manual
link =function (s)
 local l, t = getparam(s)
 assert(l)
 return string.format("%s (%s)", t, makeref(l))
end,
see = function (s) return string.format(seefmt, makeref(s)) end,
See = makeref,
seeC = function (s)
 return string.format(seefmt, makeref(s))
 end,
seeF = function (s)
 return string.format(seefmt, makeref(lua2link(s)))
 end,
APIEntry = function (e)
 local h, name
 h, e = string.match(e, "^%s*(.-)%s*|(.*)$")
 name = string.match(h, "(luaL?_[%w_]+)%)? +%(") or
 string.match(h, "luaL?_[%w_]+")
 local a = anchor(Tag.code(name), name, name, Tag.code(name))
 local apiicmd, ne = string.match(e, "^(.-</span>)(.*)")
--io.stderr:write(e)
 if not apiicmd then
 return antipara(Tag.hr() .. Tag.h3(a)) .. Tag.pre(h) .. e
 else
 return antipara(Tag.hr() .. Tag.h3(a)) .. apiicmd .. Tag.pre(h) .. ne
 end
end,
LibEntry = function (e)
 local h, name
 h, e = string.match(e, "^(.-)|(.*)$")
 name = string.gsub(h, " (.+", "")
 local l = lua2link(name)
 local a = anchor(Tag.code(h), l, l, Tag.code(name))
 return Tag.hr() .. Tag.h3(a) .. e
end,
Produc = compose(nopara, Tag.pre),
producname = prepos("\t", " ::= "),
Or = fixed" | ",
VerBar = fixed"&#124;", -- vertical bar
OrNL = fixed" | 4円",
bnfNter = prepos("", ""),
bnfopt = prepos("[", "]"),
bnfrep = prepos("{", "}"),
bnfter = compose(Tag.b, prepos("&lsquo;", "&rsquo;")),
producbody = function (s)
 s = string.gsub(s, "%s+", " ")
 s = string.gsub(s, "4円", "\n\t\t")
 return s
 end,
apii = function (s)
 local pop,push,err = string.match(s, "^(.-),(.-),(.*)$")
 if pop ~= "?" and string.find(pop, "%W") then
 pop = "(" .. pop .. ")"
 end
 if push ~= "?" and string.find(push, "%W") then
 push = "(" .. push .. ")"
 end
 err = (err == "-") and "&ndash;" or Tag.em(err)
 return Tag.span(
 string.format("[-%s, +%s, %s]", pop, push, err),
 {class="apii"}
 )
 end,
}
local others = prepos("?? "," ??")
local function trata (t)
 t = string.gsub(t, "@(%w+)(%b{})", function (w, f)
 f = trata(string.sub(f, 2, -2))
 if type(Tex[w]) ~= "function" then
 io.stderr:write(w .. "\n")
 return others(f)
 else
 return Tex[w](f, w)
 end
 end)
 return t
end
---------------------------------------------------------------------
---------------------------------------------------------------------
-- read whole book
t = io.read"*a"
t = string.gsub(t, "[<>&128円-255円]",
 {["<"] = "&lt;",
 [">"] = "&gt;",
 ["&"] = "&amp;",
 ["170円"] = "&ordf;",
 ["186円"] = "&ordm;",
 ["192円"] = "&Agrave;",
 ["193円"] = "&Aacute;",
 ["194円"] = "&Acirc;",
 ["195円"] = "&Atilde;",
 ["199円"] = "&Ccedil;",
 ["201円"] = "&Eacute;",
 ["202円"] = "&Ecirc;",
 ["205円"] = "&Iacute;",
 ["211円"] = "&Oacute;",
 ["212円"] = "&Ocirc;",
 ["218円"] = "&Uacute;",
 ["224円"] = "&agrave;",
 ["225円"] = "&aacute;",
 ["226円"] = "&acirc;",
 ["227円"] = "&atilde;",
 ["231円"] = "&ccedil;",
 ["233円"] = "&eacute;",
 ["234円"] = "&ecirc;",
 ["237円"] = "&iacute;",
 ["243円"] = "&oacute;",
 ["244円"] = "&ocirc;",
 ["245円"] = "&otilde;",
 ["250円"] = "&uacute;",
 ["252円"] = "&uuml;"
 })
t = string.gsub(t, "\n\n+", "1円")
-- complete macros with no arguments
t = string.gsub(t, "(@%w+)([^{%w])", "%1{}%2")
t = trata(t)
-- correct references
t = string.gsub(t, "3円(.-)3円", ref)
-- remove extra space (??)
t = string.gsub(t, "%s*4円%s*", "")
t = nopara(t)
-- HTML 3.2 does not need </p> (but complains when it is in wrong places :)
t = string.gsub(t, "</p>", "")
io.write(header, t, footer)

AltStyle によって変換されたページ (->オリジナル) /