DIRECTORYDragomanPrivate USING [RestartInterpreter],Basics USING [BYTE],PrincOps USING [BytePC, ControlLink, --FieldDescriptor, --Frame, FrameHandle, localbase, markOffset, NullFrame, NullLink, SD, sError, sErrorList, sReturnError, sReturnErrorList, sSignal, sSignalList, StateVector, sUnnamedError, zCATCH, zJ2, zJ9, zJB, zJW, zLADRB, zPORTI, zWF],PrincOpsUtils USING [Alloc, Codebase, Free, GetReturnFrame, GetReturnLink, MyGlobalFrame, MyLocalFrame, SetReturnLink],RuntimeError USING [RegisterUncaughtSignalHandler, ResumeError, SendMsgSignal, UCSProc, UNCAUGHT];DragomanSignals: MONITORIMPORTS PrincOpsUtils, DragomanPrivate, RuntimeError =BEGINBYTE: TYPE = Basics.BYTE;CatchPointer: TYPE = POINTER TO catch PrincOps.Frame;CatchCall: TYPE = PROCEDURE [SIGNAL ANY RETURNS ANY] RETURNS [ActionCode];CatchContinue: TYPE = PROCEDURE;ActionCode: TYPE = INTEGER;reject: ActionCode = 0;resume: ActionCode = 1;exit: ActionCode = -1;ucsHandler: RuntimeError.UCSProc;Error: PROC [signal: SIGNAL ANY RETURNS ANY, message: UNSPECIFIED] = {MarkSignalHandlerFrame[FALSE];SignalHandler[signal, message];ERROR RuntimeError.ResumeError};ErrorList: PROC [signal: SIGNAL ANY RETURNS ANY, message: POINTER TO UNSPECIFIED] = {MarkSignalHandlerFrame[FALSE];SignalHandler[signal, message !UNWIND => PrincOpsUtils.Free[message]];PrincOpsUtils.Free[message];  ERROR RuntimeError.ResumeError};ReturnError: PROC [signal: SIGNAL ANY RETURNS ANY, message: UNSPECIFIED] = {caller: PrincOps.FrameHandle = PrincOpsUtils.GetReturnFrame[];PrincOpsUtils.SetReturnLink[caller.returnlink];MarkSignalHandlerFrame[FALSE];SignalHandler[signal, message ! UNWIND => PrincOpsUtils.Free[caller]];PrincOpsUtils.Free[caller];  ERROR RuntimeError.ResumeError};ReturnErrorList: PROC [signal: SIGNAL ANY RETURNS ANY, message: POINTER TO UNSPECIFIED] = {caller: PrincOps.FrameHandle = PrincOpsUtils.GetReturnFrame[];PrincOpsUtils.SetReturnLink[caller.returnlink];MarkSignalHandlerFrame[FALSE];SignalHandler[signal, message! UNWIND => {PrincOpsUtils.Free[caller]; PrincOpsUtils.Free[message]}];PrincOpsUtils.Free[caller];  PrincOpsUtils.Free[message];  ERROR RuntimeError.ResumeError};UnnamedError: PROC = {MarkSignalHandlerFrame[FALSE];SignalHandler[LOOPHOLE[-1], -1];ERROR RuntimeError.ResumeError};Signal: PROC [signal: SIGNAL ANY RETURNS ANY, message: UNSPECIFIED] = {MarkSignalHandlerFrame[FALSE];SignalHandler[signal, message];};SignalList: PROC [signal: SIGNAL ANY RETURNS ANY, message: POINTER TO UNSPECIFIED] = {MarkSignalHandlerFrame[FALSE];SignalHandler[signal, message ! UNWIND => PrincOpsUtils.Free[message]];PrincOpsUtils.Free[message];};MarkSignalHandlerFrame: PROC [value: BOOL] = MACHINE CODE {PrincOps.zLADRB, 0;PrincOps.zWF,--PrincOps.FieldDescriptor[offset: PrincOps.markOffset, posn: 0, size: 1]--PrincOps.markOffset, 0;};SignalHandler: PROC [signal: SIGNAL ANY RETURNS ANY, message: UNSPECIFIED, informational: BOOL _ FALSE] = {SignalFrame: TYPE = POINTER TO FRAME[SignalHandler];frame, nextFrame: PrincOps.FrameHandle;target, nextTarget: PrincOps.FrameHandle;self: PrincOps.FrameHandle = PrincOpsUtils.MyLocalFrame[];start: PrincOps.FrameHandle;catchFrame: CatchPointer;action: ActionCode;unwinding: BOOL;catchPhrase: BOOL;catchFSIndex: BYTE;catchPC, exitPC: PrincOps.BytePC;catchState: PrincOps.StateVector;interpreterFrame: PrincOps.FrameHandle _ PrincOps.NullFrame; -- *** RES additionMarkSignalHandlerFrame[TRUE];  unwinding _ FALSE;start _ GetFrame[self.returnlink];  target _ PrincOps.NullFrame;  DOnextFrame _ start;UNTIL nextFrame = target DOframe _ nextFrame;IF frame.accesslink = PrincOpsUtils.MyGlobalFrame[] AND frame.mark THEN {OPEN thisSignaller: LOOPHOLE[frame, SignalFrame];IF unwinding THEN {IF signal = thisSignaller.signal THENnextTarget _ IF thisSignaller.unwindingTHEN thisSignaller.nextTargetELSE thisSignaller.nextFrame;IF thisSignaller.unwinding THEN {IF thisSignaller.frame = LOOPHOLE[frame.returnlink] THENframe.returnlink _ [frame[thisSignaller.nextFrame]];PrincOpsUtils.Free[thisSignaller.frame];};nextFrame _ GetFrame[frame.returnlink];}ELSEnextFrame _ IF signal ~= thisSignaller.signal THENIF thisSignaller.unwindingTHEN thisSignaller.nextFrameELSE GetFrame[frame.returnlink]ELSEIF thisSignaller.unwindingTHEN thisSignaller.nextTargetELSE thisSignaller.nextFrame;}ELSE nextFrame _ GetFrame[frame.returnlink];IF unwinding AND nextTarget = frame THEN  nextTarget _ nextFrame;[catchPhrase, catchFSIndex, catchPC] _ CheckCatch[frame];IF catchPhrase THEN {catchFrame _ PrincOpsUtils.Alloc[catchFSIndex];catchFrame^ _ PrincOps.Frame[accesslink: frame.accesslink,pc: catchPC,returnlink: [frame[self]],extensions: catch[unused: ,staticlink: frame+PrincOps.localbase, messageval: message]];action _ LOOPHOLE[catchFrame, CatchCall][IF unwinding THEN LOOPHOLE[UNWIND] ELSE signal! RuntimeError.SendMsgSignal => RESUME[message, signal];  DragomanPrivate.RestartInterpreter => TRUSTED {interpreterFrame _ iFrame; RESUME[target]}]; -- *** REScatchState _ STATE;SELECT action FROMreject =>  NULL;resume =>IF unwindingTHEN ERROR RuntimeError.ResumeErrorELSE {catchState.dest _ PrincOpsUtils.GetReturnLink[];catchState.source _ PrincOps.NullLink;RETURN WITH catchState};exit =>IF ~informational THEN {exitPC _ catchFrame.pc;PrincOpsUtils.Free[catchFrame];target _ LOOPHOLE[catchState.stk[0]-PrincOps.localbase];nextTarget _ nextFrame;unwinding _ TRUE;  message _ NIL;GO TO StartUnwind;};ENDCASE;};IF unwinding THEN {IF frame = start THEN start _ nextFrame;IF frame = LOOPHOLE[self.returnlink] THEN self.returnlink _ [frame[nextFrame]];PrincOpsUtils.Free[frame];};REPEATStartUnwind => NULL;FINISHED => EXITENDLOOP;ENDLOOP;SELECT TRUE FROMunwinding => target.pc _ exitPC;informational OR signal = LOOPHOLE[RuntimeError.UNCAUGHT] => NULL;  -- does an implicit RESUMEENDCASE => {Uncaught: TYPE = SIGNAL [SIGNAL ANY RETURNS ANY, UNSPECIFIED];LOOPHOLE[RuntimeError.UNCAUGHT, Uncaught][signal, message];ucsHandler[message, signal, frame];};IF interpreterFrame # PrincOps.NullFrame THEN 		-- *** RES additionself.returnlink _ [frame[interpreterFrame]];					-- *** RES addition};CheckCatch: PROC [frame: PrincOps.FrameHandle]RETURNS [catchPhrase: BOOL, fsIndex: BYTE, pc: PrincOps.BytePC] = {code: LONG POINTER TO PACKED ARRAY [0..0) OF BYTE;MarkSignalHandlerFrame[FALSE];code _ LOOPHOLE[PrincOpsUtils.Codebase[frame.accesslink]];pc _ [frame.pc];DOSELECT code[pc] FROMPrincOps.zCATCH => {catchPhrase _ TRUE; EXIT};PrincOps.zPORTI => pc _ [pc + 1];ENDCASE => {catchPhrase _ FALSE; EXIT};ENDLOOP;IF catchPhrase THEN {fsIndex _ code[pc+1];SELECT code[pc _ [pc+2]] FROMPrincOps.zJB => pc _ [pc + 2];IN [PrincOps.zJ2..PrincOps.zJ9] => pc _ [pc + 1];PrincOps.zJW => pc _ [pc + 3];ENDCASE;};};GetFrame: PROC [link: PrincOps.ControlLink] RETURNS [PrincOps.FrameHandle] =  {DOIF ~link.proc THENIF link.indirect THEN link _ link.link^ELSE --frame link-- RETURN[link.frame]ELSE RETURN[PrincOps.NullFrame];ENDLOOP;};Initialize: PROCEDURE = {pSD: POINTER TO ARRAY [0..0) OF UNSPECIFIED _ LOOPHOLE[PrincOps.SD];pSD[PrincOps.sSignalList] _ SignalList;pSD[PrincOps.sSignal] _ Signal;pSD[PrincOps.sErrorList] _ ErrorList;pSD[PrincOps.sError] _ Error;pSD[PrincOps.sReturnErrorList] _ ReturnErrorList;pSD[PrincOps.sReturnError] _ ReturnError;pSD[PrincOps.sUnnamedError] _ UnnamedError;ucsHandler _ RuntimeError.RegisterUncaughtSignalHandler[NIL];[] _ RuntimeError.RegisterUncaughtSignalHandler[ucsHandler];};Initialize[];END.    DragomanSignals.mesaLast Edited by: Sweet, February 8, 1985 4:12:02 pm PSTBertrand Serlet July 27, 1985 9:51:32 pm PDTTypes and Related DeclarationsGlobal Variables (protected by monitor)Language support routinesInternal ProcedurescatchFrame is waiting to execute its exit jumpWe want to be able to RESUME UNCAUGHT, but we don't want a random catch phrase to do so.  So, we declare it to be an ERROR in the interface, but raise it as a SIGNAL here.  When (if) UNCAUGHT percolates to the top of the stack, it is implicitly resumed (see the preceding line of code).  Control then passes to the statement following the invocation of UNCAUGHT, which calls the debugger (or whatever).code[pc] points at zCatchMarkSignalHandlerFrame[FALSE];Initialization Э╩	╙  Ц"Cedar" styleШ ЪЬЩJЩ6IcodeЩ,ЧJШ Ъ╧k	Ш	JЪЬЭЬШ+JЪЬЭЬЭЬШЪЬ	ЭЬШJЪЬ╧cЬ@ЭЬЩШЕЧЪЬЭЬШJЪЬbШbЧJЪЬЭЬPШbJШ ЧЪЬЭШJЪЭЬ/Ш6JШ ЧJЪЭШJШ JЩ JЪЬЩJЩ JЪЭЬЭЬ
ЭЬШJШ JЪЬЭЬЭЬЭЬШ5JЪ╧n	ЬЭЬЭ	ЬЭЬЭЬЭЬЭЬЭЬШJJЪЯЬЭЬЭ	ЬШ JШ ЪЬЭЬЭЬШJШJШJШJШ ЧJЩ'JЩ JЪЬ!Ш!JЩ JЩ JЪЬЩJЩ ЪЯЬЭЬ
ЭЬЭЬЭЬЭЬЭЬШFJЪЬЭЬШJШJЪЭЬШJЪЬШJШ ЧЪЯ	ЬЭЬ
ЭЬЭЬЭЬЭЬЭЬЭЬЭЬШUJЪЬЭЬШШJЪЭЬ!Ш'ЧJШJЪЭЬШJЪЬШJШ ЧЪЯЬЭЬ
ЭЬЭЬЭЬЭЬЭЬШLJШ>JШ/JЪЬЭЬШJЪЬ ЭЬ ШFJШJЪЭЬШJЪЬШJШ ЧЪЯЬЭЬШJЪЬЭЬЭЬЭЬЭЬЭЬЭЬЭЬШDJЪЬ>Ш>JЪЬ/Ш/JЪЬЭЬШЪЬШJЪЬЭЬ=ШEJЪЬШЧJЪЬШJЪЬШJЪЭЬШJЪЬШJШ ЧЪЯЬЭЬШJЪЬЭЬШJЪЬЭЬ
Ш JЪЭЬШJЪЬШJШ ЧЪЯЬЭЬ
ЭЬЭЬЭЬЭЬЭЬШGJЪЬЭЬШJШJЪЬШJШ ЧЪЯ
ЬЭЬ
ЭЬЭЬЭЬЭЬЭЬЭЬЭЬШVJЪЬЭЬШJЪЬ ЭЬ!ШGJЪЬШJЪЬШЧJШ JЩ JЪЬЩJШ Ъ
ЯЬЭЬ	ЭЬЭЬЭЬШ;JЪЬШЪЬШJЪЮKШKJЪЬШЧJЪЬШJШ ЧЪЯЬЭЬШJЪЬЭЬЭЬЭЬЭЬЭЬЭЬЭЬШVJШ JЪ	ЬЭЬЭЬЭЬЭЬШ4JШ JШ'JШ)JШ:JШJШJШJЪЬЭЬШJЪЬЭЬШJЪЬЭЬШJШ!JШ!JЪЬ=ЮШPJШ JЪЬЭЬЭЬШ1JШBЪЭШJШЪЭЬЭШJШЪЭЬ2ЭЬЭЬШIJЪЭЬЭЬШ1ЪЭЬЭЬШЪЭЬЭШ%ЪЬЭЬШ'JЪЭЬШJЪЭЬШЧЧЪЭЬЭЬШ!ЪЭЬЭЬЭШ8JШ4ЧJЪЬ(Ш(JЪЬШЧJШ'JЪЬШЧЪЭШЪЬЭЬ ЭШ2ЪЭЬШJЪЭЬШJЪЭЬШЧЪЭШЪЭЬШJЪЭЬШJЪЭЬШЧЧЧЧJЪЬШЧJЪЭЬ(Ш,JЪЭЬЭЬЭЬШAJШ9ЪЭЬЭЬШJЪЬ/Ш/ШJШJШJШШJШ<ЧЧЪЬ	ЭЬШ(ЪЬЭЬЭЬЭЬЭЬЭЬШ/JЪЬ ЭЬШ8JЪЬ(ЭЬЭЬЮ
ШhЧЧJЪЬЭЬШЪЭЬЭШJЪЬЭЬШШ	ЪЭЬ
ШJЪЭЬЭЬШ#ЪЭЬШJЪЬ0Ш0JШ&JЪЭЬЭЬШJЪЬШЧЧЧШЪЭЬЭЬШJЪЬ.Щ.JШJЪЬШJЪЬ	ЭЬ'Ш8JШJЪЬЭЬЭЬШ!JЪЭЬЭЬШJЪЬШЧЧJЪЭЬШЧJЪЬШЧЪЭЬЭЬШJЪЭЬЭЬШ(JЪЭЬ	ЭЬЭЬ&ШOJЪЬШJЪЬШЧЪЭШJЪЬЭЬШJЪЭЬЭШЧJЪЭЬШЧJЪЭЬШЧЪЭЬЭЬЭШJШ JЪ
ЬЭЬ
ЭЬЭЬЭЬЮШ^ЪЭЬШJЪЬТЩТJЪЬ
ЭЬЭЬЭЬЭЬЭЬЭЬЭЬШ>JЪЭЬЭЬШ;JЪЬ#Ш#JШЧЧЪЭЬ'ЭЬШCJЪЬDШDЧJЪЬШJШ ЧЪЯ
ЬЭЬШ.JЪЭЬЭЬЭЬШCJЪЬЭЬЭЬЭЬЭЬЭЬЭЬЭЬШ2JЪЬЭЬШJЪЬЭЬ+Ш:JШЪЭШЪЭЬ
ЭШJЪЬ"ЭЬЭЬШ.JЪЬ!Ш!JЪЭЬЭЬЭЬШ'ЧJЪЭЬШЧЪЭЬЭЬШJЪЬЩJШЪЭЬЭШJЪЬШJЪЭЬ/Ш1JЪЬШJЪЭЬШЧJЪЬШЧJЪЬШJШ ЧЪЯЬЭЬЭЬШOJЪЬЩЪЭШЪЭЬЭШJЪЭЬЭЬШ'JЪЭЬЮЬЭЬШ&ЧJЪЭЬЭЬШ JЪЭЬШЧJЪЬШJШ JШ JШ ЧJЪЬЩJШ ЪЯ
ЬЭ	ЬШJЪЬЭЬЭЬЭЬЭЬЭЬЭЬ
ЭЬШDJШ'JШJШ%JШJШ1JШ)JШ+JЪЬ8ЭЬШ=JЪЬ<Ш<JЪЬШJШ ЧJШJШ JЪЭЬШJШ JШ Ч ЕЧ    ╥  *л  