(*
    Title: 	StringF - Definitions
    LastEdit:	"Mon Sep 10 09:35:15 1984"
    Author: 	pr/mjj
		Cambridge University Computer Laboratory

    An interface which gives WriteF procedures to ARRAY OF CHAR
    destination.
*)

DEFINITION MODULE StringF;

FROM SYSTEM IMPORT WORD;


EXPORT QUALIFIED
    StringF0, StringF1, StringF2, StringF3, StringF4;

PROCEDURE StringF0(VAR buffer: ARRAY OF CHAR; format: ARRAY OF CHAR); 

PROCEDURE StringF1(VAR buffer: ARRAY OF CHAR; format: ARRAY OF CHAR; 
        x1: WORD);

PROCEDURE StringF2(VAR buffer: ARRAY OF CHAR; format: ARRAY OF CHAR; 
        x1, x2: WORD);

PROCEDURE StringF3(VAR buffer: ARRAY OF CHAR; format: ARRAY OF CHAR; 
        x1, x2, x3: WORD);

PROCEDURE StringF4 (VAR buffer: ARRAY OF CHAR; format: ARRAY OF CHAR; 
        x1, x2, x3, x4: WORD);


END StringF.
