<> <> <> <> <> DIRECTORY Imager, Pipal, PipalInt, PipalReal; PipalPaint: CEDAR DEFINITIONS IMPORTS Imager = BEGIN <> <> <> paintMethod: Pipal.Method; PaintProc: TYPE = PROC [object: Pipal.Object, context: Imager.Context]; Paint: PaintProc; <> <> <> <> <<>> paintMethodProp: ATOM; CreatePaintMethodAnnotation: PROC [child: Pipal.Object, paint: PaintProc] RETURNS [annotation: Pipal.Annotation]; <> <> <<>> Color: TYPE = Imager.Color; <> <> <<>> Area: TYPE = Pipal.Object; enumerateAreaMethod: Pipal.Method; EnumerateAreaProc: TYPE = PROC [area: Area, each: PipalReal.RectangleProc, transformation: PipalReal.Transformation] RETURNS [quit: BOOL _ FALSE]; <> EnumerateArea: EnumerateAreaProc; <> <> <<>> emptyArea: READONLY Area; -- corresponds to PipalReal.emptyRectangle fullArea: READONLY Area; -- corresponds to PipalReal.fullRectangle IsEmptyArea: PROC [area: Area] RETURNS [BOOL]; <> <> <<>> AreaToRope: PROC [area: Area] RETURNS [Pipal.ROPE]; <> <<>> CreateExplicitArea: PROC [rectangle: PipalReal.Rectangle] RETURNS [area: Area]; <> <<>> IntersectArea: PROC [area1, area2: Area] RETURNS [area: Area]; <> <> <<>> SubArea: PROC [area1, area2: Area] RETURNS [area: Area]; <> <> <<>> AreaOption: TYPE = {bboxChild, edgesChild, edgesChildren}; ChildArea: PROC [child: Pipal.Object, option: AreaOption] RETURNS [area: Area]; <> < the BBox of child.>> < the 4 rectangles corresponding to the 4 edges of the BBox of child.>> < 4 rectangles for each rectangle of the area of child.>> <<>> CreatePaintAreaOutline: PROC [area: Area] RETURNS [annotation: Pipal.Annotation]; <> <> RequestType: TYPE = {none, clearArea, paintArea, clearAndPaint, scale, other}; RequestFunction: TYPE = PROC [REF]; Request: TYPE = RECORD [ type: RequestType, area: Area _ NIL, data: REF _ NIL ]; <> < used internally. >> < area is the area to be cleared. >> < area is the area to be painted. The object to be painted is in data. Sequentiality of paintArea requests is guaranteed.>> < short cut for clearArea followed by paintArea.>> < change of context. New context transformation is data. All previous paintArea requests are discarded. Usually foolowed by a clear and repaint of the whole viewer. When dequeued, the effect is usually to change the viewer context.>> < other request, undisturbed by any optimization, and sequential. Fileds data and area might be used.>> <<>> Queue: TYPE = PRIVATE REF QueueRec; QueueRec: PRIVATE TYPE = MONITORED RECORD [ start: NAT, -- first request to be unqueued size: NAT, -- number of requests to be unqueued requests: REF Requests -- grows as queue fills ]; Requests: PRIVATE TYPE = RECORD [SEQUENCE max: NAT OF Request]; <> RequestToRope: PROC [request: Request] RETURNS [Pipal.ROPE]; <> <<>> CreateQueue: PROC RETURNS [queue: Queue]; IsQueueEmpty: PROC [queue: Queue] RETURNS [BOOL]; < just a hint).>> <<>> Enqueue: PROC [queue: Queue, request: Request, reverse: BOOL _ FALSE]; <> <> <> <> <> <> <> <<>> Dequeue: PROC [queue: Queue] RETURNS [empty: BOOL, request: Request]; <> <> <> <> <<>> ClearArea: PROC [context: Imager.Context, area: Area]; <> <<>> ClipAndPaint: PROC [context: Imager.Context, object: Pipal.Object, clipArea: Area]; <> <<>> ClearClipAndPaint: PROC [context: Imager.Context, object: Pipal.Object, clipArea: Area]; <> <<>> PaintOutline: PROC [context: Imager.Context, r: PipalReal.Rectangle, color: Color _ Imager.black]; <> <<>> PaintAreaOutline: PROC [context: Imager.Context, area: Area, color: Color _ Imager.black]; <> <<>> PaintArea: PROC [context: Imager.Context, area: Area, color: Color _ Imager.black]; <> <<>> PaintText: PROC [context: Imager.Context, contents: Pipal.ROPE, font: Imager.Font, color: Color _ Imager.black]; <> <<>> PaintFlippedText: PROC [context: Imager.Context, contents: Pipal.ROPE, font: Imager.Font, bbox: PipalInt.Rectangle, color: Color _ Imager.black]; <> <<>> invertingBlack: Imager.Color; invertingLightGray: Imager.Color; invertingDarkGray: Imager.Color; GetBounds: PROC [context: Imager.Context] RETURNS [bounds: PipalReal.Rectangle]; <> <<>> SetColor: PROC [context: Imager.Context, color: Color]; <> <<>> END.