![[next]](next.gif)
![[previous]](previous.gif)
![[up]](up.gif)
![[top]](top.gif)
File -- the class of all files
The type File is a member of the class Type.
Each object of class File is called a file.
Files may be input files, output files, pipes, or sockets.
A list of currently open files may be obtained with openFiles.
Functions and methods returning a a file :
Methods for using a file :
Fixed objects of class File :
![[next]](next.gif)
![[previous]](previous.gif)
![[up]](up.gif)
![[top]](top.gif)