m-code-64/FileIO.def

DEFINITION MODULE FileIO ;

(* Whole-file read/write for the MC64 machine.  Raw binary access. *)

EXPORT QUALIFIED ReadFile, WriteFile ;

PROCEDURE ReadFile (name: ARRAY OF CHAR; VAR data: ARRAY OF CHAR;
                    VAR got: CARDINAL) : BOOLEAN ;
PROCEDURE WriteFile (name: ARRAY OF CHAR; VAR data: ARRAY OF CHAR;
                     n: CARDINAL) : BOOLEAN ;

END FileIO.