ImplErrorsImpl.mesa;
Last Edited by McGregor, November 8, 1982 1:33 pm
Last Edited by: Maxwell, January 3, 1983 12:56 pm
Last Edited by: Paul Rovner, June 16, 1983 8:51 am
DIRECTORY
ClassIncreek USING [Increek],
Cursors USING [CursorType, SetCursor],
Graphics USING [black, Context, DrawBox, NewContext, SetColor, SetCP, white],
GraphicsOps USING [DrawText],
ImplErrors,
InputFocus,
Interminal USING [terminal],
KeyboardFace USING [DownUp],
MessageWindow USING [Append, Blink, messageWindow],
Process USING [GetPriority, MsecToTicks, Pause, Priority, priorityForeground,
SetPriority],
Rope USING [ROPE],
TIPUser USING [DiscardTypeAhead],
UserProfile USING [Boolean, CallWhenProfileChanges, ProfileChangedProc],
Terminal USING [BlinkBWDisplay, GetKeys],
ViewerClasses USING [Viewer],
ViewerOps USING [EnumerateViewers, EnumProc, PaintViewer, SaveAllEdits, XYWH2Box],
--ViewersSnapshot USING [RollBack],
WindowManager USING [RestoreCursor];
ImplErrorsImpl: CEDAR MONITOR
IMPORTS Cursors, Graphics, GraphicsOps, InputFocus, Interminal, MessageWindow, Process, TIPUser,
UserProfile, Terminal, ViewerOps, --ViewersSnapshot,-- WindowManager
EXPORTS ImplErrors
SHARES InputFocus, MessageWindow, TIPUser =
BEGIN OPEN ImplErrors;
Error: PUBLIC SIGNAL [severity: Severity ← fatal, msg: Rope.ROPENIL] = CODE;
UserErrorQuery: PUBLIC ENTRY PROC RETURNS [continue: BOOL] =
TRUSTED BEGIN OPEN Graphics, MessageWindow.messageWindow;
try to flush current TIP notification to client
only use low-level interfaces to avoid monitors and potentially broken code
ENABLE UNWIND => NULL;
oldPriority: Process.Priority = Process.GetPriority[];
context: Context;
IF ~worldSwapDebug THEN RETURN[FALSE];
Process.SetPriority[Process.priorityForeground];
TIPUser.DiscardTypeAhead[InputFocus.focusTIP];
context ← NewContext[];
SetColor[context, white];
DrawBox[context, ViewerOps.XYWH2Box[cx, cy, cw, ch]];
SetColor[context, black];
SetCP[context, cx+2, cy+2];
THROUGH [0..3) DO
Interminal.terminal.BlinkBWDisplay[];
Process.Pause[Process.MsecToTicks[100]];
ENDLOOP;
GraphicsOps.DrawText[context, " Uncaught Signal! Red: Proceed, Yellow: Save edits then rollback, Blue: Reject."];
WHILE Interminal.terminal.GetKeys[][Red] = down OR Interminal.terminal.GetKeys[][Yellow] = down OR Interminal.terminal.GetKeys[][Blue] = down DO
ENDLOOP; -- spin until buttons go up
Cursors.SetCursor[questionMark];
DOIF Interminal.terminal.GetKeys[][Red] = down THEN {
continue ← TRUE;
MessageWindow.Append["Pressing on in spite of crash! Maybe you should boot.", TRUE];
EXIT}
ELSE IF Interminal.terminal.GetKeys[][Yellow] = down THEN {
continue ← TRUE;
Cursors.SetCursor[hourGlass];
ViewerOps.SaveAllEdits[! ANY => CONTINUE];
Cursors.SetCursor[retry];
--ViewersSnapshot.RollBack[! ANY => CONTINUE];  usually no return
MessageWindow.Append["Rollback failed! Maybe you should boot.", TRUE];
ViewerOps.EnumerateViewers[Paint]; -- update headers of saved viewers
EXIT}
ELSE IF Interminal.terminal.GetKeys[][Blue] = down THEN {continue ← FALSE; EXIT};
ENDLOOP;
InputFocus.EnableInput[];
Process.SetPriority[oldPriority];
IF NOT continue THEN RETURN;
WindowManager.RestoreCursor[];
MessageWindow.Blink[];
END;
Paint: ViewerOps.EnumProc = BEGIN
IF v.column#static THEN ViewerOps.PaintViewer[v, caption ! ANY => CONTINUE];
RETURN[TRUE];
END;
worldSwapDebug: BOOL;
Init: UserProfile.ProfileChangedProc = CHECKED
{worldSwapDebug ← UserProfile.Boolean["WorldSwapDebug", FALSE]};
UserProfile.CallWhenProfileChanges[Init];
END.