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 Edited by Teitelman on March 10, 1983 2:55 am The items in this interface will be moved to UserExec.. constants and variables signals For use from inside of (or under) a commandProc. Equivalent to returning [FALSE, msg] as the value of the commandProc. offender is the "bad guy", e.g. in File Not Found: Foo.mesa, offender is Foo.mesa. manipulating execHandles NIL means no session log. NIL means no changes log. If this process is under an exec, and exec corresponds to an action area, returns world for that action area, otherwise returns local world. processing events creates a new event, with indicated input and next higher event number, and modifies the exechandle appropriately. saves offender on event for use by Use command. Used for those cases where an error is not going to be generated, e.g. File Not Found: mumble, or by interpreter. If a save is in progress, waits untils save finishes. If the viewer has been edited but not saved, asks the user if he wants to save the file. Interactions in exec. ΚΦ– "cedar" style˜J˜Jšœ-™-Jšœ7™7J˜šΟk ˜ Jš œ œœœœ˜BJšœœ˜J˜J˜—J˜JšΠblœœ œ˜$J˜Jšœœ ˜headšœ™JšΟnœœ˜J˜JšŸ œŸ œœΟc$˜E—šœ™š Ÿœœœ œœ˜PJ™Κ——™šŸ œœœœ˜$J™—J˜šŸ œœœœ˜$J™—J™šŸœœœ˜&J™Œ——™šŸ œœœœ˜OJšœr™r—J˜šŸ œœ! œ˜?J™‘—J˜JšŸœœœ œ˜FJ˜šŸœœ œ˜AJ™€—J˜JšŸœ œœ 7˜q—J˜Jšœ ˜J˜J˜J˜—…—j @