13.7 The fileHandle type
The close() method closes a file handle.
The dump() method stores a typeable ASCII representation of the object to a file. Note that this method has no checking for recursive hierarchical data structures.
The eof() method returns a boolean flag to indicate whether the end of a file has been reached.
The flush() method flushes any buffered data which has not yet physically been written to a file.
The getPos() method returns a file handle’s current position in a file.
The isOpen() method returns a boolean flag indicating whether a file is open.
The read() method returns the contents of a file as a string.
The readline() method returns a single line of a file as a string.
The readlines() method returns the lines of a file as a list of strings.
The setPos() method sets a file handle’s current position in a file.
The write() method writes the string to a file.