DIRECTORYMathExpr USING [EXPR],MathBox,MathDisplayExpr,ViewerClasses,Containers,Labels,AlgebraClasses,Rope USING [ROPE];ViewExpr: CEDAR DEFINITIONS ~ BEGINROPE: TYPE ~ Rope.ROPE;Viewer: TYPE ~ ViewerClasses.Viewer;EXPR: TYPE ~ MathExpr.EXPR;BOX: TYPE ~ MathBox.BOX;DisplayExpr: TYPE ~ MathDisplayExpr.DisplayExpr;CaminoItem: TYPE = REF CaminoItemRec;	-- a REF to the data for a particular instance of a Camino Item; multiple instances can be created.CaminoItemRec: TYPE = RECORD [	-- the data for a particular tool instanceouter: Containers.Container _ NIL,	-- the enclosing containerheight: CARDINAL _ 0,		-- height measured from the top of the containername: ROPE _ NIL,	-- Text Box for user inputnameViewer: ViewerClasses.Viewer _ NIL,	-- the Text Box for user inputscratchPadViewer: ViewerClasses.Viewer _ NIL,	-- Text Box for user inputobject: AlgebraClasses.Object _ NIL, -- should be what is currently displayed in exprViewerobjectDomainViewer: Labels.Label _ NIL,	-- result of user actionworkingDomain: AlgebraClasses.Object _ NIL,workingDomainViewer: Labels.Label _ NIL,	-- result of user actionexprViewer: ViewerClasses.Viewer];ExprViewerData: TYPE ~ REF ExprViewerDataRec;ExprViewerDataRec: TYPE ~ RECORD [parentItem: CaminoItem _ NIL, exprViewer: Viewer,  -- this viewer (redundant with parentItem; retained for backward compatibility)offsetX, offsetY: REAL,  -- offsets into imager context of expr lower left-hand cornerscale: REAL,  -- magnification factor (1.0 = default)displayExpr: DisplayExpr,  -- expressiondisplayBox: BOX,  -- bounding box for expressionphysicalBox: BOX,  -- physical mapping between expression and viewerlastDisplayExpr: DisplayExpr _ NIL -- last display expression (for undo, etc.)];Cad2DViewer: TYPE = ViewerClasses.Viewer;Cad2DViewerData: TYPE = REF Cad2DViewerDataRec;Cad2DViewerDataRec: TYPE = RECORD [x, y: REAL _ 0.0, -- origin for plotscale: REAL _ 100.0];CreateCaminoItem: PROC [name: ROPE, object: AlgebraClasses.Object _ NIL]  RETURNS [CaminoItem];GetContents: PROC[viewer: Viewer] RETURNS[ROPE];SetContents: PROC[viewer: Viewer, expr: EXPR];WriteHeader: PROC [exprRope: ROPE] RETURNS [ROPE];StripHeader: PROC [exprRope: ROPE] RETURNS [ROPE];END.  &  ViewExpr.mesaCarl Waldspurger, July 31, 1986 4:39:51 pm PDTType Abbreviations for Imported InterfacesTypesOperationseffects:  Creates a new instance of a CaminoReal item with banner name.          Expr viewer will contain math expression expr.  If expr = NIL, then          will contain an empty "placeholder".effects:  Returns the contents of viewer as a ROPE in           a format understood by the AlgebraStructures parser.modifies: viewereffects:  Changes the contents of math expression viewer viewer           to be expr.ÊO  ˜ šœ™Jšœ.™.—J˜ šÏk	˜	Jšœ	œœ˜Jšœ˜Jšœ˜Jšœ˜Jšœ˜Jšœ˜Jšœ˜Jšœœœ˜—J˜ JšÏnœœœ˜#headšž*™*Jšœœœ˜Jšœœ˜$Jšœœœ˜Icodešœœœ˜Lšœœ˜0—šž™IunitšœœœÏcÐckŸ[˜‰procšœœœŸ+˜IJšœœŸ˜=JšœœŸ0˜GJšœœœŸ˜,Jšœ#œŸ˜FJšœ)œŸ˜HJšœ œŸ6˜[Jšœ#œŸ˜@Jšœ'œ˜+Jšœ$œŸ˜AJšœ ˜ Jšœ˜—J˜ Lšœœœ˜-šœœœ˜"Lšœœ˜LšœŸO˜dLšœœŸ=˜VLšœœŸ'˜5LšœŸ˜(LšœœŸ˜0LšœœŸ1˜DLšœœŸ+˜NL˜L˜ —Jšœœ˜)Jšœœœ˜/šœœœ˜#JšœœŸ˜$Jšœœ˜Jšœ˜J˜ —J˜ —šž
™
š
žœœœ"œœ˜_LšœG™GL™ML™.L™ —šžœœœœ˜0Jšœ6™6Jšœ>™>J™ —šžœœœ˜.Jšœ™Jšœ@™@Jšœ™J™ —Lš
žœœœœœ˜2L˜ Lš
žœœœœœ˜2J™ J˜ Jšœ˜—J˜ — …—    Ð  E  