1 FOREIGN
MODULE GPBinFiles
;
6 FILE
* = POINTER TO RECORD (GPFiles
.FILE
) END;
9 PROCEDURE length
*(f
: FILE
) : INTEGER;
11 PROCEDURE findLocal
*(IN fileName
: ARRAY OF CHAR) : FILE
;
13 PROCEDURE findOnPath
*(IN pathName
: ARRAY OF CHAR;
14 IN fileName
: ARRAY OF CHAR) : FILE
;
16 PROCEDURE getFullPathName
*(f
: FILE
) : GPFiles
.FileNameArray
;
18 PROCEDURE openFile
*(IN fileName
: ARRAY OF CHAR) : FILE
;
19 PROCEDURE openFileRO
*(IN fileName
: ARRAY OF CHAR) : FILE
;
21 PROCEDURE CloseFile
*(file
: FILE
);
23 PROCEDURE createFile
*(IN fileName
: ARRAY OF CHAR) : FILE
;
25 PROCEDURE createPath
*(IN pathName
: ARRAY OF CHAR) : FILE
;
27 PROCEDURE EOF
*(file
: FILE
) : BOOLEAN;
29 PROCEDURE readByte
*(file
: FILE
) : INTEGER;
31 PROCEDURE readNBytes
*(file
: FILE
; OUT buffPtr
: ARRAY OF UBYTE
;
32 requestedBytes
: INTEGER) : INTEGER;
34 PROCEDURE WriteByte
*(file
: FILE
; b
: INTEGER);
36 PROCEDURE WriteNBytes
*(file
: FILE
; IN buffPtr
: ARRAY OF UBYTE
;
37 requestedBytes
: INTEGER);