MODULE GPBinFiles; IMPORT RTS, GPFiles; TYPE FILE* = POINTER TO RECORD (GPFiles.FILE) END; PROCEDURE EOF*(file : FILE) : BOOLEAN; PROCEDURE WriteByte*(file : FILE; b : INTEGER); PROCEDURE getFullPathName*(f : FILE) : GPFiles.FileNameArray; PROCEDURE readNBytes*( file : FILE; OUT buffPtr : ARRAY OF UBYTE; requestedBytes : INTEGER) : INTEGER; PROCEDURE readByte*(file : FILE) : INTEGER; PROCEDURE openFile*(IN fileName : ARRAY OF CHAR) : FILE; PROCEDURE findLocal*(IN fileName : ARRAY OF CHAR) : FILE; PROCEDURE CloseFile*(file : FILE); PROCEDURE WriteNBytes*( file : FILE; IN buffPtr : ARRAY OF UBYTE; requestedBytes : INTEGER); PROCEDURE openFileRO*(IN fileName : ARRAY OF CHAR) : FILE; PROCEDURE length*(f : FILE) : INTEGER; PROCEDURE findOnPath*(IN pathName : ARRAY OF CHAR; IN fileName : ARRAY OF CHAR) : FILE; PROCEDURE createFile*(IN fileName : ARRAY OF CHAR) : FILE; PROCEDURE createPath*(IN pathName : ARRAY OF CHAR) : FILE; END GPBinFiles.