DEFINITION MODULE RasterIO;

(*
    Title: 	buffering and output for RasterDev
    LastEdit:	"Tue Sep 17 11:55:24 1985"
    Author: 	pr
		Cambridge University Computer Laboratory
*)


FROM Vector IMPORT RBOX;
FROM Palette IMPORT INTENSITY;

EXPORT QUALIFIED 
    Width, Height, PixelsWide, PixelsHigh, NominalLineWidth,
    SelectColour, PlotBox, PrintPage;


VAR
    Width, Height: REAL;
    PixelsWide, PixelsHigh: INTEGER;
    NominalLineWidth: REAL;


PROCEDURE SelectColour (intensity: INTENSITY);

PROCEDURE PlotBox (box: RBOX);

PROCEDURE PrintPage;


END RasterIO.
