markdown :: Decorator :: add_headline
# Render a headline block with corresponding level.
fun add_headline(v: PROCESSOR, block: BlockHeadline) is abstract
lib/markdown/markdown.nit:652,2--653,65
redef fun add_headline(v, block) do
# save headline
var line = block.block.first_line
if line == null then return
var txt = line.value
var id = strip_id(txt)
var lvl = block.depth
headlines[id] = new HeadLine(id, txt, lvl)
# output it
v.add "<h{lvl} id=\"{id}\">"
v.emit_in block
v.add "</h{lvl}>\n"
end
lib/markdown/markdown.nit:737,2--749,4
redef fun add_headline(v, block) do v.emit_in block
lib/markdown/decorators.nit:196,2--52
redef fun add_headline(v, block) do
super
check_res(block)
end
lib/markdown/test_markdown.nit:2892,2--2895,4