tickets

2.4 KB

1. // ticketfile.hl — the AntColony ticket file format, shared by import.hl and the one-off
2. // tools/fix-import-summaries.hl. Statics only (no top-level work: importing it runs nothing).
3. //
4. // A ticket file is `project:` and `subject:` header lines, a blank line, the summary.
5. // The summary is HARD-WRAPPED text: lines are joined into paragraphs (one space between
6. // them), a blank line starts a new paragraph, a list line starts a new line; paragraphs are separated by one empty line
7. // ("\n\n") in the stored summary, which the ticket page renders with `white-space: pre-wrap`.
8. // CRLF files work: every line is trim()med, which drops the carriage return. (Hybriel
9. // strings have no escapes — "\r" would be two characters, so there is no CR constant.)
11. static NL = "
12. "
14. // A MARKDOWN LIST LINE (`- `, `* `, `1. ` after trimming) stays its own line (ticket #15):
15. // it starts a new line inside the paragraph ("\n"); a following ordinary line is still
16. // joined onto it (a wrapped list item). Nested indentation is not kept.
17. static isListLine = (line) => {
18. if (line.startsWith('- ') || line.startsWith('* ')) { return true }
19. let i = 0
20. while (i < line.length && line.charCodeAt(i) >= 48 && line.charCodeAt(i) <= 57) { i = i + 1 }
21. return i > 0 && line.slice(i, i + 2) == '. '
22. }
24. // hard-wrapped text → paragraphs joined by "\n\n" (list lines inside one by "\n")
25. static paragraphsOf = (text) => {
26. let paras = []
27. let cur = []
28. for (raw of text.split(NL)) {
29. let line = raw.trim()
30. if (line == '') {
31. if (cur.length > 0) { paras.push(cur.join(NL)) }
32. cur = []
33. } else if (cur.length == 0 || isListLine(line)) {
34. cur.push(line)
35. } else {
36. cur[cur.length - 1] = cur[cur.length - 1] + ' ' + line
37. }
38. }
39. if (cur.length > 0) { paras.push(cur.join(NL)) }
40. return paras.join(NL + NL)
41. }
43. // { project, subject, summary } or { error }
44. static parse = (text) => {
45. let lines = text.split(NL)
46. let head = {}
47. let i = 0
48. while (i < lines.length && lines[i].trim() != '') {
49. let line = lines[i]
50. let c = line.indexOf(':')
51. if (c > 0) { head[line.slice(0, c).trim().toLowerCase()] = line.slice(c + 1).trim() }
52. i = i + 1
53. }
54. let body = []
55. i = i + 1
56. while (i < lines.length) {
57. body.push(lines[i])
58. i = i + 1
59. }
60. if (head.project == null || head.project == '') { return { error = 'no project: line' } }
61. if (head.subject == null || head.subject == '') { return { error = 'no subject: line' } }
62. return { project = head.project subject = head.subject summary = paragraphsOf(body.join(NL)) }
63. }