IPGeometry:
CEDAR
DEFINITIONS
= BEGIN OPEN IPImagerBasic;
MoveTo: PROC[p: Pair] RETURNS[Trajectory];
LineTo: PROC[t: Trajectory, p: Pair] RETURNS[Trajectory];
LineToX: PROC[t: Trajectory, x: REAL] RETURNS[Trajectory];
LineToY: PROC[t: Trajectory, y: REAL] RETURNS[Trajectory];
CurveTo: PROC[t: Trajectory, p1, p2, p3: Pair] RETURNS[Trajectory];
MakeOutline: PROC[n: INT, p: PROC RETURNS[Trajectory]] RETURNS[Outline];
MapTrajectory:
PROC[t: Trajectory, m: Transformation ←
NIL,
move: PROC[Pair], line: PROC[Pair], curve: PROC[Pair, Pair, Pair]];
MapOutline:
PROC[o: Outline, m: Transformation ←
NIL,
move: PROC[Pair], line: PROC[Pair], curve: PROC[Pair, Pair, Pair]];
END.