File-handling Functions

Ø  directory()

List the file name(s) satisfying a wildcard path

Ø  f.date()

Return the time and date of a file last modified

Ø  f.exists()

Check if a file exists

Ø  f.export()

Write a sequence/record sequence/table sequence into a file

Ø  f.name()

Return a file’s path relative to the main directory

Ø  f.import()

Read the contents of a file and return them as a table sequence

Ø  f.property()

Read the property value from the property file

Ø  f.read()

Read contents of a file and return them as strings

Ø  f.size()

Return the length of a file

Ø  f.write()

Write a string or a string sequence into a file

Ø  file()

Open a file with the specified name

Ø  filename()

Split up a full path to get the file name and extension

Ø  movefile()

Copy, move, delete or rename a file across partitions