mirror of
https://github.com/mjl-/mox.git
synced 2024-12-27 08:53:48 +03:00
474 lines
13 KiB
Go
474 lines
13 KiB
Go
//go:build xr
|
|
|
|
package main
|
|
|
|
// xr reads source files and rfc files and generates html versions, a code and
|
|
// rfc index file, and an overal index file to view code and rfc side by side.
|
|
|
|
import (
|
|
"bytes"
|
|
"flag"
|
|
"fmt"
|
|
htmltemplate "html/template"
|
|
"log"
|
|
"os"
|
|
"path/filepath"
|
|
"regexp"
|
|
"sort"
|
|
"strconv"
|
|
"strings"
|
|
|
|
"golang.org/x/exp/maps"
|
|
)
|
|
|
|
var destdir string
|
|
|
|
func xcheckf(err error, format string, args ...any) {
|
|
if err != nil {
|
|
log.Fatalf("%s: %s", fmt.Sprintf(format, args...), err)
|
|
}
|
|
}
|
|
|
|
func xwritefile(path string, buf []byte) {
|
|
p := filepath.Join(destdir, path)
|
|
os.MkdirAll(filepath.Dir(p), 0755)
|
|
err := os.WriteFile(p, buf, 0644)
|
|
xcheckf(err, "writing file %s", p)
|
|
}
|
|
|
|
func main() {
|
|
log.SetFlags(0)
|
|
|
|
var release bool
|
|
flag.BoolVar(&release, "release", false, "generate cross-references for a release, highlighting the release version as active page")
|
|
flag.Usage = func() {
|
|
log.Println("usage: go run xr.go destdir revision date latestrelease ../*.go ../*/*.go")
|
|
flag.PrintDefaults()
|
|
os.Exit(2)
|
|
}
|
|
flag.Parse()
|
|
args := flag.Args()
|
|
if len(args) < 4 {
|
|
flag.Usage()
|
|
}
|
|
|
|
destdir = args[0]
|
|
revision := args[1]
|
|
date := args[2]
|
|
latestRelease := args[3]
|
|
srcfiles := args[4:]
|
|
|
|
// Generate code.html index.
|
|
srcdirs := map[string][]string{}
|
|
for _, arg := range srcfiles {
|
|
arg = strings.TrimPrefix(arg, "../")
|
|
dir := filepath.Dir(arg)
|
|
file := filepath.Base(arg)
|
|
srcdirs[dir] = append(srcdirs[dir], file)
|
|
}
|
|
for _, files := range srcdirs {
|
|
sort.Strings(files)
|
|
}
|
|
dirs := maps.Keys(srcdirs)
|
|
sort.Strings(dirs)
|
|
var codeBuf bytes.Buffer
|
|
err := codeTemplate.Execute(&codeBuf, map[string]any{
|
|
"Dirs": srcdirs,
|
|
})
|
|
xcheckf(err, "generating code.html")
|
|
xwritefile("code.html", codeBuf.Bytes())
|
|
|
|
// Generate code html files.
|
|
re := regexp.MustCompile(`(\.\./)?rfc/[0-9]{3,5}(-[^ :]*)?(:[0-9]+)?`)
|
|
for dir, files := range srcdirs {
|
|
for _, file := range files {
|
|
src := filepath.Join("..", dir, file)
|
|
dst := filepath.Join(dir, file+".html")
|
|
buf, err := os.ReadFile(src)
|
|
xcheckf(err, "reading file %s", src)
|
|
|
|
var b bytes.Buffer
|
|
fmt.Fprint(&b, `<!doctype html>
|
|
<html>
|
|
<head>
|
|
<meta charset="utf-8" />
|
|
<style>
|
|
html { scroll-padding-top: 35%; }
|
|
body { font-family: 'ubuntu mono', monospace; }
|
|
.ln { position: absolute; display: none; background-color: #eee; padding-right: .5em; }
|
|
.l { white-space: pre-wrap; }
|
|
.l:hover .ln { display: inline; }
|
|
.l:target { background-color: gold; }
|
|
</style>
|
|
</head>
|
|
<body>
|
|
`)
|
|
|
|
for i, line := range strings.Split(string(buf), "\n") {
|
|
n := i + 1
|
|
_, err := fmt.Fprintf(&b, `<div id="L%d" class="l"><a href="#L%d" class="ln">%d</a>`, n, n, n)
|
|
xcheckf(err, "writing source line")
|
|
|
|
if line == "" {
|
|
b.WriteString("\n")
|
|
} else {
|
|
for line != "" {
|
|
loc := re.FindStringIndex(line)
|
|
if loc == nil {
|
|
b.WriteString(htmltemplate.HTMLEscapeString(line))
|
|
break
|
|
}
|
|
s, e := loc[0], loc[1]
|
|
b.WriteString(htmltemplate.HTMLEscapeString(line[:s]))
|
|
match := line[s:e]
|
|
line = line[e:]
|
|
t := strings.Split(match, ":")
|
|
linenumber := 1
|
|
if len(t) == 2 {
|
|
v, err := strconv.ParseInt(t[1], 10, 31)
|
|
xcheckf(err, "parsing linenumber %q", t[1])
|
|
linenumber = int(v)
|
|
}
|
|
fmt.Fprintf(&b, `<a href="%s.html#L%d" target="rfc">%s</a>`, t[0], linenumber, htmltemplate.HTMLEscapeString(match))
|
|
}
|
|
}
|
|
fmt.Fprint(&b, "</div>\n")
|
|
}
|
|
|
|
fmt.Fprint(&b, `<script>
|
|
for (const a of document.querySelectorAll('a')) {
|
|
a.addEventListener('click', function(e) {
|
|
location.hash = '#'+e.target.closest('.l').id
|
|
})
|
|
}
|
|
</script>
|
|
</body>
|
|
</html>
|
|
`)
|
|
|
|
xwritefile(dst, b.Bytes())
|
|
}
|
|
}
|
|
|
|
// Generate rfc index.
|
|
rfctext, err := os.ReadFile("index.txt")
|
|
xcheckf(err, "reading rfc index.txt")
|
|
type rfc struct {
|
|
File string
|
|
Title string
|
|
}
|
|
topics := map[string][]rfc{}
|
|
var topic string
|
|
for _, line := range strings.Split(string(rfctext), "\n") {
|
|
if strings.HasPrefix(line, "# ") {
|
|
topic = line[2:]
|
|
continue
|
|
}
|
|
t := strings.Split(line, "\t")
|
|
if len(t) != 4 {
|
|
continue
|
|
}
|
|
topics[topic] = append(topics[topic], rfc{strings.TrimSpace(t[0]), t[3]})
|
|
}
|
|
for _, l := range topics {
|
|
sort.Slice(l, func(i, j int) bool {
|
|
return l[i].File < l[j].File
|
|
})
|
|
}
|
|
var rfcBuf bytes.Buffer
|
|
err = rfcTemplate.Execute(&rfcBuf, map[string]any{
|
|
"Topics": topics,
|
|
})
|
|
xcheckf(err, "generating rfc.html")
|
|
xwritefile("rfc.html", rfcBuf.Bytes())
|
|
|
|
// Process each rfc file into html.
|
|
for _, rfcs := range topics {
|
|
for _, rfc := range rfcs {
|
|
dst := filepath.Join("rfc", rfc.File+".html")
|
|
|
|
buf, err := os.ReadFile(rfc.File)
|
|
xcheckf(err, "reading rfc %s", rfc.File)
|
|
|
|
var b bytes.Buffer
|
|
fmt.Fprint(&b, `<!doctype html>
|
|
<html>
|
|
<head>
|
|
<meta charset="utf-8" />
|
|
<style>
|
|
html { scroll-padding-top: 35%; }
|
|
body { font-family: 'ubuntu mono', monospace; }
|
|
.ln { position: absolute; display: none; background-color: #eee; padding-right: .5em; }
|
|
.l { white-space: pre-wrap; }
|
|
.l:hover .ln { display: inline; }
|
|
.l:target { background-color: gold; }
|
|
</style>
|
|
</head>
|
|
<body>
|
|
`)
|
|
|
|
isRef := func(s string) bool {
|
|
return s[0] >= '0' && s[0] <= '9' || strings.HasPrefix(s, "../")
|
|
}
|
|
|
|
parseRef := func(s string) (string, int, bool) {
|
|
t := strings.Split(s, ":")
|
|
linenumber := 1
|
|
if len(t) == 2 {
|
|
v, err := strconv.ParseInt(t[1], 10, 31)
|
|
xcheckf(err, "parsing linenumber")
|
|
linenumber = int(v)
|
|
}
|
|
isCode := strings.HasPrefix(t[0], "../")
|
|
return t[0], linenumber, isCode
|
|
}
|
|
|
|
for i, line := range strings.Split(string(buf), "\n") {
|
|
if line == "" {
|
|
line = "\n"
|
|
} else if len(line) < 80 || strings.Contains(rfc.File, "-") && i > 0 {
|
|
line = htmltemplate.HTMLEscapeString(line)
|
|
} else {
|
|
t := strings.Split(line[80:], " ")
|
|
line = htmltemplate.HTMLEscapeString(line[:80])
|
|
for i, s := range t {
|
|
if i > 0 {
|
|
line += " "
|
|
}
|
|
if s == "" || !isRef(s) {
|
|
line += htmltemplate.HTMLEscapeString(s)
|
|
continue
|
|
}
|
|
file, linenumber, isCode := parseRef(s)
|
|
target := ""
|
|
if isCode {
|
|
target = ` target="code"`
|
|
}
|
|
line += fmt.Sprintf(` <a href="%s.html#L%d"%s>%s:%d</a>`, file, linenumber, target, file, linenumber)
|
|
}
|
|
}
|
|
n := i + 1
|
|
_, err := fmt.Fprintf(&b, `<div id="L%d" class="l"><a href="#L%d" class="ln">%d</a>%s</div>%s`, n, n, n, line, "\n")
|
|
xcheckf(err, "writing rfc line")
|
|
}
|
|
|
|
fmt.Fprint(&b, `<script>
|
|
for (const a of document.querySelectorAll('a')) {
|
|
a.addEventListener('click', function(e) {
|
|
location.hash = '#'+e.target.closest('.l').id
|
|
})
|
|
}
|
|
</script>
|
|
</body>
|
|
</html>
|
|
`)
|
|
|
|
xwritefile(dst, b.Bytes())
|
|
}
|
|
}
|
|
|
|
// Generate overal file.
|
|
index := indexHTML
|
|
if release {
|
|
index = strings.ReplaceAll(index, "RELEASEWEIGHT", "bold")
|
|
index = strings.ReplaceAll(index, "REVISIONWEIGHT", "normal")
|
|
} else {
|
|
index = strings.ReplaceAll(index, "RELEASEWEIGHT", "normal")
|
|
index = strings.ReplaceAll(index, "REVISIONWEIGHT", "bold")
|
|
}
|
|
index = strings.ReplaceAll(index, "REVISION", revision)
|
|
index = strings.ReplaceAll(index, "DATE", date)
|
|
index = strings.ReplaceAll(index, "RELEASE", latestRelease)
|
|
xwritefile("index.html", []byte(index))
|
|
}
|
|
|
|
var indexHTML = `<!doctype html>
|
|
<html>
|
|
<head>
|
|
<meta charset="utf-8" />
|
|
<title>Cross-referenced code and RFCs - Mox</title>
|
|
<link rel="icon" href="noNeedlessFaviconRequestsPlease:" />
|
|
<style>
|
|
body { margin: 0; padding: 0; font-family: 'ubuntu', 'lato', sans-serif; }
|
|
[title] { text-decoration: underline; text-decoration-style: dotted; }
|
|
.iframe { border: 1px solid #aaa; width: 100%; height: 100%; background-color: #eee; border-radius: .25em; }
|
|
</style>
|
|
</head>
|
|
<body>
|
|
<div style="display: flex; flex-direction: column; height: 100vh">
|
|
<div style="padding: .5em"><a href="../../">mox</a>, <span title="The mox code contains references to RFCs, often with specific line numbers. RFCs are generated that point back to the source code. This page shows code and RFCs side by side, with cross-references hyperlinked.">cross-referenced code and RFCs</span>: <a href="../RELEASE/" style="font-weight: RELEASEWEIGHT" title="released version">RELEASE</a> <a href="../dev/" style="font-weight: REVISIONWEIGHT" title="branch main">dev</a> (<a href="https://github.com/mjl-/mox/commit/REVISION" title="Source code commit for this revision.">commit REVISION</a>, DATE)</div>
|
|
<div style="flex-grow: 1; display: flex; align-items: stretch">
|
|
<div style="flex-grow: 1; margin: 1ex; position: relative; display: flex; flex-direction: column">
|
|
<div style="margin-bottom: .5ex"><span id="codefile" style="font-weight: bold">...</span>, <a href="code.html" target="code">index</a></div>
|
|
<iframe name="code" id="codeiframe" class="iframe"></iframe>
|
|
</div>
|
|
<div style="flex-grow: 1; margin: 1ex; position: relative; display: flex; flex-direction: column">
|
|
<div style="margin-bottom: .5ex"><span id="rfcfile" style="font-weight: bold">...</span>, <a href="rfc.html" target="rfc">index</a></div>
|
|
<iframe name="rfc" id="rfciframe" class="iframe"></iframe>
|
|
</div>
|
|
</div>
|
|
</div>
|
|
<script>
|
|
const basepath = location.pathname
|
|
function trimDotHTML(s) {
|
|
if (s.endsWith('.html')) {
|
|
return s.substring(s, s.length-'.html'.length)
|
|
}
|
|
return s
|
|
}
|
|
let changinghash = false
|
|
function hashline(s) {
|
|
return s ? ':'+s.substring('#L'.length) : ''
|
|
}
|
|
function updateRFCLink(s) {
|
|
const t = s.split('/')
|
|
let e
|
|
if (t.length === 2 && t[0] === 'rfc' && ''+parseInt(t[1]) === t[1]) {
|
|
e = document.createElement('a')
|
|
e.setAttribute('href', 'https://datatracker.ietf.org/doc/html/rfc'+t[1])
|
|
e.setAttribute('rel', 'noopener')
|
|
} else {
|
|
e = document.createElement('span')
|
|
}
|
|
e.innerText = s
|
|
e.style.fontWeight = 'bold'
|
|
rfcfile.replaceWith(e)
|
|
rfcfile = e
|
|
}
|
|
function updateHash() {
|
|
const code = trimDotHTML(codeiframe.contentWindow.location.pathname.substring(basepath.length))+hashline(codeiframe.contentWindow.location.hash)
|
|
const rfc = trimDotHTML(rfciframe.contentWindow.location.pathname.substring(basepath.length))+hashline(rfciframe.contentWindow.location.hash)
|
|
if (!code || !rfc) {
|
|
// Safari and Chromium seem to raise hashchanged for the initial load. Skip if one
|
|
// of the iframes isn't loaded yet initially.
|
|
return
|
|
}
|
|
codefile.innerText = code
|
|
updateRFCLink(rfc)
|
|
const nhash = '#' + code + ',' + rfc
|
|
if (location.hash === nhash || location.hash === '' && nhash === '#code,rfc') {
|
|
return
|
|
}
|
|
console.log('updating window hash', {code, rfc})
|
|
changinghash = true
|
|
location.hash = nhash
|
|
window.setTimeout(() => {
|
|
changinghash = false
|
|
}, 0)
|
|
}
|
|
window.addEventListener('hashchange', function() {
|
|
console.log('window hashchange', location.hash, changinghash)
|
|
if (!changinghash) {
|
|
updateIframes()
|
|
}
|
|
})
|
|
function hashlink2src(s) {
|
|
const t = s.split(':')
|
|
if (t.length > 2 || t[0].startsWith('/') || t[0].includes('..')) {
|
|
return ''
|
|
}
|
|
let h = t[0]+'.html'
|
|
if (t.length === 2) {
|
|
h += '#L'+t[1]
|
|
}
|
|
h = './'+h
|
|
console.log('hashlink', s, h)
|
|
return h
|
|
}
|
|
// We need to replace iframes. Before, we replaced the "src" attribute. But
|
|
// that adds a new entry to the history, while replacing an iframe element does
|
|
// not. The added entries would break the browser back button...
|
|
function replaceIframe(iframe, src) {
|
|
const o = iframe
|
|
let prevsrc = o ? o.src : undefined
|
|
iframe = document.createElement('iframe')
|
|
iframe.classList.add('iframe')
|
|
iframe.setAttribute('name', o.getAttribute('name'))
|
|
iframe.addEventListener('load', function() {
|
|
if (prevsrc !== iframe.src && (prevsrc || prevsrc !== 'code.html' && prevsrc !== 'rfc.html')) {
|
|
updateHash()
|
|
}
|
|
iframe.contentWindow.addEventListener('hashchange', function(e) {
|
|
updateHash()
|
|
})
|
|
})
|
|
iframe.setAttribute('src', src)
|
|
o.replaceWith(iframe)
|
|
return iframe
|
|
}
|
|
function updateIframes() {
|
|
const h = location.hash.length > 1 ? location.hash.substring(1) : 'code,rfc'
|
|
const t = h.split(',')
|
|
const codesrc = hashlink2src(t[0])
|
|
const rfcsrc = hashlink2src(t[1])
|
|
if (codeiframe.src !== codesrc) {
|
|
codeiframe = replaceIframe(codeiframe, codesrc)
|
|
codefile.innerText = t[0]
|
|
}
|
|
if (rfciframe.src !== rfcsrc) {
|
|
rfciframe = replaceIframe(rfciframe, rfcsrc)
|
|
updateRFCLink(t[1])
|
|
}
|
|
}
|
|
window.addEventListener('load', function() {
|
|
updateIframes()
|
|
})
|
|
</script>
|
|
</body>
|
|
</html>
|
|
`
|
|
|
|
var codeTemplate = htmltemplate.Must(htmltemplate.New("code").Parse(`<!doctype html>
|
|
<html>
|
|
<head>
|
|
<meta charset="utf-8" />
|
|
<title>code index</title>
|
|
<style>
|
|
* { font-size: inherit; font-family: 'ubuntu mono', monospace; margin: 0; padding: 0; box-sizing: border-box; }
|
|
tr:nth-child(odd) { background-color: #ddd; }
|
|
</style>
|
|
</head>
|
|
<body>
|
|
<table>
|
|
<tr><th>Package</th><th>Files</th></tr>
|
|
{{- range $dir, $files := .Dirs }}
|
|
<tr>
|
|
<td>{{ $dir }}/</td>
|
|
<td>
|
|
{{- range $files }}
|
|
<a href="{{ $dir }}/{{ . }}.html">{{ . }}</a>
|
|
{{- end }}
|
|
</td>
|
|
</tr>
|
|
{{- end }}
|
|
</table>
|
|
</body>
|
|
</html>
|
|
`))
|
|
|
|
var rfcTemplate = htmltemplate.Must(htmltemplate.New("rfc").Parse(`<!doctype html>
|
|
<html>
|
|
<head>
|
|
<meta charset="utf-8" />
|
|
<style>
|
|
* { font-size: inherit; font-family: 'ubuntu mono', monospace; margin: 0; padding: 0; }
|
|
tr:nth-child(odd) { background-color: #ddd; }
|
|
</style>
|
|
</head>
|
|
<body>
|
|
<table>
|
|
<tr><th>Topic</th><th>RFC</th></tr>
|
|
{{- range $topic, $rfcs := .Topics }}
|
|
<tr>
|
|
<td>{{ $topic }}</td>
|
|
<td>
|
|
{{- range $rfcs }}
|
|
<a href="rfc/{{ .File }}.html" title="{{ .Title }}">{{ .File }}</a>
|
|
{{- end }}
|
|
</td>
|
|
</tr>
|
|
{{- end }}
|
|
</table>
|
|
</body>
|
|
</html>
|
|
`))
|