This document is also available in these non-normative formats: XML and Revision markup.
Copyright © 2010-2012 Christian Grün, published by the EXPath Community Group under the W3C Community Contributor License Agreement (CLA). A human-readable summary is available.
This specification was published by the EXPath Community Group. It is not a W3C Standard nor is it on the W3C Standards Track. Please note that under the W3C Community Contributor License Agreement (CLA) there is a limited opt-out and other conditions apply. Learn more about W3C Community and Business Groups.
This proposal provides a file system API for XPath. It defines extension functions to perform file system related operations such as listing, reading, or writing files or directories. It has been designed to be compatible with XQuery 1.0 and XSLT 2.0.
1 Introduction
1.1 Namespace conventions
1.2 File Paths vs. URIs
1.3 Query Execution
1.4 Error Management
2 File Properties
2.1 file:exists
2.2 file:is-dir
2.3 file:is-file
2.4 file:last-modified
2.5 file:size
3 Input/Output
3.1 file:append
3.2 file:append-text
3.3 file:append-text-lines
3.4 file:append-binary
3.5 file:copy
3.6 file:create-dir
3.7 file:delete
3.8 file:list
3.9 file:move
3.10 file:read-binary
3.11 file:read-text
3.12 file:read-text-lines
3.13 file:write
3.14 file:write-text
3.15 file:write-text-lines
3.16 file:write-binary
4 Paths
4.1 file:base-name
4.2 file:dir-name
4.3 file:path-to-native
4.4 file:path-to-uri
4.5 file:resolve-path
5 System Properties
5.1 file:dir-separator
5.2 file:path-separator
5.3 file:line-separator
The module defined by this document defines the functions and variables in the
namespace http://expath.org/ns/file
. In this document, the
file
prefix, when used, is bound to this namespace URI.
Error codes are defined in the namespace http://expath.org/ns/error
. In
this document, the err
prefix, when used, is bound to this namespace
URI.
All file paths are specified as strings, and are resolved against the current working directory. An implementation must accept absolute and relative UNIX/Linux and Windows paths as well as absolute file URIs. Some examples:
C:\Test Dir\my file.xml
: An absolute path on Windows
platforms.
/Test Dir/my file.xml
: An absolute path on UNIX-based
platforms.
C:\\\Test Dir//\\my file.xml
: An absolute path on Windows
platforms that tolerates an arbitrary number of slashes and backslashes.
my file.xml
: A relative path, pointing to a file in the current
working directory.
file:///C:/Test%20Dir/my%20file.xml
: An absolute file URI on
Windows platforms.
file:///Test%20Dir/my%20file.xml
: An absolute path on UNIX-based
platforms.
Before further processing, all paths must first be normalized to an implementation-defined representation (which usually is the representation of the underlying operating system).
Functions on File Properties (Section 2) and Input/Output (Section 3) are ·nondeterministic·, which means they are not guaranteed to perform the same actions and produce identical results from repeated calls. As such, a processor must ensure that these functions are not relocated or pre-evaluated and that its results are not cached when compiling and evaluating the query and serializing its results.
Error conditions are identified by a code (a QName
). When such an error
condition is reached during the execution of the function, a dynamic error is thrown,
with the corresponding error code (as if the standard XPath function
error
had been called).
Error codes are defined through the specification. If file operations raise additional, errors, which may be specific to the underlying platform or programming language, the generic error [err:FILE9999] with an appropriate message is raised.
For a list of specific errors see the "Summary of Error Conditions" section of this document.
file:exists
file:exists
($path asxs:string
) asxs:boolean
Tests if a path/URI is already used in the file system.
The function returns true()
if a file or a directory exists at the
location pointed by $path
.
file:is-dir
file:is-dir
($path asxs:string
) asxs:boolean
Tests if $path
points to a directory. On UNIX-based systems the root and
the volume roots are considered directories.
file:last-modified
file:last-modified
($path asxs:string
) asxs:dateTime
Returns xs:dateTime
representing the last modification time.
$path
does not
exist.file:size
file:size
($file asxs:string
) asxs:integer
Returns the byte size of a file as integer.
$path
does not
exist.$path
points to a
directory.file:append
file:append
($file asxs:string
, $items asitem()*
) asempty-sequence()
file:append
($file asxs:string
, $items asitem()*
, $params aselement(output:serialization-parameters)
) asempty-sequence()
Appends a sequence of items to a file. If the file pointed by $file
does
not exist, a new file will be created.
$params
controls the way the $items
items are serialized.
The semantics of $params
is the same as for the
fn:serialize
function in [XQuery and XPath Functions and Operators 3.0]. This consists of an
output:serialization-parameters
element whose format is defined in
[XSLT and XQuery Serialization 3.0]. In contrast to fn:serialize, the encoding stage will not be
skipped by this function.
The function returns the empty sequence if the operation is successful.
$file
does not exist.$file
points to a
directory.file:append-text
file:append-text
($file asxs:string
, $value asxs:string
) asempty-sequence()
file:append-text
($file asxs:string
, $value asxs:string
, $encoding asxs:string
) asempty-sequence()
Appends a string to a file. If the file pointed by $file
does not exist,
a new file will be created.
The optional parameter $encoding
, if not provided, is considered to be
UTF-8
.
The function returns the empty sequence if the operation is successful.
$file
does not exist.$file
points to a
directory.$encoding
is invalid or
not supported by the implementation.file:append-text-lines
file:append-text-lines
($file asxs:string
, $values asxs:string*
) asempty-sequence()
file:append-text-lines
($file asxs:string
, $lines asxs:string*
, $encoding asxs:string
) asempty-sequence()
Appends a sequence of strings to a file, each followed by the system-dependent
newline character. If the file pointed by $file
does not exist, a new
file will be created.
The optional parameter $encoding
, if not provided, is considered to be
UTF-8
.
The function returns the empty sequence if the operation is successful.
$file
does not exist.$file
points to a
directory.$encoding
is invalid or
not supported by the implementation.file:append-binary
file:append-binary
($file asxs:string
, $value asxs:base64Binary
) asempty-sequence()
Appends a Base64 item as binary to a file. If the file pointed by $file
does not exist, a new file will be created.
The function returns the empty sequence if the operation is successful.
$file
does not exist.$file
points to a
directory.file:copy
file:copy
($source asxs:string
, $target asxs:string
) asempty-sequence()
Copies a file or a directory given a source and a target path/URI. The following
cases may occur if $source
points to a file:
$target
does not exist, it will be created.$target
is a file, it will be overwritten.$target
is a directory, the file will be created in that
directory with the name of the source file. If a file already exists, it will be
overwritten.The following cases may occur if $source
points to a directory:
$target
does not exist, it will be created as directory, and all
files of the source directory are copied to this directory with their existing
local names.$target
is a directory, all files are copied from the source
into the target directory. If a file already exists, it will be overwritten.Other cases will raise one of the errors listed below.
The function returns the empty sequence if the operation is successful. If an error occurs during the operation, no rollback to the original state will be possible
$source
path does not
exist.$source
does not exist.$source
points to a file
and $target
points to a directory, in which a subdirectory exists
with the name of the source file.file:create-dir
file:create-dir
($dir asxs:string
) asempty-sequence()
Creates a directory, or does nothing if the directory already exists. The operation will create all non-existing parent directories.
The function returns the empty sequence if the operation is successful.
file:delete
file:delete
($path asxs:string
) asempty-sequence()
file:delete
($path asxs:string
, $recursive asxs:boolean
) asempty-sequence()
Deletes a file or a directory from the file system.
If the optional parameter $recursive
is set to true()
,
sub-directories will be deleted as well.
The function returns the empty sequence if the operation is successful.
$path
does not
exist.$file
points to a
non-empty directory.file:list
file:list
($dir asxs:string
) asxs:string*
file:list
($dir asxs:string
, $recursive asxs:boolean
) asxs:string*
file:list
($dir asxs:string
, $recursive asxs:boolean
, $pattern asxs:string
) asxs:string*
Lists all files and directories in a given directory. The order of the items in the
resulting sequence is not defined. The "." and ".." items are never returned. The
returned paths are relative to the provided directory $dir
.
If the optional parameter $recursive
is set to true()
, all
directories and files will be returned that are found while recursively traversing
the given directory.
The optional $pattern
parameter defines a name pattern in the glob
syntax. If this is provided, only the paths of the files and directories whose names
are matching the pattern will be returned.
An implementation must support at least the following glob syntax for the pattern:
*
for matching any number of unknown characters and?
for matching one unknown character.
$dir
does not point to an
existing directory.file:move
file:move
($source asxs:string
, $target asxs:string
) asempty-sequence()
Moves a file or a directory given a source and a target path/URI. The following cases
may occur if $source
points to a file:
$target
does not exist, it will be created.$target
is a file, it will be overwritten.$target
is a directory, the file will be created in that
directory with the name of the source file. If a file already exists, it will be
overwritten.The following cases may occur if $source
points to a directory:
$target
does not exist, it will be created as directory, and all
files of the source directory are moved to this directory with their existing
local names.$target
is a directory, all files are moved from the source into
the target directory. If a file already exists, it will be overwritten.Other cases will raise one of the errors listed below.
The function returns the empty sequence if the operation is successful. If an error occurs during the operation, no rollback to the original state will be possible
$source
path does not
exist.$source
does not exist.$source
points to a file
and $target
points to a directory, in which a subdirectory exists
with the name of the source file.file:read-binary
file:read-binary
($file asxs:string
) asxs:base64Binary
Returns the content of a file in its Base64 representation.
$file
does not
exist.$file
points to a
directory.file:read-text
file:read-text
($file asxs:string
) asxs:string
file:read-text
($file asxs:string
, $encoding asxs:string
) asxs:string
Returns the content of a file in its string representation.
The optional parameter $encoding
, if not provided, is considered to be
UTF-8
.
$file
does not
exist.$file
points to a
directory.$encoding
is invalid or
not supported by the implementation.file:read-text-lines
file:read-text-lines
($file asxs:string
) asxs:string*
file:read-text-lines
($file asxs:string
, $encoding asxs:string
) asxs:string*
Returns the contents of a file as a sequence of strings, separated at newline boundaries.
The optional parameter $encoding
, if not provided, is considered to be
UTF-8
.
The newline handling is the same as for the fn:unparsed-text-lines
function in [XQuery and XPath Functions and Operators 3.0].
$file
does not
exist.$file
points to a
directory.$encoding
is invalid or
not supported by the implementation.file:write
file:write
($file asxs:string
, $items asitem()*
) asempty-sequence()
file:write
($file asxs:string
, $items asitem()*
, $params aselement(output:serialization-parameters)
) asempty-sequence()
Writes a sequence of items to a file.
If $file
already exists, it will be overwritten.
$params
controls the way the $items
items are serialized.
The semantics of $params
is the same as for the
fn:serialize
function in [XQuery and XPath Functions and Operators 3.0]. This consists of an
output:serialization-parameters
element whose format is defined in
[XSLT and XQuery Serialization 3.0]. In contrast to fn:serialize, the encoding stage will not be
skipped by this function.
The function returns the empty sequence if the operation is successful.
$file
does not exist.$file
points to a
directory.file:write-text
file:write-text
($file asxs:string
, $value asxs:string
) asempty-sequence()
file:write-text
($file asxs:string
, $value asxs:string
, $encoding asxs:string
) asempty-sequence()
Writes a strings to a file. If $file
already exists, it will be
overwritten.
The optional parameter $encoding
, if not provided, is considered to be
UTF-8
.
The function returns the empty sequence if the operation is successful.
$file
does not exist.$file
points to a
directory.$encoding
is invalid or
not supported by the implementation.file:write-text-lines
file:write-text-lines
($file asxs:string
, $values asxs:string*
) asempty-sequence()
file:write-text-lines
($file asxs:string
, $values asxs:string*
, $encoding asxs:string
) asempty-sequence()
Writes a sequence of strings to a file, each followed by the system-dependent newline
character. If $file
already exists, it will be overwritten.
The optional parameter $encoding
, if not provided, is considered to be
UTF-8
.
The function returns the empty sequence if the operation is successful.
$file
does not exist.$file
points to a
directory.$encoding
is invalid or
not supported by the implementation.file:write-binary
file:write-binary
($file asxs:string
, $value asbase64Binary
) asempty-sequence()
Writes a Base64 items as binary to a file. If $file
already exists, it
will be overwritten.
The function returns the empty sequence if the operation is successful.
$file
does not exist.$file
points to a
directory.None of the functions in this section performs any check regarding the existence of the received or returned paths.
file:base-name
file:base-name
($path asxs:string
) asxs:string
file:base-name
($path asxs:string
, $suffix asxs:string
) asxs:string
Returns the last component from $path
, deleting any trailing directory
separators. If $path
consists entirely of directory separator, the empty
string is returned. If $path
is the empty string, the string
"."
is returned, signifying the current working directory.
If $suffix
is present, it will be trimmed from the end of the result.
This can be used to eliminate file extensions.
No path existence check is made.
file:dir-name
file:dir-name
($path asxs:string
) asxs:string
This function returns a string denoting the parent directory of $path
.
Any trailing directory separators are not counted as part of the directory name. If
the specified string is empty or contains no directory separators, "."
is returned, signifying the current directory.
No path existence check is made.
file:path-to-native
file:path-to-native
($path asxs:string
) asxs:string
Transforms a URI, an absolute path, or relative path to a canonical, system-dependent path representation. A canonical path is both absolute and unique and thus contains no redirections such as references to parent directories or symbolic links.
No path existence check is made.
file:dir-separator
file:dir-separator
() asxs:string
Returns the value of the operating system specific directory separator, which usually
is /
on UNIX-based systems and \
on Windows systems.