<> <> <> <> DIRECTORY AMBridge USING [SomeRefFromTV, TVForReferent], AMTypes USING [TV], Buttons USING [Create, ReLabel], Convert USING [CardFromRope], DebuggerDefs -- using lots -- , FS USING [Error, FileInfo, StreamOpen], Interpreter USING [Evaluate], IO, Labels USING [Create, Set], List USING [CompareProc, Sort], Process USING [Detach, Milliseconds, PauseMsec], Rope, SoftcardOps, SoftcardToolPrivate, SymTab USING [Create, Ref, Store], ViewerTools USING [GetContents, MakeNewTextViewer, SetSelection]; SoftcardToolQuadIOImpl: CEDAR MONITOR IMPORTS AMBridge, Interpreter, Buttons, Convert, FS, IO, Labels, List, Process, Rope, SymTab, ViewerTools, SoftcardOps, SoftcardToolPrivate, DD: DebuggerDefs EXPORTS SoftcardToolPrivate = BEGIN OPEN SoftcardToolPrivate; Word: TYPE = CARD32; STREAM: TYPE = IO.STREAM; ROPE: TYPE = Rope.ROPE; Memory: TYPE = REF MemoryRec; MemoryRec: TYPE = RECORD [ sym: SymTab.Ref, wds: REF MemWords, sortedSyms: REF SortedSyms, lowestAddr: Word _ 0, highestAddr: Word _ 0]; MemWords: TYPE = RECORD [SEQUENCE size: CARDINAL OF MemWord]; MemWord: TYPE = RECORD [addr, value: Word]; SortedSyms: TYPE = RECORD [SEQUENCE size: CARDINAL OF SymbolAddr]; SymbolAddr: TYPE = REF SymbolAddrRec; SymbolAddrRec: TYPE = RECORD [sym: ROPE, addr: Word]; quadMemory: Memory; quadFileNameText: Viewer; interpretWhatText, showInterpretResult: Viewer; debuggerWatcherButton, autoDumpDebuggerButton, autoRestartDebuggerButton: Viewer; watcherWait: Process.Milliseconds _ 100; watchingDebugger: BOOL _ FALSE; autoDumpDebuggerState: BOOL _ FALSE; autoRestartDebugger: BOOL _ FALSE; debuggerWatchAddr: CARD32 = DD.debugBase + DD.debuggerProceed; dumpBaseAddr: CARD32 = DD.debugBase + DD.debuggerOpcode; numToDump: CARD16 = DD.euRegBase + DD.EUStackSize + DD.EUAuxRegs + DD.EUConstants + 2*DD.IFUStackSize; debuggerWatchSCAddr: CARD32 = SoftcardToolPrivate.DragonToSoftcardAddr[debuggerWatchAddr]; dumpBaseSCAddr: CARD32 = SoftcardToolPrivate.DragonToSoftcardAddr[dumpBaseAddr]; debuggerState: SoftcardOps.SeqLong; BuildQuadIOButtons: PUBLIC PROC[topViewer, sibx: Viewer] RETURNS[sib: Viewer] = { sib _ sibx; <> sib _ Buttons.Create[ info: [ name: " LoadQuadFile ", parent: topViewer, wx: leftEdge, wy: sib.wy+sib.wh+betweenHeight, wh: entryHeight, border: TRUE, scrollable: FALSE], font: activeFont, proc: LoadQuadFileProc ]; <<>> sib _ Buttons.Create[ info: [ name: " fileName: ", parent: topViewer, wx: sib.wx+sib.ww+xFudge, wy: sib.wy, wh: entryHeight, border: FALSE, scrollable: FALSE], font: selectFont, proc: QuadFileNameProc ]; <<>> sib _ quadFileNameText _ ViewerTools.MakeNewTextViewer[ info: [parent: topViewer, wx: sib.wx+sib.ww+xFudge+6, wy: sib.wy, ww: 300, wh: entryHeight, border: FALSE, scrollable: FALSE]]; <> watchingDebugger _ FALSE; sib _ Labels.Create[ info: [ name: " Debugger ", parent: topViewer, wx: leftEdge, wy: sib.wy+sib.wh+betweenHeight, wh: entryHeight, border: FALSE, scrollable: FALSE], font: labelFont ]; <<>> sib _ debuggerWatcherButton _ Buttons.Create[ info: [ name: " WatcherOff ", parent: topViewer, wx: sib.wx+sib.ww+xFudge, wy: sib.wy, wh: entryHeight, border: TRUE, scrollable: FALSE], font: selectFont, proc: DebuggerWatcherProc ]; <<>> autoDumpDebuggerState _ FALSE; sib _ autoDumpDebuggerButton _ Buttons.Create[ info: [ name: " AutoDumpOff ", parent: topViewer, wx: sib.wx+sib.ww+xFudge, wy: sib.wy, wh: entryHeight, border: TRUE, scrollable: FALSE], font: selectFont, proc: AutoDumpDebuggerProc ]; <<>> autoRestartDebugger _ FALSE; sib _ autoRestartDebuggerButton _ Buttons.Create[ info: [ name: " AutoRestartOff ", parent: topViewer, wx: sib.wx+sib.ww+xFudge, wy: sib.wy, wh: entryHeight, border: TRUE, scrollable: FALSE], font: selectFont, proc: AutoRestartDebuggerProc ]; <<>> sib _ Buttons.Create[ info: [ name: " DumpState ", parent: topViewer, wx: sib.wx+sib.ww+xFudge, wy: sib.wy, wh: entryHeight, border: TRUE, scrollable: FALSE], font: activeFont, proc: DumpDebuggerStateProc ]; <<>> sib _ Buttons.Create[ info: [ name: " Restart ", parent: topViewer, wx: sib.wx+sib.ww+xFudge, wy: sib.wy, wh: entryHeight, border: TRUE, scrollable: FALSE], font: activeFont, proc: RestartDebuggerProc ]; <<>> <> sib _ Buttons.Create[ info: [ name: " InterpSym ", parent: topViewer, wx: leftEdge, wy: sib.wy+sib.wh+betweenHeight, wh: entryHeight, border: TRUE, scrollable: FALSE], font: activeFont, proc: InterpSymbolProc ]; <<>> sib _ Buttons.Create[ info: [ name: " InterpAddr ", parent: topViewer, wx: sib.wx+sib.ww+xFudge, wy: sib.wy, wh: entryHeight, border: TRUE, scrollable: FALSE], font: activeFont, proc: InterpAddrProc ]; <<>> sib _ Buttons.Create[ info: [ name: " what: ", parent: topViewer, wx: sib.wx+sib.ww+xFudge, wy: sib.wy, wh: entryHeight, border: FALSE, scrollable: FALSE], font: selectFont, proc: InterpretWhatProc ]; <<>> sib _ interpretWhatText _ ViewerTools.MakeNewTextViewer[ info: [parent: topViewer, wx: sib.wx+sib.ww+xFudge, wy: sib.wy, ww: 400, wh: entryHeight, border: FALSE, scrollable: FALSE]]; sib _ Labels.Create[ info: [ name: " result: ", parent: topViewer, wx: leftEdge+40, wy: sib.wy+sib.wh+betweenHeight, wh: entryHeight, border: FALSE, scrollable: FALSE], font: labelFont ]; sib _ showInterpretResult _ Labels.Create[ info: [ name: " ", parent: topViewer, wx: sib.wx+sib.ww+xFudge, wy: sib.wy, wh: entryHeight, border: FALSE, scrollable: FALSE] ]; RETURN[sib]; }; LoadQuadFileProc: ClickProc = { fName: ROPE _ ViewerTools.GetContents[quadFileNameText]; fullName: ROPE; numLeft: CARD16 _ 0; indexThisRound, pushIndex: CARD16 _ 0; PushAddrVal: PROC RETURNS[addr: SoftcardOps.Addr, value: CARD32] = { addr _ ByteAddrToSoftcardAddr[quadMemory.wds[pushIndex].addr]; value _ quadMemory.wds[pushIndex].value; pushIndex _ pushIndex + 1; }; IF fName.Length[] = 0 THEN { TSOutPutRope["\n**** Please fill in the name of a quad file\n"]; RETURN }; IF fName.Find["."] < 0 THEN fName _ fName.Concat[".quad"]; fullName _ FS.FileInfo[name: fName, remoteCheck: FALSE, wDir: regDir ! FS.Error => { TSOutPutRope[error.explanation]; TSOutPutChar['\n]; GOTO nogood } ].fullFName; quadMemory _ ReadQuadFile[fullName]; IF quadMemory = NIL THEN RETURN; -- some error, already reported numLeft _ quadMemory.wds.size; WHILE numLeft > 256 DO SoftcardOps.WriteMultipleLong[256, PushAddrVal]; numLeft _ numLeft - 256; ENDLOOP; IF numLeft > 0 THEN SoftcardOps.WriteMultipleLong[numLeft, PushAddrVal]; TSOutPutF["\n\tQuadFile %g (%g instructions) has been loaded\n\n", [rope[fullName]], [cardinal[quadMemory.wds.size]] ]; EXITS nogood => NULL; }; QuadFileNameProc: ClickProc = { ViewerTools.SetSelection[quadFileNameText, NIL] }; DebuggerWatcherProc: ClickProc = { IF DebuggerWatching[changeState: TRUE] THEN Buttons.ReLabel[debuggerWatcherButton, " WatcherOff "] ELSE Buttons.ReLabel[debuggerWatcherButton, " WatcherOn "] }; DebuggerWatching: ENTRY PROC[changeState: BOOL] RETURNS[BOOL] = { IF ~changeState THEN RETURN[watchingDebugger]; watchingDebugger _ ~watchingDebugger; RETURN[~watchingDebugger]; -- if changeState return previous value }; AutoDumpDebuggerProc: ClickProc = { IF AutoDumpDebuggerState[changeState: TRUE] THEN Buttons.ReLabel[autoDumpDebuggerButton, " AutoDumpOff "] ELSE Buttons.ReLabel[autoDumpDebuggerButton, " AutoDumpOn "] }; AutoDumpDebuggerState: ENTRY PROC[changeState: BOOL] RETURNS[BOOL] = { IF ~changeState THEN RETURN[autoDumpDebuggerState]; autoDumpDebuggerState _ ~autoDumpDebuggerState; RETURN[~autoDumpDebuggerState]; -- if changeState still return previous value }; AutoRestartDebuggerProc: ClickProc = { IF AutoRestart[changeState: TRUE] THEN Buttons.ReLabel[autoRestartDebuggerButton, " AutoRestartOff "] ELSE Buttons.ReLabel[autoRestartDebuggerButton, " AutoRestartOn "] }; AutoRestart: ENTRY PROC[changeState: BOOL] RETURNS[BOOL] = { IF ~changeState THEN RETURN[autoRestartDebugger]; autoRestartDebugger _ ~autoRestartDebugger; RETURN[~autoRestartDebugger]; -- if changeState still return previous value }; TheWatcherProc: PROC = { alreadyReported: BOOL _ FALSE; DO BEGIN ENABLE SoftcardOps.SCError => GOTO scError; IF ~DebuggerWatching[changeState: FALSE] THEN { alreadyReported _ FALSE; Process.PauseMsec[watcherWait]; LOOP; }; IF SoftcardOps.ReadLong[debuggerWatchSCAddr] = 0 THEN { alreadyReported _ FALSE; Process.PauseMsec[watcherWait]; LOOP; }; IF ~alreadyReported THEN { TSOutPutRope["\n\n***** Debugger is in wait loop\n"]; alreadyReported _ TRUE; debuggerState _ SoftcardOps.DumpLong[dumpBaseSCAddr, numToDump]; IF AutoDumpDebuggerState[changeState: FALSE] THEN DumpDebuggerState[]; IF AutoRestart[changeState: FALSE] THEN { SoftcardOps.WriteLong[debuggerWatchSCAddr, 0]; alreadyReported _ FALSE; }; }; Process.PauseMsec[watcherWait]; EXITS scError => Process.PauseMsec[10*watcherWait]; END; ENDLOOP; }; DumpDebuggerStateProc: ClickProc = { DumpDebuggerState[] }; RestartDebuggerProc: ClickProc = { SoftcardOps.WriteLong[debuggerWatchSCAddr, 0]; TSOutPutRope["\tRestarted the debugger\n"]; }; DumpDebuggerState: PROC = { count: CARD16 _ numToDump; seq: SoftcardOps.SeqLong = debuggerState; addr: CARD32 _ 0; index: CARD16 _ 0; format: ROPE = " %04x"; TSOutPutRope["\n*****Dumping the state with no interpretation as yet\n"]; WHILE count >= 8 DO TSOutPutF["%xH:", [cardinal[addr+index]] ]; FOR i: CARD16 IN [0..8) DO TSOutPutF[format, [cardinal[seq[index+i]]] ]; ENDLOOP; TSOutPutChar['\n]; index _ index + 8; count _ count - 8; ENDLOOP; IF count # 0 THEN { TSOutPutF["%xH:", [cardinal[addr+index]] ]; FOR i: CARD16 IN [0..count) DO TSOutPutF[format, [cardinal[seq[index+i]]] ]; ENDLOOP; TSOutPutChar['\n]; }; }; InterpSymbolProc: ClickProc = { what: ROPE = ViewerTools.GetContents[interpretWhatText]; rp: ROPE; addr: CARD32; ok: BOOL; IF what.Length[] = 0 THEN { TSOutPutRope["\n Please fill in the Interpret \"what\" field\n"]; RETURN }; [ok, addr] _ InterpretSymAsAddr[what, quadMemory]; IF ok = FALSE THEN { Labels.Set[showInterpretResult, " ??? "]; RETURN; }; Labels.Set[showInterpretResult, rp _ IO.PutFR["0%xH", [cardinal[addr]]] ]; TSOutPutF["Expression \"%g\" has dragon byte address %g\n", [rope[what]], [rope[rp]] ]; }; InterpAddrProc: ClickProc = { what: ROPE = ViewerTools.GetContents[interpretWhatText]; ok: BOOL; rp: ROPE; addr: CARD32; [ok, addr] _ CheckedGetAsCard[interpretWhatText, "Interpret \"what\"", LAST[CARD32]]; IF ~ok THEN RETURN; [ok, rp] _ InterpretAddrAsSym[addr, quadMemory]; Labels.Set[showInterpretResult, rp]; IF ok THEN TSOutPutF["The symbol for dragon byte address \"%g\" is : %g\n", [rope[what]], [rope[rp]] ]; }; InterpretWhatProc: ClickProc = { ViewerTools.SetSelection[interpretWhatText, NIL] }; ReadQuadFile: PROC[fileName: ROPE] RETURNS[mem: Memory] = { quadFile: STREAM _ FS.StreamOpen[fileName]; count: INT _ 0; list: LIST OF MemWord _ NIL; symList: LIST OF SymbolAddr _ NIL; numSyms: CARD16 _ 0; mem _ NEW[MemoryRec _ [sym: SymTab.Create[]]]; DO Skip: PROC [source: STREAM, c: CHAR] RETURNS[BOOL] ~ { ch: CHAR; [] _ source.SkipWhitespace[]; IF (ch _ source.GetChar[]) # c THEN { TSOutPutF[" Bad char %g (expected %g) at pos %g in quadFile %g - quitting\n", [character[c]], [character[ch]], [integer[source.GetIndex[]]], [rope[fileName]] ]; RETURN[FALSE]; }; RETURN[TRUE]; }; tokenKind: IO.TokenKind; token: ROPE; addr, value: Word; [tokenKind, token] _ quadFile.GetCedarTokenRope[! IO.EndOfStream => EXIT]; SELECT tokenKind FROM tokenDECIMAL, tokenOCTAL, tokenHEX => { addr _ Convert.CardFromRope[token]; value _ 0; IF ~Skip[quadFile, '/] THEN { quadFile.Close[]; RETURN[NIL]; }; THROUGH [0..4) DO value _ value*100H + quadFile.GetCard[] ENDLOOP; list _ CONS[[addr, value], list]; count _ count+1 }; tokenID => { IF ~Skip[quadFile, '=] THEN { quadFile.Close[]; RETURN[NIL]; }; addr _ quadFile.GetCard[]; symList _ CONS[NEW[SymbolAddrRec _ [token, addr]], symList]; numSyms _ numSyms + 1; [] _ SymTab.Store[mem.sym, token, TVFromRef[NEW[Word _ addr]]] }; tokenEOF => EXIT; ENDCASE => { TSOutPutF["\n****Unknown tokenKind in quadFile %g at pos %g - quitting\n", [rope[fileName]], [integer[quadFile.GetIndex[]]] ]; quadFile.Close[]; RETURN[NIL]; }; ENDLOOP; quadFile.Close[]; mem.wds _ NEW[MemWords[count]]; FOR i: INT DECREASING IN [0..count) DO mem.wds[i] _ list.first; list _ list.rest ENDLOOP; mem.lowestAddr _ mem.wds[0].addr; mem.highestAddr _ mem.wds[count-1].addr; IF numSyms # 0 THEN { MySort: List.CompareProc = { sa1: SymbolAddr = NARROW[ref1]; sa2: SymbolAddr = NARROW[ref2]; IF sa1.addr < sa2.addr THEN RETURN[less]; IF sa1.addr = sa2.addr THEN RETURN[equal]; RETURN[greater]; }; TRUSTED { symList _ LOOPHOLE[List.Sort[LOOPHOLE[symList], MySort] ] }; mem.sortedSyms _ NEW[SortedSyms[numSyms]]; FOR i: CARD16 IN [0..numSyms) DO mem.sortedSyms[i] _ symList.first; symList _ symList.rest; ENDLOOP; }; }; InterpretSymAsAddr: PROC[rp: ROPE, mem: Memory] RETURNS[ok: BOOL, addr: Word] = { result: AMTypes.TV; errorRope: ROPE; noResult: BOOL; refCard: REF; [result, errorRope, noResult] _ Interpreter.Evaluate[rp, NIL, LIST[mem.sym]]; IF noResult THEN { addr _ 0; TSOutPutF["\n*****Could not interpret \"%g\" - quitting\n", [rope[rp]] ]; RETURN[FALSE, addr]}; refCard _ RefFromTV[result]; WITH refCard SELECT FROM word: REF Word => {RETURN[TRUE, word^]}; card: REF LONG CARDINAL => {RETURN[TRUE, card^]}; int: REF INT => { IF int^ < 0 THEN RETURN[FALSE, 0]; RETURN[TRUE, int^] }; ENDCASE => { TSOutPutF["\n*****Unknown variant for \"%g\" - quitting\n", [rope[rp]] ]; RETURN[FALSE, 0]; }; }; InterpretAddrAsSym: PROC[addr: CARD32, mem: Memory] RETURNS[ok: BOOL, rp: ROPE] = { sortedSyms: REF SortedSyms = mem.sortedSyms; num: CARD16 = IF sortedSyms = NIL THEN 0 ELSE sortedSyms.size; ok _ FALSE; rp _ " ??? "; IF addr < mem.lowestAddr THEN { TSOutPutF["***%xH is smaller than any address (%xH)\n", [cardinal[addr]], [cardinal[mem.lowestAddr]] ]; RETURN }; IF addr > mem.highestAddr THEN { TSOutPutF["***%xH is larger than any address (%xH)\n", [cardinal[addr]], [cardinal[mem.highestAddr]] ]; RETURN }; IF sortedSyms = NIL THEN { TSOutPutRope["\t*****Loaded file had no symbols\n"]; RETURN; }; IF addr < sortedSyms[0].addr THEN { diff: CARD32 = sortedSyms[0].addr - addr; RETURN[TRUE, IO.PutFR["%g-%xH", [rope[sortedSyms[0].sym]], [cardinal[diff]]] ]; }; IF addr > sortedSyms[num-1].addr THEN { diff: CARD32 = addr - sortedSyms[num-1].addr; RETURN[TRUE, IO.PutFR["%g+%xH", [rope[sortedSyms[num-1].sym]], [cardinal[diff]]] ]; }; FOR i: CARD16 IN [0..num) DO diff: CARD32; IF addr > sortedSyms[i].addr THEN LOOP; IF addr = sortedSyms[i].addr THEN RETURN[TRUE, sortedSyms[i].sym]; diff _ addr - sortedSyms[i-1].addr; RETURN[TRUE, IO.PutFR["%g+%xH", [rope[sortedSyms[i-1].sym]], [cardinal[diff]]] ]; ENDLOOP; }; TVFromRef: PROC [ref: REF] RETURNS [AMTypes.TV] = TRUSTED { RETURN [AMBridge.TVForReferent[ref]] }; RefFromTV: PROC [tv: REF] RETURNS [REF] = { IF tv = NIL THEN RETURN [NIL]; IF ~ISTYPE [tv, AMTypes.TV] THEN ERROR; TRUSTED {RETURN [AMBridge.SomeRefFromTV[tv]]} }; ByteAddrToSoftcardAddr: PUBLIC PROC[addr: CARD32] RETURNS[softAddr: CARD32] = { softAddr _ 100000H+(addr MOD 100000H)/2; }; <> <<>> TRUSTED { Process.Detach[FORK TheWatcherProc] }; END.