FileReader (interface)

The FileReader interface is used to implement a general object providing file input stream capabilities. For an example implementation of this see the TextReader and BinaryReader objects.

参考

FileWriter

FileReader FileReader FileReader BinaryReader BinaryReader BinaryReader->FileReader TextReader TextReader TextReader->FileReader

Functions

Boolean close ! ()
Boolean eof ? ()
Boolean isOpen ? ()
Boolean open ! ( in String filePath )
UInt64 pos ? ()
  seek ! ( in UInt64 pos )
UInt64 size ? ()

Functions in detail

Boolean FileReader.close! ()

closes an open file

Boolean FileReader.eof? ()

returns true if the reader is at the end of the file

Boolean FileReader.isOpen? ()

returns true if this reader has a valid file open

Boolean FileReader.open! ( in String filePath )

opens a file (eventually closes the previous one)

UInt64 FileReader.pos? ()

tells the position of the stream

FileReader.seek! ( in UInt64 pos )

sets the position of the stream

UInt64 FileReader.size? ()

returns the size of the file being read