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.