atime(
path STRING)
RETURNS STRING
|
Returns the time of the last file access. |
baseName(
path STRING)
RETURNS STRING
|
Returns the last element of a path. |
chDir(
path STRING)
RETURNS INTEGER
|
Changes the current working directory. |
chOwn(
path STRING,
uid INTEGER,
gui INTEGER )
RETURNS INTEGER
|
Changes the UNIX owner and group of a file. |
chRwx(
path STRING,
mode INTEGER )
RETURNS INTEGER
|
Changes the UNIX permissions of a file. |
chVolume(
volume STRING)
RETURNS INTEGER
|
Changes the current working volume. |
copy(
fromPath STRING,
toPath STRING )
RETURNS INTEGER
|
Creates a new file by copying an existing file. |
delete(
path STRING)
RETURNS INTEGER
|
Deletes a file or a directory. |
describeLastError( ) RETURNS STRING
|
Returns a description of the last error thrown by an
os.Path method. |
dirClose(
dirHandle INTEGER)
|
Closes the directory referenced by the directory opened by
os.Path.diropen() . |
dirFMask(
mask INTEGER)
|
Defines a filter mask for
os.Path.dirOpen() . |
dirName(
path STRING)
RETURNS STRING
|
Returns all components of a path excluding the last one. |
dirNext(
dirHandle INTEGER)
RETURNS STRING
|
Reads the next entry in the directory opened with
os.Path.dirOpen() . |
dirOpen(
path STRING)
RETURNS INTEGER
|
Opens a directory and returns an integer handle to this directory. |
dirSort(
criteria STRING,
order INTEGER )
|
Defines the sort criteria and sort order for
os.Path.dirOpen() . |
executable(
path STRING)
RETURNS INTEGER
|
Checks if a file is executable. |
exists(
path STRING)
RETURNS INTEGER
|
Checks if a file exists. |
extension(
path STRING)
RETURNS STRING
|
Returns the file extension. |
fullPath(
path STRING)
RETURNS STRING
|
Returns the canonical equivalent of a path. |
gid(
path STRING)
RETURNS INTEGER
|
Returns the UNIX group id of a file. |
getAccessTime(
path STRING)
RETURNS DATETIME YEAR TO FRACTION(5)
|
Returns the last time the file was accessed. |
getModificationTime(
path STRING)
RETURNS DATETIME YEAR TO FRACTION(5)
|
Returns the last time the file was modified. |
glob( pattern STRING )
RETURNS DYNAMIC ARRAY OF STRING
|
Returns a list of files matching the specified
pattern. |
homeDir()
RETURNS STRING
|
Returns the path to the HOME directory of the current user. |
isDirectory(
path STRING)
RETURNS BOOLEAN
|
Checks if a file is a directory. |
isFile(
path STRING)
RETURNS BOOLEAN
|
Checks if a file is a regular file. |
isHidden(
path STRING)
RETURNS BOOLEAN
|
Checks if a file is hidden. |
isLink(
path STRING)
RETURNS BOOLEAN
|
Checks if a file is an UNIX
symbolic link. |
isRoot(
path STRING)
RETURNS BOOLEAN
|
Checks if a file path is a root path. |
isSameFile(
path1 STRING, path2 STRING )
RETURNS BOOLEAN
|
Checks if two file paths point to the same file. |
join(
begin STRING,
end STRING )
RETURNS STRING
|
Joins two path segments adding the platform-dependent separator. |
makeTempName()
RETURNS STRING
|
Generates a new file path to be used to create a temporary file or
directory. |
mkDir(
path STRING)
RETURNS INTEGER
|
Creates a new directory. |
mtime(
path STRING)
RETURNS STRING
|
Returns the time of the last file modification. |
pathSeparator()
RETURNS STRING
|
Returns the character used in environment
variables to separate path elements. |
pathType(
path STRING)
RETURNS STRING
|
Checks if a path is a relative path or an absolute path. |
pwd()
RETURNS STRING
|
Returns the current working directory. |
readable(
path STRING)
RETURNS INTEGER
|
Checks if a file is readable. |
rename(
oldPath STRING,
newPath STRING )
RETURNS INTEGER
|
Renames a file or a directory. |
rootDir()
RETURNS STRING
|
Returns the root directory of the current
working path. |
rootName(
path STRING)
RETURNS STRING
|
Returns the file path without the file extension of the
last element of the file path. |
rwx(
path STRING)
RETURNS INTEGER
|
Returns the UNIX file permissions of a file. |
separator()
RETURNS STRING
|
Returns the character used to separate
path segments. |
setAccessTime(
path STRING,
time DATETIME YEAR TO FRACTION(5)
)
|
Sets the access time of a file. |
setModificationTime(
path STRING,
time DATETIME YEAR TO FRACTION(5)
)
|
Sets the modification time of a file. |
size(
path STRING)
RETURNS BIGINT
|
Returns the size of a file. |
type(
path STRING)
RETURNS STRING
|
Returns the file type as a string. |
uid(
path STRING)
RETURNS INTEGER
|
Returns the UNIX user id of a file. |
volumes()
RETURNS STRING
|
Returns the available volumes. |
writable(
path STRING)
RETURNS INTEGER
|
Checks if a file is writable. |