ASListStructure.mesa
Last Edited by: Arnon, May 3, 1986 3:53:47 pm PDT
Structure Constructor: Lists of elements of argument Structure.
DIRECTORY
Rope,
IO,
AlgebraClasses;
ASListStructure: CEDAR DEFINITIONS
~ BEGIN OPEN Rope, AC: AlgebraClasses;
Element Representation
List: TYPE = AlgebraClasses.Object;
Comment
ListData: TYPE = REF ListDataRec;
ListDataRec: TYPE = LIST OF AlgebraClasses.Object;
Structure Instance Data
NameStructureData: TYPE = REF NameStructureDataRec;
NameStructureDataRec: TYPE = RECORD [
data1: AlgebraClasses.Object, -- Comment
data2: AlgebraClasses.Object -- Comment
];
Structure Constructor
MakeNameStructure: AlgebraClasses.StructureConstructorProc;
Structure Operations
PrintName: AlgebraClasses.ToRopeOp;
ShortPrintName: AlgebraClasses.ToRopeOp;
IsNameStructure: AlgebraClasses.UnaryPredicate;
SelectorProc: AlgebraClasses.UnaryOp;
selector: data1
SelectorProc: AlgebraClasses.UnaryOp;
selector: data2
StructureData: AlgebraClasses.UnaryToListOp;
selector: returns LIST[definingSet, elementUniverse] of a Set Structure
Element Conversion and IO
Recast: AlgebraClasses.BinaryOp;
CanRecast: AlgebraClasses.BinaryPredicate;
ToExpr: AlgebraClasses.ToExprOp;
LegalFirstChar: AlgebraClasses.LegalFirstCharOp;
Read: AlgebraClasses.ReadOp;
FromRope: AlgebraClasses.FromRopeOp;
ToRope: AlgebraClasses.ToRopeOp;
Write: AlgebraClasses.WriteOp;
Element Constructor
ConstructorProc: AlgebraClasses.ListImbedOp;
Element Operations
BinaryOp: AlgebraClasses.BinaryOp;
UnaryOp: AlgebraClasses.UnaryOp;
END.