A File object can be obtained by calling OpenFile(). File objects should be closed with delete or Close(). Note that, "delete file" does not actually delete the file, it just closes the handle.
Close the file handle. This is the same as using CloseHandle() or delete.
Tests if the end of file has been reached.
Flushes a file's buffered output; any buffered output is immediately written to the file.
Reads binary data from a file.
Reads a single int16 (short) from a file. The value is sign-extended to an int32.
Reads a single int32 (int/cell) from a file.
Reads a single int8 (byte) from a file. The returned value is sign- extended to an int32.
Reads a line of text from a file.
Reads a UTF8 or ANSI string from a file.
Reads a single unt16 (unsigned short) from a file. The value is zero- extended to an int32.
Reads a single uint8 (unsigned byte) from a file. The returned value is zero-extended to an int32.
Sets the file position indicator.
Writes binary data to a file.
Writes a single int16 (short) to a file.
Writes a single int32 (int/cell) to a file.
Writes a single int8 (byte) to a file.
Writes a line of text to a text file. A newline is automatically appended.
Writes a binary string to a file.
Get the current position in the file; returns -1 on failure.