DIRECTORYGraphics USING[Context];Misc: CEDAR DEFINITIONS = BEGINMiscOneOf: TYPE = {empty, point, interval, rect};Window: TYPE = REF WindowRep;WindowRep: TYPE = RECORD[span: Interval, curtains: LIST OF Interval];WindCreate: PROC[min,  max: INT] RETURNS [Window];WindAddCurtain: PROC[w: Window, curtain: Interval];WindIsClosed: PROC[w: Window] RETURNS [BOOL];WindPassesIntl: PROC[w: Window, intl: Interval] RETURNS [BOOL];WindCurtainsCoverIntl: PROC[w: Window, intl: Interval] RETURNS [BOOL];Rect: TYPE = REF RectRep;RectRep: TYPE = RECORD[x, y: Interval];RectSubtractFailure: ERROR [r1, r2: Rect];RectCreate: PROC[xMin, yMin, xMax, yMax: INT] RETURNS[Rect];RectCopy: PROC [r: Rect] RETURNS [Rect];RectOneOf: PROC[r: Rect] RETURNS[MiscOneOf];RectIntersect: PROC[r1, r2: Rect] RETURNS[Rect];RectContainp: PROC[r1, r2: Rect] RETURNS[BOOL];RectContainPt: PROC[r: Rect, xCoord, yCoord: INT] RETURNS [BOOL];RectArea: PROC[r: Rect] RETURNS[NAT];RectMakeBRect: PROC[r1, r2: Rect] RETURNS[Rect];RectSubtract: PROC[r1, r2: Rect] RETURNS[Rect];RectPaint: PROC[r: Rect, context: Graphics.Context, xOffset, yOffset: REAL, scaleFactor: REAL _ 1.0, stipple: CARDINAL, noFill: BOOL _ FALSE];x: PROC[r: Rect] RETURNS [Misc.Interval]; y: PROC[r: Rect] RETURNS [Misc.Interval]; xMin: PROC[r: Rect] RETURNS[INT];yMin: PROC[r: Rect] RETURNS[INT];xMax: PROC[r: Rect] RETURNS[INT];yMax: PROC[r: Rect] RETURNS[INT]; Interval: TYPE = REF IntervalRep;IntervalRep: TYPE = RECORD[min, max: INT];IntlSubtractFailure: ERROR[i1, i2: Interval];IntlCreate: PROC[min, max: INT] RETURNS[Interval];IntlCopy: PROC[i: Interval] RETURNS[Interval];IntlOneOf: PROC[i: Interval] RETURNS[MiscOneOf];IntlMakeBIntl: PROC[i1, i2: Interval] RETURNS[Interval];IntlContainp: PROC[i1, i2: Interval] RETURNS[BOOL];IntlContainPt: PROC[i: Interval, p: INT] RETURNS[BOOL];IntlIntersect: PROC[i1, i2: Interval] RETURNS[Interval];IntlLength: PROC[i: Interval] RETURNS[NAT];IntlSubtract: PROC[i1, i2: Interval] RETURNS[Interval];min: PROC [i: Interval] RETURNS [INT];max: PROC[i: Interval] RETURNS [INT];END.   ^  -- File: Misc.mesa-- Last Edited by: CSChow, February 1, 1985 0:42:39 am PST--Intro: This interface was initially created to solve the problem of defining/constructing--	channels for a set of components (ie. mapping into topological domain.)--NB: All (unless stated otherwise) operations in this package return a copy of the object that is -- TOTALLY independent (doesn't share) of their inputs (objects.) This is costly but--	avoids a lot of possible obscure bugs from the confusion of objects sharing common subparts--This is the window abstraction--This is the rectangle abstractions:-- ! ERROR RectSubtractFailure if result is not a Rectangle ---- = {RETURN [IF r = NIL THEN NIL ELSE r.x]}-- = {RETURN [IF r = NIL THEN NIL ELSE r.y]};--This is the interval abstractions--! ERROR IntlSubtractFailure if the result is not an Interval-‌ت  ک Jڑœ™Jڑœ:™:Jک ڑدk	ک	Jڑœ	‌œ
کJک —ڑœ‌œ‌œ‌کJک Jڑœ‌œ"ک1—Jک J™[J™JJ™ J™cJ™TJ™^J™ J™ ™ Jڑœ‌œ‌œکJڑ	œ‌œ‌œ‌œ‌œکEJک Icodeڑدn
œ‌œ‌œ‌œ
ک2Kڑ‍œ‌œک3Kڑ‍œ‌œ‌œ‌œک-Kڑ‍œ‌œ‌œ‌œک?Kڑ‍œ‌œ‌œ‌œکFKک —J™ J™ J™ ڑœ%™%Jک Jڑœ‌œ‌œ	کJڑœ	‌œ‌œک'Jک Jک Jڑœ‌œک*Jڑ‍
œ‌œ‌œ‌œک<Kڑ‍œ‌œ‌œک(Jڑ‍	œ‌œ
‌œک,Jڑ‍œ‌œ‌œک0Jڑ‍œ‌œ‌œ‌œک/Kڑ
‍œ‌œ‌œ‌œ‌œکAJڑ‍œ‌œ
‌œ‌œک%Jڑ‍œ‌œ‌œک0Jڑ‍œ‌œ‌œک/Jڑœ>™>Jڑ‍	œ‌œ7‌œ‌œ‌œ
‌œ‌œکژڑœ‌œک*Jڑœ‌œ‌œ‌œ‌œ‌œ‌œ™,—ڑœ‌œک*Kڑœ‌œ‌œ‌œ‌œ‌œ‌œ™-—Jڑœ‌œ
‌œ‌œک!Jڑœ‌œ
‌œ‌œک!Jڑœ‌œ
‌œ‌œک!Jڑœ‌œ
‌œ‌œک"Kک Kک Jک —Jک Jک Jک ڑœ#™#Jڑœ
‌œ‌œک!Jڑœ‌œ‌œ‌œک*Jک Jڑœ‌œک-Jک Jڑ‍
œ‌œ‌œ‌œک2Jڑ‍œ‌œ‌œک.Jڑ‍	œ‌œ‌œک0Jڑ‍œ‌œ‌œک8Jڑ‍œ‌œ‌œ‌œک3Jڑ
‍œ‌œ‌œ‌œ‌œک7Kڑ‍œ‌œ‌œک8Kڑ‍
œ‌œ‌œ‌œک+Kڑ‍œ‌œ‌œک7Jڑœ
‍œ)™?Jک Jڑœ‌œ‌œ‌œک&Kڑœ‌œ‌œ‌œک%Kک Jک Jک Jڑ‌œک—— …—    F  ²  