import parser
import html
+import highlight
# The class that does the convertion from a `ADoc` to HTML
private class Doc2Mdwn
+ var toolcontext: ToolContext
+
# The lines of the current code block, empty is no current code block
var curblock = new Array[String]
# Count the number of spaces
lastindent = indent
indent = 0
- while text.length > indent and text[indent] == ' ' do indent += 1
+ while text.length > indent and text.chars[indent] == ' ' do indent += 1
# Is codeblock? Then just collect them
if indent > 4 then
fun process_code(n: HTMLTag, text: String)
do
- n.append text
+ # Try to parse it
+ var ast = toolcontext.parse_something(text)
+
+ if ast isa AError then
+ n.append text
+ # n.attrs["title"] = ast.message
+ n.add_class("rawcode")
+ else
+ var v = new HighlightVisitor
+ v.enter_visit(ast)
+ n.add(v.html)
+ n.add_class("nitcode")
+ end
end
end
# Build a `<div>` element that contains the full documentation in HTML
fun full_markdown: HTMLTag
do
- var d2m = new Doc2Mdwn
+ var tc = new ToolContext
+ var d2m = new Doc2Mdwn(tc)
return d2m.work(self)
end
# Build a `<span>` element that contains the synopsys in HTML
fun short_markdown: HTMLTag
do
- var d2m = new Doc2Mdwn
+ var tc = new ToolContext
+ var d2m = new Doc2Mdwn(tc)
return d2m.short_work(self)
end
end