Disk file manipulation.
make System.file(name, mode)
: Opens a file.stderr
: Standard error.stdin
: Standard input.stdout
: Standard output.close()
: Closes file and prevents further operations on this object.exists(path)
: Checks to see if there is a file at the given path.read(bytes)
: Read a stream of bytes into a string.readline()
: Read a single line of text into a string.seek(pos)
: Move current position in file.size(path)
: Returns the size of the file at the given path.tell()
: Return current position in file.write(string)
: Write string to file.