MathObjectsImpl.mesa
Copyright © 1989 by Xerox Corporation. All rights reserved.
Arnon, August 28, 1989 1:42:36 pm PDT
DIRECTORY
SafeStorage,
IO,
Atom,
Rope,
Basics,
Imager,
MathExpr,
MathObjects;
MathObjectsImpl:
CEDAR
PROGRAM
IMPORTS Rope
EXPORTS MathObjects
Types From Other Interfaces
ROPE: TYPE = Rope.ROPE;
STREAM: TYPE = IO.STREAM;
Private Type Rep
ObjectRep:
TYPE =
RECORD [
class: Object ← NIL,
data: REF ← NIL
];
We expect that .class of an "Element" is a Domain or View, .class of a Domain or View is a Category, and .class of a Category = NIL.
Object:
TYPE ~
REF ObjectRep;
-- inside impl module, use rep
END.