File -- the class of all files

Functions and methods returning a file :

• File << Manipulator, see File << Thing -- print to a file
• File << Thing -- print to a file
• String << Thing, see File << Thing -- print to a file
• NetFile << Manipulator, see NetFile -- the class of all net files
• openIn(String), see openIn -- open an input file
• openInOut(String), see openInOut -- open an input output file
• openListener(String), see openListener -- open a port for listening
• openOut(String), see openOut -- open an output file

Methods that use a file :

• atEndOfFile(File) -- test for end of file
• echoOff(File), see echoOff -- turn off echoing
• echoOn(File), see echoOn -- turn on echoing
• fileMode(File) -- get file mode
• fileMode(ZZ,File) -- set file mode
• get(File), see get -- get the contents of a file
• getc(File), see getc -- get a byte
• height(File) -- get window height
• isInputFile(File), see isInputFile -- whether a file is open for input
• isListener(File), see isListener -- whether a file is open for listening
• isOpen(File), see isOpen -- whether a file or database is open
• isOutputFile(File), see isOpen -- whether a file or database is open
• isReady(File) -- whether a file has data available for reading
• kill(File), see kill -- kill a process
• Manipulator File -- missing documentation
• read(File) -- read from a file
• read(File,ZZ) -- read from a file
• width(File) -- get window width

Fixed objects of class File :

• stderr -- the standard error output file
• stdio -- the standard input output file

For the programmer

The object File is a type, with ancestor class Thing.