<> <> <> <> DIRECTORY AIS USING [FRef], GriffinEncoding USING [EdgeEncoding], GriffinKernel USING [ClipBox, Data], GriffinObject USING [Object], GriffinPoint USING [ScrPt, ScrRealPt], GriffinStyle USING [StyleHandle], Imager USING [ConstantColor, Context, Transformation], ImagerColorOperator USING [ColorOperator], ImagerPixelArray USING [PixelArray], Rope USING [ROPE]; GriffinDisplay: CEDAR DEFINITIONS = BEGIN Data: TYPE = GriffinKernel.Data; ClipBox: TYPE = GriffinKernel.ClipBox; Context: TYPE = Imager.Context; EdgeEncoding: TYPE = GriffinEncoding.EdgeEncoding; ROPE: TYPE = Rope.ROPE; ScrPt: TYPE = GriffinPoint.ScrPt; ScrRealPt: TYPE = GriffinPoint.ScrRealPt; StyleHandle: TYPE = GriffinStyle.StyleHandle; TokenType: TYPE = {cp, open}; <> BkgndColor: TYPE = REF BkgndColorRec; BkgndColorRec: TYPE = RECORD [ constant: Imager.ConstantColor, -- NIL => use sampled color openFile: AIS.FRef _ NIL, op: ImagerColorOperator.ColorOperator _ NIL, pa: ImagerPixelArray.PixelArray _ NIL, scans: NAT _ 0, -- scanline count pixels: NAT _ 0, -- pixels per scanline scale: Imager.Transformation _ NIL ]; <<>> <> <> DrawArea: PROC [edge: EdgeEncoding, style: StyleHandle, clip: ClipBox, dc: Context]; DrawCaption: PROC [anchor: ScrRealPt, rope: ROPE, style: StyleHandle, clip: ClipBox, dc: Context]; DrawFastStroke: PROC [edge: EdgeEncoding, clip: ClipBox, dc: Context]; DrawStroke: PROC [edge: EdgeEncoding, style: StyleHandle, clip: ClipBox, dc: Context]; <> DrawHGrid: PROC [data: Data, hg: REF GriffinObject.Object[token], dc: Context]; DrawVGrid: PROC [data: Data, vg: REF GriffinObject.Object[token], dc: Context]; DrawFrame: PROC [data: Data, frame: REF GriffinObject.Object[token], dc: Context]; DrawSelection: PROC [pt: ScrPt, covered, clustered: BOOLEAN, clip: ClipBox, dc: Context]; DrawToken: PROC [pt: ScrPt, type: TokenType, clip: ClipBox, dc: Context]; <<>> ClearScreen: PROC [clip: ClipBox, bkgnd: BkgndColor, dc: Context]; IsCull: PROC [tl, br: ScrPt, clip: ClipBox, dc: Context] RETURNS [BOOLEAN]; BoxFill: PROC [tl, br: ScrPt, bkgnd: BkgndColor, clip: ClipBox, dc: Context]; InvertBox: PROC [tl, br: ScrPt, clip: ClipBox, dc: Context]; <> SetClipEdges: PROC [data: Data, tl, br: ScrPt]; ResetClipEdges: PROC [data: Data]; END.