Return true
on success.
# Fire the end of an element.
#
# Return `true` on success.
fun fire_end_element(name: String):Bool do
var peek_name = element_path.last
if peek_name.qname == name then
element_path.pop
if content_handler != null then
content_handler.end_element(peek_name.uri,
peek_name.local_name, peek_name.qname)
end
return true
else
fire_fatal_error("The type in the closing tag (`{name}`) does " +
"not match the type in the opening tag " +
"(`{element_path.last.qname}`).", null)
return false
end
end
lib/saxophonit/reader_model.nit:233,2--252,4