# 8. File class ## Introduction It allows easy manipulation of files using the File class. ## Constructor
File file: string mode: string Create an object of type File for the specified file. If mode is “r”, the file will be opened in read mode. If mode is “w”, the file will be opened in write mode. If the mode is “a”, the file will be open in append mode.
## Methods
read byte int (1000) returns string Reads at most the specified number of bytes. When no numer is specified, 1000 bytes will be read at most.
readLine returns string Reads untill end of line.
write text: string Writes the specified text.
WriteLine text: string Writes text with and end of line.
close Closes the file.
flush Flush all buffers to disk.
eof returns boolean Returns true if the end of file has been reached.
## (static) methods and attributes Additionally, the File object has the following (static) methods and attributes:
mkdir directory: string Creates the specified directory.
stdin File Attribute that contains a File object associated with standard input.
stdout File Attribute that contains a File object associated with standard output.
stderr File Attribute that contains a File object associated with the standard error output.
copy source: string target: string Copy selected file. This method is not able to copy directories.
delete file: string Deletes a file or directory.
move source: string target: string Moves (or renames) a file or directory.
isDirectory f: string returns boolean Returns true if the specified file is a directory.
canRead f: string returns boolean Returns true if the file can be read.
canWrite f: string returns boolean Returns true if the file can be written.
getParent f: string returns string Returns the parent directory of a file.