<> <> DIRECTORY UserExec USING [HistoryEvent, ExecHandle, ROPE, STREAM, TV, Type], WorldVM USING [World] ; UserExecExtras: CEDAR DEFINITIONS = BEGIN OPEN UserExec; <> version: ROPE; defaultDepth, defaultWidth: INT; -- controls printing of expressions. <> NewErrorThisEvent: ERROR [event: HistoryEvent, msg: ROPE, offender: ROPE _ NIL]; <> <> GetSessionLog: PROC RETURNS[STREAM]; <> GetChangesLog: PROC RETURNS[STREAM]; <> <<>> GetWorld: PROC RETURNS[WorldVM.World]; <> <> CreateEvent: PROC [exec: ExecHandle, input: ROPE] RETURNS[event: HistoryEvent]; <> ReasonFailed: PROC [event: HistoryEvent, offender: ROPE _ NIL]; <> CorrectionDisabled: PROC[event: HistoryEvent] RETURNS[disabled: BOOL]; WaitUntilSaved: PROC [fileName: ROPE, exec: UserExec.ExecHandle]; <> AttachDefaultArgVal: PROCEDURE [type: Type, default: TV]; -- associates a default value with corresponding type. END. -- UserExecExtras