gm2-libs/SFIO
DEFINITION MODULE SFIO ;
FROM DynamicStrings IMPORT String ;
FROM FIO IMPORT File ;
EXPORT QUALIFIED OpenToRead, OpenToWrite, OpenForRandom, Exists, WriteS, ReadS ;
(*
Exists - returns TRUE if a file named, fname exists for reading.
*)
PROCEDURE Exists (fname: String) : BOOLEAN ;
(*
OpenToRead - attempts to open a file, fname, for reading and
it returns this file.
The success of this operation can be checked by
calling IsNoError.
*)
PROCEDURE OpenToRead (fname: String) : File ;
(*
OpenToWrite - attempts to open a file, fname, for write and
it returns this file.
The success of this operation can be checked by
calling IsNoError.
*)
PROCEDURE OpenToWrite (fname: String) : File ;
(*
OpenForRandom - attempts to open a file, fname, for random access
read or write and it returns this file.
The success of this operation can be checked by
calling IsNoError.
towrite, determines whether the file should be
opened for writing or reading.
if towrite is TRUE or whether the previous file should
be left alone, allowing this descriptor to seek
and modify an existing file.
*)
PROCEDURE OpenForRandom (fname: String; towrite, newfile: BOOLEAN) : File ;
(*
WriteS - writes a string, s, to, file. It returns the String, s.
*)
PROCEDURE WriteS (file: File; s: String) : String ;
(*
ReadS - reads a string, s, from, file. It returns the String, s.
It stops reading the string at the end of line or end of file.
It consumes the newline at the end of line but does not place
this into the returned string.
*)
PROCEDURE ReadS (file: File) : String ;
END SFIO.