See start_prefix_mapping for
details. These events will always occur immediately after the
corresponding end_prefix_mapping event, but the order of
end_prefix_mapping events is not otherwise
guaranteed.
Parameter:
prefix: prefix that was being mapping.
This is the empty string when a default mapping scope ends.SEE: start_prefix_mapping
SEE: end_element
# End the scope of a prefix-URI mapping.
#
# See `start_prefix_mapping` for
# details. These events will always occur immediately after the
# corresponding `end_prefix_mapping` event, but the order of
# `end_prefix_mapping` events is not otherwise
# guaranteed.
#
# Parameter:
#
# * `prefix`: prefix that was being mapping.
# This is the empty string when a default mapping scope ends.
#
# SEE: `start_prefix_mapping`
# SEE: `end_element`
fun end_prefix_mapping(prefix: String) do end
lib/sax/content_handler.nit:131,2--146,46
redef fun end_prefix_mapping(prefix) do
if content_handler != null then
content_handler.end_prefix_mapping(prefix)
end
end
lib/sax/helpers/xml_filter_impl.nit:282,2--286,4
redef fun end_prefix_mapping(prefix) do
log.push(["end_prefix_mapping", prefix])
super
end
lib/saxophonit/testing.nit:365,2--368,4