Last Edited by Teitelman, April 8, 1983 1:24 pm
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