Disk file manipulation.
make System.file(name, mode)
: Opens a file.name
: Name of file to open.mode
: File mode (r = read, w = write, a = append, + = open for opposite mode too)stderr
: Standard error.stdin
: Standard input.stdout
: Standard output.close()
: Closes file and prevents further operations on this object.read(bytes)
: Read a stream of bytes into a string.bytes
: Number of bytes to read.readline()
: Read a single line of text into a string.seek(pos)
: Move current position in file.pos
: Position in file to move to.tell()
: Return current position in file.write(string)
: Write string to file.string
: String to write.