DIRECTORY Rope USING [ROPE], RTBasic USING [TV, Type], UserExec USING [ExecHandle] ; BasicUserExec: CEDAR DEFINITIONS = BEGIN TV: TYPE = RTBasic.TV; Type: TYPE = RTBasic.Type; AttachTypeCorrectionProc: PROCEDURE [type: Type, proc: CorrectionProc]; -- associates a CorrectionProc with a type. CorrectionProc: TYPE = PROC[targetType: Type, undefinedId: Rope.ROPE _ NIL, wrongValue: TV _ NIL, exec: UserExec.ExecHandle] RETURNS[flag: BOOLEAN _ FALSE, shouldBe: TV _ NIL]; Init: PROC; -- initializes various PrintProcs, typecorrectionprocs Interface: TYPE = REF READONLY InterfaceRec; InterfaceRec: TYPE = RECORD[name: Rope.ROPE]; -- until interface records work ok. END. -- BasicUserExec 6Last Edited by Teitelman, April 8, 1983 1:24 pm ÊA˜Jšœ/™/šÏk ˜ Jšœœœ˜Jšœœœ˜Jšœ œ ˜J˜—J˜J˜JšÐbl œœ œ˜$J˜Jšœ˜J˜Jšœœ œ˜Jšœœ˜J˜JšÏnœ œ%Ïc+˜sJ˜JšŸœœœ%œœœœœœœ œœ˜°J˜JšŸœœ 6˜BJ˜JšŸ œœœœ˜,Jš Ÿ œœœ œ #˜RJ˜Jšœ ˜J˜J˜J˜J˜—…—À7