<> <> <> <> <> <<>> DIRECTORY Rope, Vector2, ViewerClasses; GGViewerOps: CEDAR DEFINITIONS = BEGIN Point: TYPE = Vector2.VEC; Viewer: TYPE = ViewerClasses.Viewer; GetReal: PROC [textViewer: Viewer, default: REAL] RETURNS [r: REAL]; GetTwoReals: PROC [textViewer: Viewer] RETURNS [x, y: REAL]; GetPositiveReal: PROC [textViewer: Viewer, default: REAL] RETURNS [r: REAL]; SetReal: PROC [viewer: Viewer, real: REAL, format: Rope.ROPE _ NIL]; <> GetPoint: PROC [textViewer: Viewer] RETURNS [point: Point, success: BOOL]; SetPoint: PROC [viewer: Viewer, point: Point]; GetIconSize: PROC [] RETURNS [width, height: INT]; <<>> END.