MathDB.mesa
Carl Waldspurger, July 30, 1986 11:15:56 am PDT
Definitions for Math "DataBase" Operations
DIRECTORY
MathExpr USING [AtomClass, CompoundClass];
MathDB: CEDAR DEFINITIONS ~
BEGIN
Abbreviations from Imported Interfaces
AtomClass: TYPE ~ MathExpr.AtomClass;
CompoundClass: TYPE ~ MathExpr.CompoundClass;
DB Indexes
AtomClassNames: READONLY LIST OF ATOM;
CompoundClassNames: READONLY LIST OF ATOM;
Class "DataBase" Operations
ResetAtomClasses: PROC[];
effects: Resets (i.e. destroys) the global AtomClass DataBase
ResetCompoundClasses: PROC[];
effects: Resets (i.e. destroys) the global CompoundClass DataBase
InstallAtomClass: PROC[class: AtomClass];
effects: Installs class in global AtomClass DataBase
InstallCompoundClass: PROC[class: CompoundClass];
effects: Installs class in global CompoundClass DataBase
LookupAtomClass: PROC[name: ATOM] RETURNS[AtomClass];
effects: Returns the AtomClass object associated with name.
SIGNALS notFound if no association exists
LookupCompoundClass: PROC[name: ATOM] RETURNS[CompoundClass];
effects: Returns the CompoundClass object associated with name.
SIGNALS notFound if no association exists
Signals & Errors
notFound: ERROR;
END.