const proc: copyFile (inout file: source, inout file: dest)

Copy a file from source to destination. The source file is copied to dest until end-of-file is reached.

const func integer: copyFile (inout file: source, inout file: dest, in integer: numChars)

Copy at most numChars bytes from source to dest. The source file is copied to dest until 'numChars bytes are copied or end-of-file is reached.

Returns:

the number of bytes copied (which is less or equal numChars).

const proc: insertArea (inout file: aFile, in integer: insertPos, in integer: numChars)

Insert an area of numChars chars beginning at insertPos into aFile.

Raises:

RANGE_ERROR - If insertPos is negative or zero, or if numChars is negative.

const proc: deleteArea (inout file: aFile, in integer: deletePos, in integer: numChars)

Delete an area of numChars chars beginning at deletePos from aFile.

Raises:

RANGE_ERROR - If deletePos is negative or zero, or if numChars is negative.