<> <> <> <> DIRECTORY CD, CoreGeometry, Rope; OnionCoreArc: CEDAR DEFINITIONS = BEGIN ROPE: TYPE = Rope.ROPE; Side: TYPE = CoreGeometry.Side; Arc: TYPE = REF ArcRec; ArcRec: TYPE = RECORD [ rect: CD.Rect, -- this is the bounding rect of all components. The arc, whatever its thickness, is included inside this bbox. segs: LIST OF Seg -- the ring segments, non sorted ]; Seg: TYPE = REF SegRec; SegRec: TYPE = RECORD [point1, point2: INT, side1, side2: Side]; -- always rotating in the direct direction (counterClockWise). By convention, point1 is included but point2 is not. EmptyArc: PROC [rect: CD.Rect] RETURNS [arc: Arc]; Length: PROC [arc: Arc] RETURNS [length: INT _ 0]; ConnectSegBitToArc: PROC [min, max: INT, side: Side, arc: Arc] RETURNS [connection: Arc]; <<>> <> NotOverlapping: PROC [arc1, arc2: Arc, minDist: INT] RETURNS [notOverlapping: BOOL _ TRUE]; <<>> <> <> Union: PROC [arc1, arc2: Arc] RETURNS [union: Arc]; EachSegBitProc: TYPE = PROC [min, max: INT, side: Side]; EnumerateSegBits: PROC [arc: Arc, eachSegBit: EachSegBitProc]; END.