<> <> <> <> <> <<>> DIRECTORY GGBasicTypes, ViewerClasses; GGViewerOps: CEDAR DEFINITIONS = BEGIN Point: TYPE = GGBasicTypes.Point; Viewer: TYPE = ViewerClasses.Viewer; GetReal: PROC [textViewer: Viewer, default: REAL] RETURNS [r: REAL]; GetPositiveReal: PROC [textViewer: Viewer, default: REAL] RETURNS [r: REAL]; SetReal: PROC [viewer: Viewer, real: REAL]; GetPoint: PROC [textViewer: Viewer] RETURNS [point: Point, success: BOOL]; SetPoint: PROC [viewer: Viewer, point: Point]; <<>> END.