var toolcontext = new ToolContext
+# Disable `cached` because it causes issues when printing transformed AST. FIXME
+toolcontext.cached_phase.disabled = true
+
var opt_fragment = new OptionBool("Omit document header and footer", "-f", "--fragment")
var opt_first_line = new OptionInt("Start the source file at this line (default: 1)", 0, "--first-line")
var opt_last_line = new OptionInt("End the source file at this line (default: to the end)", 0, "--last-line")
if opt_last_line.value != 0 then v.last_line = opt_last_line.value
if opt_ast.value then v.with_ast = true
var page = null
+ var m = modelbuilder.mmodule2nmodule[mm]
if not opt_fragment.value then
page = new HTMLTag("html")
page.add_raw_html """<head>
- <meta charset="utf-8">"""
+ <meta charset="utf-8">
+ <title>file {{{m.location.file.filename}}}</title>"""
if dir == null then
page.add_raw_html """
<style type="text/css">
else
page.add_raw_html """<link rel="stylesheet" type="text/css" href="style.css" />"""
end
- page.add_raw_html "</head><body><pre>"
+ page.add_raw_html v.head_content
+ page.add_raw_html "</head><body><pre class='nit_code'>"
end
- var m = modelbuilder.mmodule2nmodule[mm]
v.enter_visit(m)
if not opt_fragment.value then
page.add(v.html)
- page.add_raw_html "</pre></body>"
+ page.add_raw_html "</pre>"
+ page.add_raw_html v.foot_content
+ page.add_raw_html "</body>"
else
page = v.html
end