DIRECTORY ViewerClasses USING [Viewer], MathDisplayExpr USING [DisplayExpr]; ViewExprOps: CEDAR DEFINITIONS ~ BEGIN Viewer: TYPE ~ ViewerClasses.Viewer; DisplayExpr: TYPE ~ MathDisplayExpr.DisplayExpr; PaintEnqueue: PROC[v: Viewer]; PaintDequeue: PUBLIC PROC[v: Viewer]; FlushPaintQueue: PROC[]; noSelection: ERROR; GetSelection: PROC[flavor: ATOM] RETURNS[Viewer, DisplayExpr]; Active: PROC[flavor: ATOM] RETURNS[BOOL]; Select: PROC[flavor: ATOM, viewer: Viewer, expr: DisplayExpr]; UnSelect: PROC[flavor: ATOM]; UnSelectViewer: PROC[v: Viewer]; END. VViewExprOps.mesa Carl Waldspurger, August 18, 1986 2:23:24 pm PDT Type Abbreviations From Imported Interfacs Paint "Queue" Operations modifies: paintQueue effects: If v is not already enqueued, adds v to paintQueue modifies: paintQueue effects: Removes v from paintQueue. modifies: paintQueue effects: Paints each viewer in paintQueue and resets paintQueue (NIL). Selection Operations effects: Returns the viewer and display expression associated with currently active selection of type flavor. SIGNALS noSelection if no such selection exists. effects: Returns TRUE if selection of type flavor is currently active. Otherwise returns FALSE. effects: Sets selection flavor to expr in viewer and repaints viewer. If a previous selection existed, its associated viewer is repainted. If expr is unselectable, primary selection is cleared (and viewer repainted). effects: UnSelects current selection of type flavor. Repaints associated viewer if selection was active. effects: UnSelects all selections associated with viewer v. Κ˜Jšœ™Jšœ0™0J™codešΟk ˜ Kšœœ ˜Kšœœ˜$—J˜šΟn œœ œ˜ J˜Jš˜J˜—headšž*™*Kšœœ˜$Kšœ œ˜0—šž™šž œœ ˜Kšœ™Kšœ<™KšœC™CKšœ5™5Kšœ9™9K™—š žœœ œœœ˜)KšœF™FKšœ!™!K™—šžœœ œ%˜>KšœF™FKšœN™NKšœW™WK™—šžœœ œ˜Kšœ4™4Kšœ<™