File -- the class of all files

Functions and methods returning a file :

• File << Manipulator -- see File << Thing -- print to a file
• File << Symbol -- see File << Thing -- print to a file
• File << Thing -- print to a file
• Nothing << Thing -- see 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) -- open an input file
• openInOut(File) -- see openInOut -- open an input output file
• openInOut(String) -- see openInOut -- open an input output file
• openListener(String) -- open a port for listening
• openOut(String) -- open an output file
• openOutAppend(String) -- open an output file for appending

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
• File << Net -- see File << Thing -- print to a file
• File << String -- see File << Thing -- print to a file
• 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) -- whether a file is open for input
• isListener(File) -- whether a file is open for listening
• isOpen(File) -- see isOpen -- whether a file or database is open
• isOutputFile(File) -- whether a file is open for output
• isReady(File) -- whether a file has data available for reading
• kill(File) -- see kill -- kill a process
• Manipulator File -- see Manipulator -- the class of all file manipulators
• 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.