DIRECTORY
FakeCirio,
TargetArchitecture,
BreakWorldArchitecture,
IncrementalLoad,
Rope, 
UXStrings;

FakeCirioImpl: CEDAR PROGRAM
IMPORTS 
FakeCirio, TargetArchitecture, BreakWorldArchitecture, IncrementalLoad, Rope, UXStrings
EXPORTS FakeCirio
~ {

PeekContents: PUBLIC BreakWorldArchitecture.PeekContentsProc ~ TRUSTED {
contents: TargetArchitecture.Contents ¬ TargetArchitecture.nullContents;

IF address.IsNullAddress[] THEN {
ERROR FakeCirio.Cant[message: "PeekContents[nullAddress]"];
};
{
targetAddress: TargetArchitecture.Address ~ 
BreakWorldArchitecture.TargetAddressFromBreakWorldAddress[address: address];

IF targetAddress.IsNullAddress[] THEN {
ERROR FakeCirio.Cant[message: "PeekContents[nullTargetAddress]"];
};
{
contentsAddress: POINTER TO TargetArchitecture.Contents ~ LOOPHOLE[targetAddress];

contents ¬ contentsAddress­;
};
};

RETURN [contents];
};

PokeContents: PUBLIC BreakWorldArchitecture.PokeContentsProc ~ TRUSTED {
IF address.IsNullAddress[] THEN {
ERROR FakeCirio.Cant[message: "PokeContents[nullAddress]"];
};
{
targetAddress: TargetArchitecture.Address ~ 
BreakWorldArchitecture.TargetAddressFromBreakWorldAddress[address: address];

IF targetAddress.IsNullAddress[] THEN {
ERROR FakeCirio.Cant[message: "PokeContents[nullTargetAddress]"];
};
{
contentsAddress: POINTER TO TargetArchitecture.Contents ~ LOOPHOLE[targetAddress];

contentsAddress­ ¬ contents;
};
};
RETURN;
};

GetProcAddress: PUBLIC BreakWorldArchitecture.GetProcAddressProc ~ TRUSTED {
procAddress: BreakWorldArchitecture.Address ¬ BreakWorldArchitecture.nullAddress;

IF breakWorld.IsNullBreakWorld[] THEN {
ERROR FakeCirio.Cant[message: "GetProcAddress[nullBreakWorld]"];
};
IF procName.IsEmpty[] THEN {
ERROR FakeCirio.Cant[message: "GetProcAddress[nullProcName]"];
};
{
procString: UXStrings.CString ~ UXStrings.Create[from: procName];
symEntry: IncrementalLoad.SymEntry ~ IncrementalLoad.LookupSymEntry[
sym: procString, externOnly: FALSE];

IF symEntry = NIL THEN {
ERROR FakeCirio.Cant[message: "GetProcAddress[nullSymEntry]"];
};
{
procTargetAddress: TargetArchitecture.Address ~ LOOPHOLE[symEntry.value];

IF procTargetAddress.IsNullAddress[] THEN {
ERROR FakeCirio.Cant[message: "GetProcAddress[nullProcTargetAddress]"];
};
procAddress ¬ BreakWorldArchitecture.NewAddress[
breakWorld: breakWorld, address: procTargetAddress];
};
};
RETURN [procAddress];
};

GetProcDataSegment: PUBLIC BreakWorldArchitecture.GetProcDataSegmentProc ~ TRUSTED {
procDataSegment: BreakWorldArchitecture.Address ¬ BreakWorldArchitecture.nullAddress;
symEntry: IncrementalLoad.SymEntry;

IF breakWorld.IsNullBreakWorld[] THEN {
ERROR FakeCirio.Cant[message: "GetProcDataSegment[nullBreakWorld]"];
};
IF address.IsNullAddress[] THEN {
ERROR FakeCirio.Cant[message: "GetProcDataSegment[nullAddress]"];
};
symEntry ¬ IncrementalLoad.LookupSymEntryByValue[val: LOOPHOLE[address.address]];

IF symEntry = NIL THEN {
ERROR FakeCirio.Cant[message: "GetProcDataSegment[nullSymEntry]"];
};
RETURN [BreakWorldArchitecture.NewAddress[breakWorld, LOOPHOLE[symEntry.fe.data.s]]];
};

GetPatchArea: PUBLIC BreakWorldArchitecture.GetPatchAreaProc ~ TRUSTED {
patchAreaRep: BreakWorldArchitecture.PatchAreaRep ¬ BreakWorldArchitecture.nullPatchAreaRep;

IF address.IsNullAddress[] THEN {
ERROR FakeCirio.Cant[message: "GetPatchArea[nullAddress]"];
};
{
breakWorld: BreakWorldArchitecture.BreakWorld ~ 
BreakWorldArchitecture.BreakWorldFromBreakWorldAddress[address: address];
targetAddress: TargetArchitecture.Address ~ 
BreakWorldArchitecture.TargetAddressFromBreakWorldAddress[address: address];

IF breakWorld.IsNullBreakWorld[] THEN {
ERROR FakeCirio.Cant[message: "GetPatchArea[nullBreakWorld]"];
};
IF targetAddress.IsNullAddress[] THEN {
ERROR FakeCirio.Cant[message: "GetPatchArea[nullTargetAddress]"];
};
{
symEntry: IncrementalLoad.SymEntry ~ 
IncrementalLoad.LookupSymEntryByValue[val: LOOPHOLE[targetAddress]];

IF symEntry = NIL THEN {
ERROR FakeCirio.Cant[message: "GetProcAddress[nullSymEntry]"];
};
{
fileEntry: IncrementalLoad.FileEntry ~ symEntry.fe;

IF fileEntry = NIL THEN {
ERROR FakeCirio.Cant[message: "GetPatchArea[nullFileEntry]"];
};
patchAreaRep.address ¬ BreakWorldArchitecture.NewAddress[
breakWorld: breakWorld, address: LOOPHOLE[fileEntry.patch.s]];
patchAreaRep.byteSize ¬ fileEntry.patch.len;
};
};
};
RETURN [patchAreaRep];
};

Cant: PUBLIC ERROR [message: Rope.ROPE] ~ CODE;
}.

  ¶  
FakeCirioImpl.mesa
Copyright Ó 1989, 1990, 1991, 1993 by Xerox Corporation.  All rights reserved.
Peter B. Kessler, April 18, 1990 5:17 pm PDT
Michael Plass, November 26, 1991 5:17 pm PST
Willie-s, May 21, 1992 5:31 pm PDT

PROCEDURE [address: BreakWorldArchitecture.Address] 
RETURNS [TargetArchitecture.Contents]
PROCEDURE [address: BreakWorldArchitecture.Address, contents: TargetArchitecture.Contents] RETURNS []
PROCEDURE [breakWorld: breakWorld, procName: Rope.ROPE] 
RETURNS [BreakWorldArchitecture.Address]
PROCEDURE [breakWorld: BreakWorld, address: Address] RETURNS [Address];
PROCEDURE [address: BreakWorldArchitecture.Address] 
RETURNS [BreakWorldArchitecture.PatchAreaRep]
 ÊI  –(cedarcode) style•NewlineDelimiter
™ codešœ™Kšœ
ÐerœC™NK™,K™,K™"K™ šÏk	˜	K˜
Kšœ˜Kšœ˜Kšœ˜K˜Kšœ
˜
—K˜ —unitšÐlnœžœž˜šžœ˜KšœW˜W—Kšžœ	˜Kšœ˜K˜ šÏnœžœ+žœ˜HKšž	œ+žœ™ZKšœH˜HK˜ šžœžœ˜!Kšžœ6˜;Kšœ˜—˜šœ,˜,KšœL˜L—K˜ šžœžœ˜'Kšžœ<˜AKšœ˜—˜Kšœžœžœžœ˜RK˜ Kšœ˜K˜—K˜—K˜ Kšžœ˜Kšœ˜K˜ —š œžœ+žœ˜HKšž	œRžœ™ešžœžœ˜!Kšžœ6˜;Kšœ˜—˜šœ,˜,KšœL˜L—K˜ šžœžœ˜'Kšžœ<˜AKšœ˜—˜Kšœžœžœžœ˜RK˜ Kšœ˜K˜—K˜—Kšžœ˜Kšœ˜K˜ —š œžœ-žœ˜LKšž	œ)žœžœ!™aKšœQ˜QK˜ šžœžœ˜'Kšžœ;˜@Kšœ˜—šžœžœ˜Kšžœ9˜>Kšœ˜—˜KšœA˜AšœD˜DKšœžœ˜$—K˜ šžœžœ˜Kšžœ9˜>Kšœ˜—˜Kšœ0žœ˜IK˜ šžœ#žœ˜+KšžœB˜GKšœ˜—šœ0˜0Kšœ4˜4—K˜—K˜—Kšžœ˜Kšœ˜K˜ —š œžœ1žœ˜TKšž	œ,žœ™GK˜UK˜#K˜ šžœžœ˜'Kšžœ?˜DKšœ˜—šžœžœ˜!Kšžœ<˜AKšœ˜—šœ6žœ˜QK˜ —šžœžœžœ˜Kšžœ=˜BKšœ˜—Kšžœ0žœ˜UKšœ˜K˜ —š œžœ+žœ˜HKšž	œ+žœ&™bKšœ\˜\K˜ šžœžœ˜!Kšžœ6˜;Kšœ˜—˜šœ0˜0KšœI˜I—šœ,˜,KšœL˜L—K˜ šžœžœ˜'Kšžœ9˜>Kšœ˜—šžœžœ˜'Kšžœ<˜AKšœ˜—šœ˜šœ%˜%Kšœ+žœ˜D—K˜ šžœžœ˜Kšžœ9˜>Kšœ˜—˜Kšœ3˜3K˜ šžœžœ˜Kšžœ8˜=Kšœ˜—šœ9˜9Kšœ!žœ˜>—Kšœ,˜,K˜—Kšœ˜—K˜—Kšžœ˜Kšœ˜K˜ —Kš
 œžœžœžœžœ˜/L˜—K˜ — …—    $  #  