sax :: XMLReader :: parse_file
This method is a shortcut for the common case of reading a document from a system identifier. It is the exact equivalent of the following:
var source = new InputSouce
source.system_id = system_id
parse(source)If the system identifier is a URL, it must be fully resolved by the application before it is passed to the parser.
Parameters:
systemId: The system identifier (URI).
# Parse an XML document from a system identifier (URI).
#
# This method is a shortcut for the common case of reading a
# document from a system identifier. It is the exact
# equivalent of the following:
#
# ~~~nitish
# var source = new InputSouce
# source.system_id = system_id
# parse(source)
# ~~~
#
# If the system identifier is a URL, it must be fully resolved
# by the application before it is passed to the parser.
#
# Parameters:
#
# * `systemId`: The system identifier (URI).
fun parse_file(system_id: String) is abstract
lib/sax/xml_reader.nit:272,2--290,46
redef fun parse_file(system_id) do
parse(new InputSource.with_system_id(system_id))
end
lib/saxophonit/saxophonit.nit:160,2--162,4
redef fun parse_file(system_id) do
var source = new InputSource
source.system_id = system_id
parse(source)
end
lib/sax/helpers/xml_filter_impl.nit:219,2--224,4