OctalCommands.mesa: wizards debugging aids
Copyright © 1985, 1986 by Xerox Corporation. All rights reserved.
Russ Atkinson (RRA) June 11, 1986 5:51:17 pm PDT
DIRECTORY
Allocator USING [NormalHeader],
AMBridge USING [GetWorld, GFHFromTV, IsRemote, IsStarted, RemoteGFHFromTV, TVForFrame, TVForGFHReferent, TVForProc, TVForReferent, TVForRemoteFrame, TVForRemoteGFHReferent, TVToCardinal],
AMEvents USING [BreakID, ClearBreak, SetBreak],
AMModel USING [Context],
AMModelPrivate USING [FindMatchingGlobalFrames],
AMTypes USING[GetEmptyTV, Globals, IndexToName, IndexToTV, NComponents, TV, TVType],
BackStop USING [Call],
Commander USING [Handle],
Convert USING [RopeFromCard], -- for non-standard number bases
EvalQuote USING [EvalQuoteProc, Register],
InterpreterOps USING [EnumerateSymbols, Eval, EvalHead, GetArg, RegisterTV, Ruminant, Tree, TreeToName, WorldFromHead],
InterpreterPrivate USING [GetGlobalSymTab],
IO USING [Put, PutChar, PutF, PutF1, PutRope, STREAM],
PPLeaves USING [LTIndex],
PrincOps USING [FrameCodeBase],
PrintTV USING [Print],
ProcessProps USING [GetProp],
Rope USING [Cat, Fetch, Flatten, Length, Match, ROPE, Size, SkipTo],
RTTypesPrivate USING [TypedVariableHead, TypedVariableRec],
RuntimeError USING [UNCAUGHT],
SafeStorage USING [Type],
SymTab USING [Ref],
WorldVM USING [Address, CurrentIncarnation, LocalWorld, Long, LongRead, Read, World, Write];
OctalCommands: CEDAR MONITOR
IMPORTS AMBridge, AMEvents, AMModelPrivate, AMTypes, BackStop, Convert, EvalQuote, InterpreterOps, InterpreterPrivate, IO, PrintTV, ProcessProps, Rope, RuntimeError, WorldVM
= BEGIN OPEN Rope;
CARD: TYPE = LONG CARDINAL;
TV: TYPE = AMTypes.TV;
STREAM: TYPE = IO.STREAM;
Type: TYPE = SafeStorage.Type;
TypedVariableHead: TYPE = RTTypesPrivate.TypedVariableHead;
TypedVariableRec: TYPE = RTTypesPrivate.TypedVariableRec;
ShortAddrHack: CARDINAL = 100000B;
Bit1: TYPE = CARDINAL [0..2);
Bit2: TYPE = CARDINAL [0..4);
Bit4: TYPE = CARDINAL [0..16);
Bit8: TYPE = CARDINAL [0..256);
Array1: TYPE = PACKED ARRAY [0..16) OF Bit1;
Array2: TYPE = PACKED ARRAY [0..8) OF Bit2;
Array4: TYPE = PACKED ARRAY [0..4) OF Bit4;
Array8: TYPE = PACKED ARRAY [0..2) OF Bit8;
Pair: TYPE = MACHINE DEPENDENT RECORD [lo,hi: CARDINAL];
safetyCheck: BOOLTRUE;
Help: PROC [pattern: ROPE] = {
put: STREAM ← GetSTREAM[];
sTab: REF ← ProcessProps.GetProp[$InterpreterSymTab];
enumerate the global symtab and the local symtab (if one exists)
inner: InterpreterOps.Ruminant = {
[name: ROPE, help: ROPE, tv: TV, data: REF] RETURNS [stop: BOOL]
IsDigit: PROC[ch: CHAR] RETURNS[BOOL] ={RETURN[ch IN ['0 .. '9]];};
IF Rope.Match[pattern, name, FALSE]
AND (name.Length[] < 2 OR name.Fetch[0] # '& OR NOT IsDigit[name.Fetch[1]])
THEN IO.PutF[put, " %g: %g\n", [rope[name]], [rope[IF help # NIL THEN help ELSE "(no help rope)"]] ];
RETURN[FALSE];
};
[] ← InterpreterOps.EnumerateSymbols[inner];
IF sTab # NIL THEN TRUSTED {
[] ← InterpreterOps.EnumerateSymbols[proc: inner, symTab: LOOPHOLE[sTab, SymTab.Ref]];
};
};
FindMatching: PROC [name: ROPE, world: WorldVM.World ← NIL] = TRUSTED {
put: STREAM ← GetSTREAM[];
pos: INT ← name.SkipTo[0, "."];
globalName: ROPE ← name.Flatten[0, pos];
localName: ROPEIF (pos ← pos + 1) >= name.Size[] THEN NIL ELSE name.Flatten[pos];
tryElem: PROC [glob: TV, index: INT] = TRUSTED {
elem: TVNIL;
innerElem: PROC = TRUSTED {
elem ← AMTypes.IndexToTV[glob, index];
PrintTV.Print[elem, put];
IO.PutRope[put, "\n"];
};
msg: ROPE ← BackStop.Call[innerElem];
IF msg # NIL THEN IO.PutF1[put, "--{%g}--\n", [rope[msg]] ];
};
eachMatch: PROC[name: ROPE, gf: AMModel.Context] RETURNS[--stop:-- BOOL] = TRUSTED {
inner: PROC = TRUSTED {
glob: TV ← AMTypes.Globals[gf];
globType: Type ← AMTypes.TVType[glob];
n: NAT ← AMTypes.NComponents[globType];
first: BOOLTRUE;
FOR i: INT IN [1..n] DO
compName: ROPE ← AMTypes.IndexToName[globType, i];
IF NOT localName.Match[compName, FALSE] THEN LOOP;
IF first THEN {IO.PutRope[put, "\n"]; showGF[]; first ← FALSE};
IO.PutF1[put, " %g: ", [rope[compName]] ];
tryElem[glob, i];
ENDLOOP;
};
showGF: PROC = TRUSTED {
IO.PutRope[put, " "];
PrintTV.Print[gf, put];
IF NOT AMBridge.IsStarted[gf] THEN IO.PutRope[put, "~"];
IO.PutF1[put, " %bB\n", [cardinal[LoopholeOfGlobalFrame[gf]]] ];
};
msg: ROPENIL;
IF localName = NIL THEN {showGF[]; RETURN[TRUE]};
msg ← BackStop.Call[inner];
IF msg # NIL THEN put.PutRope[Rope.Cat[" --{", msg, "}--\n"]];
RETURN[FALSE];
};
IF world = NIL THEN world ← WorldVM.LocalWorld[];
[] ← AMModelPrivate.FindMatchingGlobalFrames[world, globalName, eachMatch];
};
OctalRead: PUBLIC PROC [
addr: CARD ← 0, len: CARDINAL ← 4,
width: CARDINAL ← 16, base: CARDINAL ← 8,
offset: CARDINAL ← 0] = TRUSTED {
world: WorldVM.World ← GetDefaultWorld[];
p: WorldVM.Address ← addr;
pos: CARDINAL ← 0;
poslim: CARDINAL ← 8;
put: STREAM ← GetSTREAM[];
IF base NOT IN [1..36] THEN {
IO.PutF1[put, "invalid base: %g", [integer[base]]];
RETURN};
SELECT width FROM
1,2,4,8,16,32 => {};
ENDCASE => {IO.PutF1[put, "invalid width: %g", [integer[width]]]; RETURN};
IF base < 8 OR width = 32 THEN poslim ← 4; -- hack!
IF base = 1 THEN width ← 8; -- another hack!
SELECT LOOPHOLE[p, Pair].hi FROM
0 => {
hack to lengthen the pointer
p ← WorldVM.Long[world, p]};
ShortAddrHack => {
special hack for the short octal read
LOOPHOLE[p, Pair].hi ← 0;
};
ENDCASE;
WHILE len > 0 DO
card: CARD ← 0;
pp: WorldVM.Address ← p;
pint: INT ← 0;
lo: CARDINAL ← 0;
SELECT width FROM
1 => pp ← p + offset / 16;
2 => pp ← p + offset / 8;
4 => pp ← p + offset / 4;
8 => pp ← p + offset / 2;
16 => pp ← p + offset;
32 => pp ← p + offset + offset;
ENDCASE => ERROR;
IF safetyCheck AND NOT IsValidAddr[world, pp] THEN {
IO.PutF1[put, "invalid address: %bB", [cardinal[pp]]];
RETURN};
card ← WorldVM.Read[world, pp];
lo ← LOOPHOLE[card, Pair].lo;
SELECT width FROM
1 => {
a: Array1 ← LOOPHOLE[lo];
card ← a[offset MOD 16]};
2 => {
a: Array2 ← LOOPHOLE[lo];
card ← a[offset MOD 8]};
4 => {
a: Array4 ← LOOPHOLE[lo];
card ← a[offset MOD 4]};
8 => {
a: Array8 ← LOOPHOLE[lo];
card ← a[offset MOD 2]};
16 => {};
32 => {
IF safetyCheck AND NOT IsValidAddr[world, pp+1] THEN {
IO.PutF1[put, "invalid address: %bB", [integer[pp + 1]]];
RETURN};
LOOPHOLE[card, Pair].hi ← WorldVM.Read[world, pp+1];
};
ENDCASE => ERROR;
IF pos = poslim THEN {
pos ← 0;
IF base = 1 THEN IO.PutChar[put, '"];
IO.PutChar[put, '\n]};
IF pos = 0
THEN {
IO.PutF1[put, "%bB: ", [cardinal[pp]]];
IF base = 1 THEN IO.PutChar[put, '"];
}
ELSE IF base # 1 THEN IO.PutChar[put, ' ];
pos ← pos + 1;
SELECT base FROM
10 => IO.Put[put, [cardinal[card]]];
8 => IO.PutF1[put, "%bB", [cardinal[card]]];
1 => {
-- print the ASCII value
short: CARDINAL ← card;
IF short IN [40B..176B]
THEN {
c: CHARLOOPHOLE[short];
IF c = '" OR c = '\\ THEN
IO.PutChar[put, '\\];
put.PutChar[c]}
ELSE IO.PutF1[put, "\\%bB", [cardinal[card]]]};
ENDCASE => put.PutRope[Convert.RopeFromCard[from: card, base: base]];
offset ← offset + 1;
len ← len - 1;
ENDLOOP;
IF base = 1 THEN IO.PutChar[put, '"];
IO.PutChar[put, '\n];
};
OctalReadShort: PROC [
addr: CARDINAL ← 0, len: CARDINAL ← 4,
width: CARDINAL ← 16, base: CARDINAL ← 8, offset: CARDINAL ← 0] = {
p: Pair ← [lo: addr, hi: ShortAddrHack];
OctalRead[LOOPHOLE[p], len, width, base, offset];
};
OctalWrite: PROC [addr: CARD ← 0, word: CARDINAL ← 0, len: INT ← 1] = TRUSTED {
world: WorldVM.World ← GetDefaultWorld[];
pair: Pair ← LOOPHOLE[addr];
p: WorldVM.Address ← LOOPHOLE[addr];
fault: WorldVM.Address ← 0;
SELECT pair.hi FROM
0 => {
hack to lengthen the pointer
p ← WorldVM.Long[world, p]};
ShortAddrHack => {
special hack for the short octal read
pair.hi ← 0;
p ← LOOPHOLE[pair];
};
ENDCASE;
IF addr = 0 OR p = 0 THEN {
put: STREAM ← GetSTREAM[];
IO.PutRope[put, "can't write through NIL"];
};
FOR i: INT IN [0..len) DO
ENABLE {
ABORTED => GO TO abort;
RuntimeError.UNCAUGHT => {fault ← p+i; EXIT};
};
WorldVM.Write[world, p+i, word];
ENDLOOP;
IF fault # 0 THEN {
put: STREAM ← GetSTREAM[];
IO.PutF1[put, "invalid address: %bB", [cardinal[fault]]];
};
EXITS abort => ERROR ABORTED;
};
OctalWriteShort: PROC [addr: CARDINAL ← 0, word: CARDINAL ← 0, len: INT ← 1] = {
p: Pair ← [lo: addr, hi: ShortAddrHack];
OctalWrite[LOOPHOLE[p], word];
};
AsciiRead: PROC [addr: CARD ← 0, bytes: NAT ← 8] = {
IF addr = 0 THEN RETURN;
OctalRead[addr, bytes, 8, 1, 0];
};
AsciiReadShort: PROC [addr: CARDINAL ← 0, bytes: NAT ← 8] = {
p: Pair ← [lo: addr, hi: ShortAddrHack];
OctalRead[LOOPHOLE[p], bytes, 8, 1, 0];
};
OctalReadCode: PROC [gf,pc: CARDINAL, bytes: CARDINAL ← 8] = TRUSTED {
OctalRead[GetCodeBase[GetDefaultWorld[], gf], bytes, 8, 8, pc];
};
OctalFindCode: PROC [
gf: CARDINAL, pc: CARDINAL ← 0,
b0,b1,b2,b3,b4,b5,b6,b7,b8,b9: CARDINAL ← 0] = TRUSTED {
put: STREAM ← GetSTREAM[];
addr: WorldVM.Address ← 0;
world: WorldVM.World ← GetDefaultWorld[];
{ ENABLE InvalidAddress => {IO.PutF1[put, "invalid address: %bB", [integer[bad]]]; GOTO bye};
target: ARRAY [0..10) OF CARDINAL = [b0,b1,b2,b3,b4,b5,b6,b7,b8,b9];
len: CARDINAL ← 10;
addr ← GetCodeBase[world, gf];
WHILE len > 0 DO
IF target[len-1] # 0 THEN EXIT;
len ← len - 1;
ENDLOOP;
IF len = 0 THEN RETURN;
DO
IF ReadByte[world, addr, pc] = b0 THEN {
found: BOOLTRUE;
FOR i: CARDINAL IN [1..len) WHILE found DO
found ← ReadByte[world, addr, pc+i] = target[i];
ENDLOOP;
IF found THEN EXIT};
pc ← pc + 1;
ENDLOOP;
IO.PutF1[put, "pc = %bB", [cardinal[pc]]];
OctalRead[addr + (pc/2), len, 8, 8, pc MOD 2]
};
EXITS
bye => {};
};
DiagRef: PROC [addr: CARD] RETURNS [Allocator.NormalHeader] = TRUSTED {
world: WorldVM.World ← GetDefaultWorld[];
RETURN [LOOPHOLE[WorldVM.LongRead[world, addr-SIZE[Allocator.NormalHeader]]]];
};
AddressHelper: EvalQuote.EvalQuoteProc = TRUSTED {
[head: InterpreterOps.EvalHead, tree: InterpreterOps.Tree, target: Type ← nullType, data: REFNIL] RETURNS [return: TV]
arg: InterpreterOps.Tree = InterpreterOps.GetArg[tree, 1];
address: CARD ← 0;
tv: TV ← InterpreterOps.Eval[arg, head, target];
WITH tv SELECT FROM
tvr: REF TypedVariableRec =>
WITH tvr.head SELECT FROM
ref: reference TypedVariableHead => address ← LOOPHOLE[ref.ref];
rr: remoteReference TypedVariableHead => address ← LOOPHOLE[rr.remoteRef.ref];
ptr: pointer TypedVariableHead => address ← LOOPHOLE[ptr.ptr];
rp: remotePointer TypedVariableHead => address ← LOOPHOLE[rp.remotePointer.ptr];
gfh: gfh TypedVariableHead => address ← LOOPHOLE[LONG[gfh.gfh]];
rgfh: remoteGFH TypedVariableHead =>
address ← LOOPHOLE[WorldVM.Long[rgfh.remoteGlobalFrameHandle.world, rgfh.remoteGlobalFrameHandle.gfh]];
fh: fh TypedVariableHead => address ← LOOPHOLE[LONG[fh.fh]];
rfh: remoteFH TypedVariableHead =>
address ← LOOPHOLE[WorldVM.Long[rfh.remoteFrameHandle.world, rfh.remoteFrameHandle.fh]];
ENDCASE => GO TO none;
ENDCASE => GO TO none;
WITH tv SELECT FROM
emTV: REF embedded TypedVariableRec => address ← address + emTV.fd.wordOffset;
entire: REF entire TypedVariableRec => {};
ENDCASE => GO TO none;
RETURN [AMBridge.TVForReferent[NEW[CARD ← address], readOnly]];
EXITS none => RETURN [AMTypes.GetEmptyTV[]];
};
HelpHelper: EvalQuote.EvalQuoteProc = TRUSTED {
[head: InterpreterOps.EvalHead, tree: InterpreterOps.Tree, target: Type ← nullType, data: REFNIL] RETURNS [return: TV]
arg: InterpreterOps.Tree ← InterpreterOps.GetArg[tree, 1];
rope: ROPE ← InterpreterOps.TreeToName[arg];
IF rope = NIL THEN
WITH arg SELECT FROM
lit: PPLeaves.LTIndex =>
WITH lit.value SELECT FROM
ropeVal: ROPE => rope ← ropeVal;
ENDCASE;
ENDCASE;
Help[rope];
RETURN [AMTypes.GetEmptyTV[]];
};
FindMatchingHelper: EvalQuote.EvalQuoteProc = TRUSTED {
[head: InterpreterOps.EvalHead, tree: InterpreterOps.Tree, target: Type ← nullType, data: REF ← NIL] RETURNS [return: TV]
arg: InterpreterOps.Tree ← InterpreterOps.GetArg[tree, 1];
rope: ROPE ← InterpreterOps.TreeToName[arg];
IF rope = NIL THEN
WITH arg SELECT FROM
lit: PPLeaves.LTIndex =>
WITH lit.value SELECT FROM
ropeVal: ROPE => rope ← ropeVal;
ENDCASE;
ENDCASE;
FindMatching[rope];
RETURN [AMTypes.GetEmptyTV[]];
};
InvalidAddress: ERROR [bad: WorldVM.Address] = CODE;
ReadByte: PROC [world: WorldVM.World, addr: WorldVM.Address, pc: CARDINAL] RETURNS [Bit8] = TRUSTED {
card: CARDINAL ← 0;
addr ← addr + (pc / 2);
IF safetyCheck AND NOT IsValidAddr[world, addr] THEN
ERROR InvalidAddress[addr];
pc ← pc MOD 2;
card ← WorldVM.Read[world, addr];
RETURN [LOOPHOLE[card, Array8][pc]];
};
SetOctalBreak: PUBLIC PROC [gf,pc: CARDINAL] = TRUSTED {
world: WorldVM.World ← GetDefaultWorld[];
put: STREAM ← GetSTREAM[];
id: AMEvents.BreakID ← NIL;
msg: ROPENIL;
inner: PROC = TRUSTED {
tv: TV
IF world = WorldVM.LocalWorld[]
THEN AMBridge.TVForGFHReferent[LOOPHOLE[gf]]
ELSE AMBridge.TVForRemoteGFHReferent
[[world, WorldVM.CurrentIncarnation[world], gf]];
id ← NewBreak[tv, gf, pc];
};
ShowBreak[put, gf, pc];
msg ← BackStop.Call[inner];
IF id # NIL
THEN IO.PutRope[put, " set.\n"]
ELSE {
IO.PutF1[put, " NOT set (%g).\n", [rope[IF msg = NIL THEN "duplicate" ELSE msg]] ];
};
};
localBreakList: LocalBreakList;
LocalBreakList: TYPE = LIST OF LocalBreakEntry;
LocalBreakEntry: TYPE = RECORD [
id: AMEvents.BreakID, world: WorldVM.World, gf,pc: CARDINAL];
NewBreak: ENTRY PROC [tv: TV, gf,pc: CARDINAL] RETURNS [id: AMEvents.BreakID ← NIL] = TRUSTED {
... adds a new break to the local list of octal breaks. It will get a private error out of AMEventsImpl if FrameBreak can't handle setting the break, including the case where there are duplicate breaks. This means that the caller has to be able to handle ANY error (sigh).
ENABLE UNWIND => NULL;
world: WorldVM.World ← AMBridge.GetWorld[tv];
FOR list: LocalBreakList ← localBreakList, list.rest UNTIL list = NIL DO
IF pc = list.first.pc AND gf = list.first.gf AND world = list.first.world THEN RETURN;
ENDLOOP;
id ← AMEvents.SetBreak[world, GetCodeBase[world, gf], pc, $OctalCommands];
localBreakList ← CONS[[id: id, world: world, gf: gf, pc: pc], localBreakList];
};
GetCodeBase: PROC [world: WorldVM.World, gfh: CARDINAL] RETURNS [addr: WorldVM.Address] = TRUSTED {
... gets the code base for the octal gfh, clearing out the code trap bit to be safe.
ENABLE UNWIND => NULL;
addr ← WorldVM.Long[world, gfh] + 1;
addr ← WorldVM.LongRead[world, addr]; -- code base
LOOPHOLE[addr, PrincOps.FrameCodeBase].out ← FALSE; -- stupid code traps!
};
FindBreak: ENTRY PROC [tv: TV, gf,pc: CARDINAL, delete: BOOLFALSE] RETURNS [id: AMEvents.BreakID ← NIL] = TRUSTED {
This procedure just runs around trying to find the given break. If one is found, it removes it if delete is TRUE, and calls AMEvents.ClearBreak to clear the succker. Since AMEvents can barf at this request, we have to be able to handle this problem.
ENABLE UNWIND => NULL;
lag: LocalBreakList ← NIL;
world: WorldVM.World ← AMBridge.GetWorld[tv];
FOR list: LocalBreakList ← localBreakList, list.rest UNTIL list = NIL DO
IF pc = list.first.pc AND gf = list.first.gf AND world = list.first.world THEN {
id ← list.first.id;
IF delete THEN {
IF lag = NIL THEN localBreakList ← list.rest ELSE lag.rest ← list.rest;
AMEvents.ClearBreak[id];
};
RETURN;
};
lag ← list;
ENDLOOP;
};
ClearOctalBreak: PUBLIC PROC [gf,pc: CARDINAL] = TRUSTED {
world: WorldVM.World ← GetDefaultWorld[];
put: STREAM ← GetSTREAM[];
id: AMEvents.BreakID ← NIL;
msg: ROPENIL;
inner: PROC = TRUSTED {
tv: TV
IF world = WorldVM.LocalWorld[]
THEN AMBridge.TVForGFHReferent[LOOPHOLE[gf]]
ELSE AMBridge.TVForRemoteGFHReferent
[[world, WorldVM.CurrentIncarnation[world], gf]];
id ← FindBreak[tv, gf, pc, TRUE]
};
ShowBreak[put, gf, pc];
msg ← BackStop.Call[inner];
IF id # NIL
THEN {
IO.PutRope[put, " cleared.\n"]
}
ELSE {
IO.PutF1[put, " NOT cleared (%g).\n", [rope[IF msg = NIL THEN "not found" ELSE msg]] ];
};
};
ListOctalBreaks: PUBLIC ENTRY PROC = TRUSTED {
ENABLE UNWIND => NULL;
put: STREAM ← GetSTREAM[];
IF localBreakList = NIL THEN {
IO.PutRope[put, "No current octal breaks.\n"];
RETURN};
IO.PutRope[put, "Current octal breaks:\n"];
FOR list: LocalBreakList ← localBreakList, list.rest UNTIL list = NIL DO
IO.PutRope[put, " "];
ShowBreak[put, list.first.gf, list.first.pc, "\n"];
ENDLOOP;
};
PrintLocalFrame: PROC [lf: CARDINAL] = TRUSTED {
put: STREAM ← GetSTREAM[];
tv: TV = TrustLocalFrame[lf];
oct: CARDINAL ← 0;
PrintTV.Print[tv: tv, put: put, verbose: TRUE];
};
PrintGlobalFrame: PROC [gf: CARDINAL] = TRUSTED {
put: STREAM ← GetSTREAM[];
tv: TV = TrustGlobalFrame[gf];
PrintTV.Print[tv: tv, put: put, verbose: TRUE];
};
TrustLocalFrame: PROC [lf: CARDINAL] RETURNS [tv: TV] = TRUSTED {
world: WorldVM.World ← GetDefaultWorld[];
IF world = WorldVM.LocalWorld[]
THEN tv ← AMBridge.TVForFrame[fh: LOOPHOLE[lf]]
ELSE
tv ← AMBridge.TVForRemoteFrame[[
world: world,
worldIncarnation: WorldVM.CurrentIncarnation[world],
fh: LOOPHOLE[lf]]];
};
TrustGlobalFrame: PROC [gf: CARDINAL] RETURNS [tv: TV] = TRUSTED {
world: WorldVM.World ← GetDefaultWorld[];
IF world = WorldVM.LocalWorld[]
THEN tv ← AMBridge.TVForGFHReferent[gfh: LOOPHOLE[gf]]
ELSE
tv ← AMBridge.TVForRemoteGFHReferent[[
world: world,
worldIncarnation: WorldVM.CurrentIncarnation[world],
gfh: LOOPHOLE[gf]]];
};
TrustLocalFrameHelper: EvalQuote.EvalQuoteProc = TRUSTED {
[head: InterpreterOps.EvalHead, tree: InterpreterOps.Tree, target: Type ← nullType, data: REFNIL] RETURNS [return: TV]
arg: InterpreterOps.Tree ← InterpreterOps.GetArg[tree, 1];
tv: TV ← InterpreterOps.Eval[arg, head, target];
RETURN [TrustLocalFrame[AMBridge.TVToCardinal[tv]]];
};
TrustGlobalFrameHelper: EvalQuote.EvalQuoteProc = TRUSTED {
[head: InterpreterOps.EvalHead, tree: InterpreterOps.Tree, target: Type ← nullType, data: REFNIL] RETURNS [return: TV]
arg: InterpreterOps.Tree ← InterpreterOps.GetArg[tree, 1];
tv: TV ← InterpreterOps.Eval[arg, head, target];
RETURN [TrustGlobalFrame[AMBridge.TVToCardinal[tv]]];
};
IsValidAddr: PROC [world: WorldVM.World, addr: WorldVM.Address] RETURNS [BOOL] = TRUSTED {
returns TRUE iff the page map has an entry for the address
[] ← WorldVM.Read[world, addr
! ABORTED => GO TO abort; RuntimeError.UNCAUGHT => GO TO bad];
RETURN [TRUE];
EXITS
bad => RETURN [FALSE];
abort => ERROR ABORTED;
};
GetDefaultWorld: PROC RETURNS [WorldVM.World] = TRUSTED {
head: InterpreterOps.EvalHead = NARROW[ProcessProps.GetProp[$EvalHead]];
RETURN[InterpreterOps.WorldFromHead[head]];
};
GetSTREAM: PROC RETURNS [stream: STREAM] = TRUSTED {
WITH ProcessProps.GetProp[$CommanderHandle] SELECT FROM
command: Commander.Handle => {
stream ← command.out;
};
ENDCASE;
IF stream = NIL THEN ERROR;
};
ShowBreak: PROC [st: STREAM, gf: CARDINAL, pc: CARDINAL, suffix: ROPENIL] = {
IO.PutF[st, "Break at (gf: %bB, pc: %bB)%g", [cardinal[gf]], [cardinal[pc]], [rope[suffix]] ];
};
LoopholeOfGlobalFrame: PROC [gfTV: TV] RETURNS [CARD] = TRUSTED {
IF AMBridge.IsRemote[gfTV]
THEN RETURN [LOOPHOLE[AMBridge.RemoteGFHFromTV[gfTV].gfh, CARDINAL]]
ELSE RETURN [LOOPHOLE[AMBridge.GFHFromTV[gfTV], CARDINAL]];
};
RegisterCommands: PROC = {
RegisterOne[OctalRead, "&or[ptr,len]\tOctal Read"];
RegisterOne[OctalReadShort, "&ors[ptr,len]\tOctal Read Short"];
RegisterOne[OctalWrite, "&ow[ptr,word,len]\tOctal Write"];
RegisterOne[OctalWriteShort, "&ows[ptr,word,len]\tOctal Write Short"];
RegisterOne[AsciiRead, "&ar[ptr,len]\tAscii Read"];
RegisterOne[AsciiReadShort, "&ars[ptr,len]\tAscii Read Short"];
RegisterOne[OctalReadCode, "&orc[gf,pc,len]\tOctal Read Code"];
RegisterOne[OctalFindCode, "&ofc[gf,pc,...]\tOctal Find Code"];
RegisterOne[SetOctalBreak, "&sob[gf,pc]\tSet Octal Break"];
RegisterOne[ClearOctalBreak, "&clob[gf,pc]\tCLear Octal Break"];
RegisterOne[ListOctalBreaks, "&lob[]\tList Octal Breaks"];
RegisterOne[Help, "&help[pattern]\tDescribe specified SymbolTable entries"];
RegisterOne[FindMatching, "&fm[pattern]\tFind Matching Global Frames"];
RegisterOne[TrustLocalFrame, "&tlf[lf]\tTrust Local Frame"];
RegisterOne[TrustGlobalFrame, "&tgf[gf]\tTrust Global Frame"];
RegisterOne[PrintLocalFrame, "&plf[lf]\tPrint Local Frame"];
RegisterOne[PrintGlobalFrame, "&pgf[gf]\tPrint Global Frame"];
RegisterOne[DiagRef, "&diagRef[addr]\tDiagnose Ref (show header)"];
EvalQuote.Register["&addr", AddressHelper, NIL]; -- like @ but more forgiving
EvalQuote.Register["&help", HelpHelper, NIL]; -- to allow an unquoted arg
EvalQuote.Register["&fm", FindMatchingHelper, NIL]; -- to allow an unquoted arg
EvalQuote.Register["&tlf", TrustLocalFrameHelper, NIL]; -- to remove a layer of TV
EvalQuote.Register["&tgf", TrustGlobalFrameHelper, NIL]; -- to remove a layer of TV
};
RegisterOne: PROC [proc: PROC ANY RETURNS ANYNIL, help: ROPENIL] = TRUSTED {
InterpreterOps.RegisterTV[
name: help.Flatten[0, help.SkipTo[0, "["]],
tv: AMBridge.TVForProc[proc],
help: help,
symTab: InterpreterPrivate.GetGlobalSymTab[]];
};
RegisterCommands[ ! RuntimeError.UNCAUGHT => CONTINUE];
END.