DIRECTORY Rope, Basics, IO, AlgebraClasses; ASExprs: CEDAR DEFINITIONS = BEGIN ASExpr: TYPE = AlgebraClasses.Object; ASExprData: TYPE ~ REF ASExprDataRep; -- external abstract type ASExprDataRep: TYPE; -- internal concrete rep ASExprClass: AlgebraClasses.Object; -- public Object so that additional methods can be added later ASExprs: AlgebraClasses.Object; -- public structure PrintName: AlgebraClasses.PrintNameProc; ShortPrintName: AlgebraClasses.PrintNameProc; IsExprs: AlgebraClasses.UnaryPredicate; Recast: AlgebraClasses.BinaryOp; CanRecast: AlgebraClasses.BinaryPredicate; ToEXPR: AlgebraClasses.ToEXPROp; FromEXPR: AlgebraClasses.FromEXPROp; LegalFirstChar: AlgebraClasses.LegalFirstCharOp; Read: AlgebraClasses.ReadOp; FromRope: AlgebraClasses.FromRopeOp; ToRope: AlgebraClasses.ToRopeOp; Write: AlgebraClasses.WriteOp; Zero: AlgebraClasses.NullaryOp; One: AlgebraClasses.NullaryOp; Add: AlgebraClasses.BinaryOp; Negate: AlgebraClasses.UnaryOp; Subtract: AlgebraClasses.BinaryOp; Multiply: AlgebraClasses.BinaryOp; Power: AlgebraClasses.BinaryOp; Invert: AlgebraClasses.UnaryOp; Equal: AlgebraClasses.BinaryPredicate; END. ¦ASExprs.mesa Last Edited by: Arnon, June 10, 1985 4:19:22 pm PDT Types and VariablealgebraClasses Structure Operations Conversion and IO Arithmetic Comparison Κ˜Jšœ ™ J™3J˜šΟk ˜ Jšœ˜J˜Jšœ˜Jšœ˜—J˜Ihead2šœ œ ˜Jšœ˜J˜headšΟn ™ Jšœœ˜%J˜Icodešœ œœΟc˜@šœœŸ˜.M˜—J˜Jšž œŸ>˜bJ˜JšžœŸ˜3—šž™šž œ˜(J˜—šžœ˜-J˜—Jšžœ ˜'—šœ™šžœ˜ J˜—šž œ!˜*J˜—šžœ˜ J˜—šžœ˜$J˜—šžœ"˜0J˜—šžœ˜J˜—šžœ˜$J˜—šžœ˜ J˜—Jšžœ˜—šž ™ šžœ˜J˜—šžœ˜J˜—šžœ˜J˜—šžœ˜J˜—šžœ˜"J˜—Jšžœ˜"J˜šžœ˜J˜—Jšžœ˜—šœ ™ Jšžœ!˜&J˜—J™J˜Jšœ˜J˜—…—Œ2