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">
end
page.add_raw_html "</head><body><pre>"
end
- var m = modelbuilder.mmodule2nmodule[mm]
v.enter_visit(m)
if not opt_fragment.value then
page.add(v.html)