<> <> <> <> DIRECTORY GraphicsColor, ViewerClasses; SVViewerTools: DEFINITIONS = BEGIN Color: TYPE = GraphicsColor.Color; Viewer: TYPE = ViewerClasses.Viewer; GetReal: PROC [textViewer: Viewer, default: REAL] RETURNS [r: REAL]; GetBool: PROC [textViewer: Viewer] RETURNS [b: BOOL]; GetColor: PROC [textViewer: Viewer] RETURNS [color: Color, success: BOOL]; GetThreeReals: PROC [textViewer: Viewer] RETURNS [x, y, z: REAL]; GetNat: PROC [textViewer: Viewer] RETURNS [n: NAT]; SetReal: PROC [viewer: Viewer, real: REAL]; SetBool: PROC [viewer: Viewer, bool: BOOL]; SetColor: PROC [viewer: Viewer, color: Color]; SetThreeReals: PROC [viewer: Viewer, a, b, c: REAL]; END.