DIRECTORYAtom USING [GetPName, MakeAtomFromRefText],IO USING [PutFR, int, real, rope, STREAM],IPInterpreter USING [Any, CheckInteger, Color, Get, Identifier, IdentifierRep, Integer, MasterError, MasterWarning, maxInteger, Number, NumberRep, Operator, Outline, PixelArray, RealFromInt, RealFromInteger, Shape, Trajectory, Transformation, TypeCode, Vector, VectorShape],Real USING [Fix, RealException],RefText USING [AppendChar, ObtainScratch, ReleaseScratch],Rope USING [Concat, Fetch, ROPE, Size, Substr];IPConvertImpl: CEDAR PROGRAMIMPORTS Atom, IO, IPInterpreter, Real, RefText, RopeEXPORTS IPInterpreter= BEGIN OPEN IPInterpreter;ROPE: TYPE ~ Rope.ROPE;STREAM: TYPE ~ IO.STREAM;WrongType: PROC[expectedType: TypeCode] ~ {rope: ROPE ~ RopeFromType[expectedType];MasterError[$wrongType, IO.PutFR["Value has wrong type (%g expected).", IO.rope[rope]]];};IntegerFromInt: PUBLIC PROC[x: INT] RETURNS[Integer] ~ {IF x IN[0..maxInteger] THEN RETURN[x];MasterError[$notInteger, IO.PutFR["%g is not an Integer.", IO.int[x]]];RETURN[0]; -- never actually returns};IntegerFromReal: PUBLIC PROC[x: REAL] RETURNS[Integer] ~ {Fix: PROC[r: REAL] RETURNS[INT] ~ { RETURN[Real.Fix[r]] };i: INT _ 0; ok: BOOL _ TRUE;i _ Fix[x ! Real.RealException => { ok _ FALSE; CONTINUE }];IF ok AND i=x AND i IN[0..maxInteger] THEN RETURN[i];MasterError[$notInteger, IO.PutFR["%g is not an Integer.", IO.real[x]]];RETURN[0]; -- never actually returns};NullWarning: PROC ~ {MasterWarning[$nullValue, "Used initial zero value."];};IntegerFromAny: PUBLIC PROC[x: Any] RETURNS[Integer] ~ {WITH x SELECT FROM x: Number => RETURN[IntegerFromReal[x.value]]; ENDCASE;IF x=NIL THEN NullWarning[] ELSE WrongType[$Number]; RETURN[0];};RealFromAny: PUBLIC PROC[x: Any] RETURNS[REAL] ~ {WITH x SELECT FROM x: Number => RETURN[x.value]; ENDCASE;IF x=NIL THEN NullWarning[] ELSE WrongType[$Number]; RETURN[0];};NumberFromInteger: PUBLIC PROC[i: Integer] RETURNS[Number] ~ {RETURN[NEW[NumberRep _ [value: RealFromInteger[CheckInteger[i]]]]];};NumberFromInt: PUBLIC PROC[i: INT] RETURNS[Number] ~ {RETURN[NEW[NumberRep _ [value: RealFromInt[i]]]];};NumberFromReal: PUBLIC PROC[r: REAL] RETURNS[Number] ~ {RETURN[NEW[NumberRep _ [value: r]]];};zero: Number ~ NumberFromInteger[0];NumberFromAny: PUBLIC PROC[x: Any] RETURNS[Number] ~ {WITH x SELECT FROM x: Number => RETURN[x]; ENDCASE;IF x=NIL THEN { NullWarning[]; RETURN[zero] };WrongType[$Number]; RETURN[NIL];};IdentifierFromAny: PUBLIC PROC[x: Any] RETURNS[Identifier] ~ {WITH x SELECT FROM x: Identifier => RETURN[x]; ENDCASE;WrongType[$Identifier]; RETURN[NIL];};VectorFromAny: PUBLIC PROC[x: Any] RETURNS[Vector] ~ {WITH x SELECT FROM x: Vector => RETURN[x]; ENDCASE;WrongType[$Vector]; RETURN[NIL];};OperatorFromAny: PUBLIC PROC[x: Any] RETURNS[Operator] ~ {WITH x SELECT FROM x: Operator => RETURN[x]; ENDCASE;WrongType[$Operator]; RETURN[NIL];};TransformationFromAny: PUBLIC PROC[x: Any] RETURNS[Transformation] ~ {WITH x SELECT FROM x: Transformation => RETURN[x]; ENDCASE;WrongType[$Transformation]; RETURN[NIL];};PixelArrayFromAny: PUBLIC PROC[x: Any] RETURNS[PixelArray] ~ {WITH x SELECT FROM x: PixelArray => RETURN[x]; ENDCASE;WrongType[$PixelArray]; RETURN[NIL];};ColorFromAny: PUBLIC PROC[x: Any] RETURNS[Color] ~ {WITH x SELECT FROM x: Color => RETURN[x]; ENDCASE;WrongType[$Color]; RETURN[NIL];};TrajectoryFromAny: PUBLIC PROC[x: Any] RETURNS[Trajectory] ~ {WITH x SELECT FROM x: Trajectory => RETURN[x]; ENDCASE;WrongType[$Trajectory]; RETURN[NIL];};OutlineFromAny: PUBLIC PROC[x: Any] RETURNS[Outline] ~ {WITH x SELECT FROM x: Outline => RETURN[x]; ENDCASE;WrongType[$Outline]; RETURN[NIL];};NonDefaultingROPE: TYPE ~ ROPE _;RopeFromTypeTable: TYPE ~ ARRAY TypeCode OF NonDefaultingROPE;ropeFromType: REF RopeFromTypeTable ~ NEW[RopeFromTypeTable _ [Null: "Null", Number: "Number", Identifier: "Identifier", Vector: "Vector", Operator: "Operator", Transformation: "Transformation", PixelArray: "PixelArray", Color: "Color", Trajectory: "Trajectory", Outline: "Outline", Other: "Other"]];RopeFromType: PUBLIC PROC[type: TypeCode] RETURNS[rope: ROPE] ~ {RETURN[ropeFromType[type]];};IllegalIdentifier: PROC[id: ROPE] ~ {MasterWarning[$illegalIdentifier,IO.PutFR["\"%g\" is an illegal Identifier.", IO.rope[id]]];};IdentifierTooLong: PROC[id: ROPE] ~ {MasterError[$limitExceeded,IO.PutFR["\"%g...\" is too long for an Identifier.", IO.rope[id.Substr[len: 20]]]];};IdentifierFromRope: PUBLIC PROC[rope: ROPE] RETURNS[id: Identifier] ~ {size: INT ~ rope.Size[];atom: ATOM _ NIL;IF size<=NAT.LAST THEN {len: NAT ~ size;scratch: REF TEXT ~ RefText.ObtainScratch[len];{ ENABLE UNWIND => RefText.ReleaseScratch[scratch];text: REF TEXT _ scratch;FOR i: NAT IN[0..len) DOchar: CHAR _ rope.Fetch[i];SELECT char FROMIN['a..'z] => NULL;IN['A..'Z] => char _ char+('a-'A); -- map upper case to lower caseIN['0..'9], '- => IF i=0 THEN IllegalIdentifier[rope];ENDCASE => IllegalIdentifier[rope];text _ RefText.AppendChar[text, char];ENDLOOP;atom _ Atom.MakeAtomFromRefText[text];};RefText.ReleaseScratch[scratch];}ELSE IdentifierTooLong[rope];RETURN[NEW[IdentifierRep _ [atom: atom]]];};RopeFromIdentifier: PUBLIC PROC[id: Identifier] RETURNS[rope: ROPE] ~ {RETURN[Atom.GetPName[id.atom]];};NameFromVector: PUBLIC PROC[v: Vector] RETURNS[rope: ROPE _ NIL] ~ {shape: VectorShape ~ Shape[v];FOR i: Integer IN[shape.l .. shape.l+shape.n) DOIF rope#NIL THEN rope _ rope.Concat["/"];rope _ rope.Concat[RopeFromIdentifier[IdentifierFromAny[Get[v, i]]]];ENDLOOP;};END.   ┬  IPConvertImpl.mesaCopyright c 1984 Xerox Corporation.  All rights reserved.Doug Wyatt, August 16, 1984 2:12:14 pm PDTWrap a procedure call around Real.Fix so we can catch RealExceptionЭ╩:  Ш ЪЬЩJЪЬ
╧mЬ.Щ9JЪЬ*Щ*ЧJШ Ъ╧k	Ш	JЪЬЮЬ!Ш+JЪЮЬЮЬЮЬШ*JЪЬЮЬ ШТJЪЬЮЬШ JЪЬЮЬ-Ш:JЪЬЮЬЮЬШ/JШ ЧJЪЬЮЬЮШJЪЮЬЮЬ$Ш4JЪЮЬШJЪЬЮЬЮЬШJШ JЪЮЬЮЬЮЬШJЪЮЬЮЬЮЬЮЬШJШ Ъ╧n	ЬЮЬШ+JЪЬЮЬШ(JЪЬЮЬ.ЮЬШXJШJШ ЧЪ
ЯЬЮЬЮЬЮЬЮЬШ8JЪЮЬЮЬЮЬЮЬШ&JЪЬЮЬ ЮЬ
ШGJЪЮЬ╧cШ$JШJШ ЧЪ
ЯЬЮЬЮЬЮЬЮЬШ:ЪЯЬЮЬЮЬЮЬЮЬЮЬШ:JЪЬCЩCЧJЪЬЮЬ
ЮЬЮЬШJЪЬ)ЮЬЮЬШ<JЪЮЬЮЬЮЬЮЬЮЬЮЬШ5JЪЬЮЬ ЮЬШHJЪЮЬаШ$JШJШ ЧЪЯЬЮЬШJЪЬ6Ш6JШJШ ЧЪЯЬЮЬЮЬ	ЮЬШ8JЪ
ЮЬЮЬЮЬЮЬЮЬШJJЪ
ЮЬЮЬЮЬЮЬЮЬШ?JШJШ ЧЪ
ЯЬЮЬЮЬ	ЮЬЮЬШ2JЪ
ЮЬЮЬЮЬЮЬЮЬШ9JЪ
ЮЬЮЬЮЬЮЬЮЬШ?JШJШ ЧЪЯЬЮЬЮЬЮЬШ>JЪЮЬЮЬ9ШCJШJШ ЧЪ
ЯЬЮЬЮЬЮЬЮЬШ6JЪЮЬЮЬ'Ш1JШJШ ЧЪ
ЯЬЮЬЮЬЮЬЮЬШ8JЪЮЬЮЬШ$JШJШ ЧJШ JЪЬ$Ш$JШ ЪЯЬЮЬЮЬ	ЮЬШ6JЪ
ЮЬЮЬЮЬЮЬЮЬШ3JЪЮЬЮЬЮЬЮЬ	Ш.JЪЬЮЬЮЬШ JШJШ ЧЪЯЬЮЬЮЬ	ЮЬШ>JЪ
ЮЬЮЬЮЬЮЬЮЬШ7JЪЬЮЬЮЬШ$JШJШ ЧЪЯЬЮЬЮЬ	ЮЬШ6JЪ
ЮЬЮЬЮЬЮЬЮЬШ3JЪЬЮЬЮЬШ JШJШ ЧЪЯЬЮЬЮЬ	ЮЬШ:JЪ
ЮЬЮЬЮЬЮЬЮЬШ5JЪЬЮЬЮЬШ"JШJШ ЧЪЯЬЮЬЮЬ	ЮЬШFJЪ
ЮЬЮЬЮЬЮЬЮЬШ;JЪЬЮЬЮЬШ(JШJШ ЧЪЯЬЮЬЮЬ	ЮЬШ>JЪ
ЮЬЮЬЮЬЮЬЮЬШ7JЪЬЮЬЮЬШ$JШJШ ЧЪЯЬЮЬЮЬ	ЮЬШ4JЪ
ЮЬЮЬЮЬЮЬЮЬШ2JЪЬЮЬЮЬШJШJШ ЧЪЯЬЮЬЮЬ	ЮЬШ>JЪ
ЮЬЮЬЮЬЮЬЮЬШ7JЪЬЮЬЮЬШ$JШJШ ЧЪЯЬЮЬЮЬ	ЮЬШ8JЪ
ЮЬЮЬЮЬЮЬЮЬШ4JЪЬЮЬЮЬШ!JШJШ ЧJШ JЪЬЮЬЮЬШ!JЪЬЮЬЮЬ
ЮЬШ>JЪЬЮЬЮЬГШмJШ Ъ
ЯЬЮЬЮЬЮЬЮЬШAJЪЮЬШJЪЬШJШ ЧЪЯЬЮЬЮЬШ%ЪЬ!Ш!JЪЮЬ+ЮЬШ;ЧJШJШ ЧЪЯЬЮЬЮЬШ%ЪЬШJЪЮЬ3ЮЬШSЧJШJШ ЧЪ
ЯЬЮЬЮЬЮЬЮЬШGJЪЬЮЬШJЪЬЮЬЮЬШЪЮЬЮЬЮЬЮЬШJЪЬЮЬШJЪЬ	ЮЬЮЬШ/ЪЬЮЬЮЬ$Ш3JЪЬЮЬЮЬШЪЮЬЮЬЮЬ	ЮШJЪЬЮЬШЪЮЬЮШJЪЮЬЮЬШJЪЮЬ!аШBJЪЮЬЮЬЮЬШ6JЪЮЬШ#ЧJШ&JЪЮЬШЧJШ&JШЧJЪЬ Ш JШЧJЪЮЬШJЪЮЬЮЬ Ш*JЪЬШJШ ЧЪ
ЯЬЮЬЮЬЮЬЮЬШGJЪЮЬШJЪЬШJШ ЧЪЯЬЮЬЮЬЮЬЮЬЮЬШDJШЪЮЬЮЬЮШ0JЪЮЬЮЬЮЬШ)JШEJЪЮЬШЧJЪЬШJШ ЧJЪЮЬШЧ ЕЧ        