Ints.mesa
Last Edited by: Arnon, June 10, 1985 4:19:22 pm PDT
DIRECTORY
Rope,
Basics,
IO,
AlgebraClasses;
Ints: CEDAR DEFINITIONS
= BEGIN OPEN AC: AlgebraClasses;
Types and Variables
Int: TYPE = AC.Object;
IntData: TYPE = REF INT;
Ints: AC.Object; -- public structure
Structure Operations
PrintName: AC.ToRopeOp;
ShortPrintName: AC.ToRopeOp;
Characteristic: AC.StructureRankOp;
I/O and Conversion
Recast: AC.BinaryOp;
CanRecast: AC.BinaryPredicate;
LegalFirstChar: AC.LegalFirstCharOp;
Read: AC.ReadOp;
FromRope: AC.FromRopeOp;
ToRope: AC.ToRopeOp;
Write: AC.WriteOp;
ToExpr: AC.ToExprOp;
FromINT: AC.FromINTOp;
ToINT: PROC [int: Int] RETURNS [INT];
Arithmetic
Zero: AC.NullaryOp;
One: AC.NullaryOp;
Add: AC.BinaryOp;
Negate: AC.UnaryOp;
Subtract: AC.BinaryOp;
Multiply: AC.BinaryOp;
Power: AC.BinaryOp;
Remainder: AC.BinaryOp;
Gcd: AC.BinaryOp;
Paren: AC.UnaryOp;
NoOp; filter for Eval
Comparison
Equal: AC.BinaryPredicate;
Sign: AC.CompareToZeroOp;
Abs: AC.UnaryOp;
Compare: AC.BinaryCompareOp;
END.