File

File -- the class of all files.

Files may be input files, output files, pipes, or sockets. The class of all files is File.

Some standard files, already open:

  • stdin -- standard input file
  • stdout -- standard output file
  • stderr -- standard error output file

    • Ways to create new files:

  • openIn -- open an input file
  • openOut -- open an output file

    • Input operations:

  • getc -- get one character from a file
  • get -- get contents of a file
  • read -- get some bytes from a file

    • Further processing for data obtained from a file:

  • lines -- split a string into lines

    • Output operations:

  • << -- print to file
  • endl -- end a line
  • flush -- flush a file
  • netscape -- call netscape to display an expression
  • printString -- print a generalized string
  • print -- print an expression on a line
  • TeX -- call TeX to display an expression

    • Preparing expressions for output:

  • columnate
  • expression
  • null -- a symbol which doesn't print
  • name
  • pad
  • format
  • tex
  • string

    • Destroying files:

  • close -- close a file

    • Information about files

  • width -- width of a terminal
  • openFiles-- list open files

    • Go to main index.

    Go to concepts index.