[next][previous][up][top][index]
search for:
File -- the class of all files

Files may be input files, output files, pipes, or sockets. A list of currently open files may be obtained with openFiles.

The type File is a member of the class Type. Each object of class File is called a file.

Making a file :

  • File << Manipulator
  • File << Net
  • File << String
  • File << Symbol
  • File << Thing -- pirnt something to a file
  • String << Thing -- print to a file
  • openIn String
  • openInOut String
  • openListener String
  • openOut String
  • {...} << Manipulator

    • Methods for using a file :

  • Manipulator File
  • atEndOfFile File
  • echoOff File
  • echoOn File
  • expression File
  • get File
  • getc File
  • isInputFile File
  • isListener File
  • isOpenFile File
  • isOutputFile File
  • isReady File
  • kill File
  • net File
  • read File
  • width File

    • Fixed objects of class File :

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

    • [next][previous][up][top][index]
    search for: