DIRECTORY MathExpr USING [AtomClass, CompoundClass]; MathDB: CEDAR DEFINITIONS ~ BEGIN AtomClass: TYPE ~ MathExpr.AtomClass; CompoundClass: TYPE ~ MathExpr.CompoundClass; AtomClassNames: READONLY LIST OF ATOM; CompoundClassNames: READONLY LIST OF ATOM; ResetAtomClasses: PROC[]; ResetCompoundClasses: PROC[]; InstallAtomClass: PROC[class: AtomClass]; InstallCompoundClass: PROC[class: CompoundClass]; LookupAtomClass: PROC[name: ATOM] RETURNS[AtomClass]; LookupCompoundClass: PROC[name: ATOM] RETURNS[CompoundClass]; notFound: ERROR; END. ¦MathDB.mesa Carl Waldspurger, July 30, 1986 11:15:56 am 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: Installs class in global AtomClass DataBase effects: Installs class in global CompoundClass 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 Signals & Errors ΚΏ˜Jšœ ™ Jšœ/™/J˜Jšœ*™*J˜codešΟk ˜ Kšœ œ˜*K˜K˜—šΟnœœ œ˜K˜Kš˜K˜Kšž&™&˜Kšœ œ˜%Kšœœ˜-K˜K˜—šž ™ K˜Kšžœ œœœ˜&Kšžœ œœœ˜*K˜K˜—K˜šž™K™šžœœ˜Kšœ>™>K˜—šžœœ˜KšœB™B—K˜šžœœ˜)Kšœ5™5K˜—šžœœ˜1Kšœ9™9—K˜šžœœœœ ˜5Kšœ<™