Expressions.mesa
Last Edited by: Arnon, June 10, 1985 4:19:22 pm PDT
DIRECTORY
Rope,
Basics,
IO,
MathExpr,
AlgebraClasses;
Expressions: CEDAR DEFINITIONS
= BEGIN OPEN AC: AlgebraClasses;
Types and Variables
EXPR: TYPE ~ MathExpr.EXPR;
MeddleExpr: TYPE = AC.Object;
MeddleExprData: TYPE = EXPR;
MeddleExprs: AC.Object; -- public structure
Structure Operations
PrintName: AC.PrintNameProc;
ShortPrintName: AC.PrintNameProc;
IsExprs: AC.UnaryPredicate;
Conversion and IO
Recast: AC.BinaryOp;
CanRecast: AC.BinaryPredicate;
ToExpr: AC.ToExprOp;
FromExpr: AC.FromExprOp;
LegalFirstChar: AC.LegalFirstCharOp;
Read: AC.ReadOp;
FromRope: AC.FromRopeOp;
ToRope: AC.ToRopeOp;
Write: AC.WriteOp;
Arithmetic
Zero: AC.NullaryOp;
One: AC.NullaryOp;
Add: AC.BinaryOp;
Negate: AC.UnaryOp;
Subtract: AC.BinaryOp;
Multiply: AC.BinaryOp;
Power: AC.BinaryOp;
Invert: AC.UnaryOp;
Comparison
Equal: AC.BinaryPredicate;
END.