DIRECTORY MathExpr USING [AtomClass, CompoundClass, MatrixClass]; MathDB: CEDAR DEFINITIONS ~ BEGIN AtomClass: TYPE ~ MathExpr.AtomClass; CompoundClass: TYPE ~ MathExpr.CompoundClass; MatrixClass: TYPE ~ MathExpr.MatrixClass; AtomClassNames: READONLY LIST OF ATOM; CompoundClassNames: READONLY LIST OF ATOM; MatrixClassNames: READONLY LIST OF ATOM; ResetAtomClasses: PROC[]; ResetCompoundClasses: PROC[]; ResetMatrixClasses: PROC[]; InstallAtomClass: PROC[class: AtomClass]; InstallCompoundClass: PROC[class: CompoundClass]; InstallMatrixClass: PROC[class: MatrixClass]; LookupAtomClass: PROC[name: ATOM] RETURNS[AtomClass]; LookupCompoundClass: PROC[name: ATOM] RETURNS[CompoundClass]; LookupMatrixClass: PROC[name: ATOM] RETURNS[MatrixClass]; notFound: ERROR; END. ˜MathDB.mesa Carl Waldspurger, August 22, 1986 3:28:18 pm PDT Definitions for Math "DataBase" Operations Abbreviations from Imported Interfaces DB Indexes Class "DataBase" Operations effects: Resets (i.e. destroys) the global AtomClass DataBase effects: Resets (i.e. destroys) the global CompoundClass DataBase effects: Resets (i.e. destroys) the global MatrixClass DataBase effects: Installs class in global AtomClass DataBase effects: Installs class in global CompoundClass DataBase effects: Installs class in global MatrixClass DataBase effects: Returns the AtomClass object associated with name. SIGNALS notFound if no association exists effects: Returns the CompoundClass object associated with name. SIGNALS notFound if no association exists effects: Returns the MatrixClass object associated with name. SIGNALS notFound if no association exists Signals & Errors Κ:˜Jšœ ™ Jšœ0™0J˜Jšœ*™*J˜codešΟk ˜ Kšœ œ)˜7K˜K˜—šΟnœœ œ˜K˜Kš˜K˜Kšž&™&˜Kšœ œ˜%Kšœœ˜-Kšœ œ˜)K˜K˜—šž ™ K˜Kšžœ œœœ˜&Kšžœ œœœ˜*Kš žœœœœœ˜(K˜K˜—K˜šž™K™šžœœ˜Kšœ>™>K˜—šžœœ˜KšœB™BK™—šžœœ˜Kšœ@™@—K˜šžœœ˜)Kšœ5™5K˜—šžœœ˜1Kšœ9™9K™—šžœœ˜-Kšœ7™7—K™šžœœœœ ˜5Kšœ<™™>Kšœ3™3—K™K˜—Kšž™˜Kšœ œ˜K˜K˜K˜—Kšœ˜K˜——…—κ