DIRECTORY MathExpr USING [EXPR, AtomEXPR, CompoundEXPR, AtomClass, CompoundClass, MatrixClass], MathBox USING [BOX], MathTypes USING [Style], MathRules USING [Size], Rope USING [ROPE], Imager USING [Context, Color]; MathDisplayExpr: CEDAR DEFINITIONS ~ BEGIN ROPE: TYPE ~ Rope.ROPE; EXPR: TYPE ~ MathExpr.EXPR; AtomEXPR: TYPE ~ MathExpr.AtomEXPR; CompoundEXPR: TYPE ~ MathExpr.CompoundEXPR; BOX: TYPE ~ MathBox.BOX; Style: TYPE ~ MathTypes.Style; Size: TYPE ~ MathRules.Size; AtomClass: TYPE ~ MathExpr.AtomClass; CompoundClass: TYPE ~ MathExpr.CompoundClass; MatrixClass: TYPE ~ MathExpr.MatrixClass; DisplayExpr: TYPE ~ REF DisplayExprRep; -- external abstract type DisplayExprRep: TYPE; -- internal concrete rep Selection: TYPE ~ RECORD[expr: DisplayExpr, color: Imager.Color]; MakeAtomicDisplayExpr: PROC[tag: ATOM, class: AtomClass, value: ROPE, relBox, absBox: BOX, parent: DisplayExpr _ NIL] RETURNS[DisplayExpr]; MakeCompoundDisplayExpr: PROC[tag: ATOM, class: CompoundClass, subExprs: LIST OF DisplayExpr, relBox, absBox: BOX, parent: DisplayExpr _ NIL] RETURNS[DisplayExpr]; MakeMatrixDisplayExpr: PROC[tag: ATOM, class: MatrixClass, nRows, nCols: INT, elements: LIST OF DisplayExpr, relBox, absBox: BOX, openSym, closeSym, space: DisplayExpr, parent: DisplayExpr _ NIL] RETURNS[DisplayExpr]; ASRopeFromDisplayExpr: PROC[expr: DisplayExpr] RETURNS[ROPE]; DisplayExprFromExpr: PROC[expr: EXPR] RETURNS[DisplayExpr]; ExprFromDisplayExpr: PROC[expr: DisplayExpr] RETURNS[EXPR]; Copy: PROC[expr: DisplayExpr] RETURNS[DisplayExpr]; Tag: PROC[expr: DisplayExpr] RETURNS[ATOM]; Class: PROC[expr: DisplayExpr] RETURNS[ATOM]; GetSubExprs: PROC[expr: DisplayExpr] RETURNS[LIST OF DisplayExpr]; GetDisplayExpr: PROC[tag: ATOM, exprs: LIST OF DisplayExpr] RETURNS[DisplayExpr]; Paint: PROC[expr: DisplayExpr, context: Imager.Context, absBox: BOX, selections: LIST OF Selection]; Format: PROC[expr: DisplayExpr, size: Size] RETURNS[BOX]; DisplayExprFromCoords: PROC[expr: DisplayExpr, x, y: REAL] RETURNS[DisplayExpr]; Selectable: PROC[expr: DisplayExpr] RETURNS[BOOL]; SelectableParent: PROC[expr: DisplayExpr] RETURNS[DisplayExpr]; SelectableChild: PROC[expr: DisplayExpr] RETURNS[DisplayExpr]; SelectableSibling: PROC[expr: DisplayExpr] RETURNS[DisplayExpr]; Replace: PROC[expr, old, new: DisplayExpr] RETURNS[DisplayExpr]; ReplacePair: TYPE ~ RECORD[old, new: DisplayExpr]; ReplaceN: PROC[expr: DisplayExpr, replacements: LIST OF ReplacePair] RETURNS[DisplayExpr]; unable: ERROR[reason: ATOM]; noSelection: ERROR; END. jMathDisplayExpr.mesa Carl Waldspurger, August 23, 1986 2:35:40 pm PDT Definitions for Mathematics Display Expressions Abbreviations form Imported Interfaces Display Expression Type Definitions A DisplayExpr is a MUTABLE math expression which is mapped to a viewer. Selection Type Definitions Operations on DisplayExpr Display Expression Constructors effects: Constructs and returns a new atomic display expression. effects: Constructs and returns a new compound display expression. effects: Constructs and returns a new matrix display expression. effects: Returns a ROPE in Dennis Arnon's AlgebraStructures form from expr. effects: Constructs and returns a new display expression from expr. All Display formatting information is set to default values. effects: Constructs and returns a new EXPR from expr. effects: Returns a distinct copy of expr. Selectors effects: Returns tag associated with expr. effects: Returns class of expr. effects: Returns subexpressions for expr. Returns NIL if no subexpressions exist. effects: Returns the DisplayExpr in exprs associated with tag. SIGNALS exprNotFound if no association exists. Display & Formatting modifies: expr effects: Displays expr in context, bounded by absBox. Updates absolute bounding boxes (viewer coords). SIGNALS unable[reason: ATOM] if Painting cannot be completed. modifies: expr effects: expr is updated into a "paintable" form. Returns a bounding box for expr. SIGNALS unable[reason: ATOM] if Formatting can not be completed. Selection Operations effects: Returns the subexpression associated with coordinates [x, y] in expression expr. SIGNALS noSelection if no association exists. effects: Returns TRUE iff expr is selectable. effects: Returns the parent (enclosing expression) of expr. SIGNALS noSelection if no selectable parent exists. effects: Returns a child expressions (subexpression) for expr. SIGNALS noSelection if no selectable child exists. effects: Returns the "next" sibling expression from expr. SIGNALS noSelection if no selectable sibling exists. effects: Returns a copy of display expression expr with new substituted for old. caveats: Return value must be reformatted before Paint[]'ing. Note that new is used (not a copy). effects: Returns a copy of display expression expr with new substitured for old for each pair in replacements. caveats: Return value must be reformatted before Paint[]'ing. Note that the "new" components of replace pairs are used (not copies). Signals & Errors ÊT˜Jšœ™Jšœ0™0J˜JšÏn/™/J˜šÏk ˜ Jšœ žœžœA˜UJšœžœžœ˜Jšœ žœ ˜Jšœ žœ˜Jšœžœžœ˜Jšœžœ˜—J˜šœžœžœ˜$J˜Jšž˜J˜š&™&J˜Jšžœžœžœ˜Jšžœžœžœ˜Jšœ žœ˜#Jšœžœ˜+Jšžœžœžœ˜Jšœžœ˜Jšœžœ˜J˜Jšœžœ˜%Jšœžœ˜-Jšœ žœ˜)J˜—J˜š#™#J˜JšœG™GIcode˜Kšœ žœžœÏc˜BKšœžœŸ˜/—K˜š™K™Kšœžœžœ)˜AK˜—š™K˜Kš™K˜šœžœžœžœžœžœžœ˜ŒKšœA™AK˜—šœžœžœ"žœžœžœžœžœ˜£KšœC™C—K™šœžœžœ$žœžœžœžœ?žœžœ˜ÚKšœA™A—™K™—šœžœžœžœ˜=KšœL™L—K™šœžœžœžœ˜;KšœD™D—K™IK™šœžœžœžœ˜;Kšœ6™6—K˜šœžœžœ˜3Kšœ*™*K™—K™Kš ™ K™šœžœžœžœ˜+Kšœ+™+—K™šœžœžœžœ˜-Kšœ ™ —K™š œžœžœžœžœ˜BKšœ*™*Kšœ1™1—K™šœžœžœ žœžœžœ˜QKšœ>™>Kšœ7™7K˜K™—K™Kš™K™š œžœ5žœžœžœ˜eKšœ™Kšœ6™6Kšœ:™:KšœG™G—K™šœžœ žœžœ˜9Kšœ™Kšœ3™3Kšœ*™*KšœJ™J—K˜K™š™K™—šœžœžœžœ˜PKšœ\™\K™7—K™š œžœžœžœ˜2Kšœ-™-—K™šœžœžœ˜?Kšœ;™;Kšœ<™Kšœ?™?Kšœ<™™>—K™šœžœžœ˜@KšœR™RK™=Kšœ-™-—K™Kšœ žœžœ˜2š œžœ"žœžœžœ˜ZKšœ9™9KšœA™AK™=KšœP™P—™K™——š™K™Kšœžœ žœ˜Kšœ žœ˜K˜—Kšžœ˜K˜˜K˜J˜J˜———…— ø¶