
DIRECTORY
Atom,
C2CAccess,
C2CAccessInternal,
C2CBasics,
IntCodeDefs,
IO,
PreDebug,
Rope;

C2CAccessImpl: CEDAR MONITOR
IMPORTS Atom, C2CBasics, IO, PreDebug 
EXPORTS C2CAccess, C2CAccessInternal, C2CBasics =
BEGIN
occupied: BOOL м FALSE; --monitored
Enter: ENTRY PROC [] RETURNS [failure: BOOL] = {
failure м occupied;
occupied м TRUE
};

Leave: PROC [] = {
occupied м FALSE
};

ExcludeReEntry: PUBLIC PROC [inner: PROC[]] = {
IF Enter[].failure THEN ERROR ImSorryC2CIsNotReEntrant;
inner[ ! UNWIND => Leave[]];
Leave[]
};
FatalError: PUBLIC ERROR [what: Rope.ROPE м NIL] = CODE;
CantHappen: PUBLIC SIGNAL = CODE;
CantHappenCedar: PUBLIC SIGNAL = CODE;
CantHappenPreprocessed: PUBLIC SIGNAL = CODE;
CaseMissing: PUBLIC SIGNAL = CODE;
NotYetImpl: PUBLIC SIGNAL = CODE;
NotYetImplPreprocessed: PUBLIC SIGNAL = CODE;

ImSorryC2CIsNotReEntrant: PUBLIC ERROR = CODE;

errorStream: IO.STREAM м NIL;

ErrorStream: PUBLIC PROC [] RETURNS [stream: IO.STREAM] = {
IF ~occupied THEN ERROR;
IF errorStream#NIL THEN RETURN [errorStream];
errorStream м stream м params.getErrorStream[];
IO.PutF1[stream, "C2C of %g\n", IO.rope[C2CBasics.c2cVersion]];
IO.PutF[stream, "%g.errlog   -- %g\n\n", IO.rope[params.moduleName], IO.time[]];
};

Report: PUBLIC PROC [what: Rope.ROPEмNIL] = {
IO.PutRope[params.reportStream, what];
};
params: PUBLIC C2CAccess.InputParameters;
labelWithLambda: PUBLIC IntCodeDefs.LabelNode;
rootNode: PUBLIC IntCodeDefs.Node;

CallC2C: PUBLIC PROC [parameters: C2CAccess.InputParameters] RETURNS [ok: BOOL, synopsis: Rope.ROPE] = {
IF ~occupied THEN ERROR;
errorStream м NIL;
properties м NIL;
IF parameters.reportStream=NIL THEN parameters.reportStream м IO.noWhereStream;
IF parameters.lineNumberStream=NIL THEN parameters.lineNumberStream м IO.noWhereStream;
params м parameters;
rootNode м parameters.root;
labelWithLambda м NIL;
CallCallBacks[];
realyDoC2C[];
ok м errorStream=NIL;
};
properties: Atom.PropList м NIL;

GetProp: PUBLIC PROC [key: REF] RETURNS [val: REF] = {
RETURN [Atom.GetPropFromList[properties, key]]
};

PutProp: PUBLIC PROC [key, val: REF] = {
properties м Atom.PutPropOnList[properties, key, val]
};
ctxTop: PUBLIC REF C2CBasics.ContextSequence м NIL;
InitializeCtx: PROC [] = {
ctxDefault: NAT = 50;
IF ctxTop=NIL THEN ctxTop м NEW[C2CBasics.ContextSequence[ctxDefault]];
ctxTop.idx м 0; 
ctxTop.seq[0] м [$top, NIL, NIL]; --stops searching
};

PushContext: PUBLIC PROC [ctx: C2CBasics.Context] = {
ctxTop.idx м ctxTop.idx+1;
IF ctxTop.idx>ctxTop.max THEN {
ctx1: REF C2CBasics.ContextSequence м NEW[C2CBasics.ContextSequence[ctxTop.max+50]];
ctx1.idx м ctxTop.idx;
FOR i: NAT IN [0..ctxTop.idx) DO
ctx1.seq[i] м ctxTop.seq[i];
ENDLOOP;
ctxTop м ctx1;
};
ctxTop.seq[ctxTop.idx] м ctx;
};

PopContext: PUBLIC PROC [] = {
ctxTop.idx м ctxTop.idx-1
};
realyDoC2C: PROC;
callbacks: LIST OF PROC м NIL;

CallbackWhenC2CIsCalled: PUBLIC PROC[p: PROC] = {
callbacks м CONS[p, callbacks];
};
CallCallBacks: PROC [] = {
FOR pl: LIST OF PROC м callbacks, pl.rest WHILE pl#NIL DO
pl.first[];
ENDLOOP;
};

RegisterThisToBeC2C: PUBLIC PROC[p: PROC] = {
realyDoC2C м p;
};

PreDebug.RegisterErrorExplainer[FatalError, NIL, "C2C error: FatalError"];
PreDebug.RegisterSignalExplainer[CantHappen, NIL, "C2C error: CantHappen"];
PreDebug.RegisterSignalExplainer[CantHappenCedar, NIL, "C2C error: CantHappenCedar"];
PreDebug.RegisterSignalExplainer[CantHappenPreprocessed, NIL, "C2C error: CantHappenPreprocessed"];
PreDebug.RegisterSignalExplainer[CaseMissing, NIL, "C2C error: CaseMissing"];
PreDebug.RegisterSignalExplainer[NotYetImpl, NIL, "C2C error: NotYetImpl"];
PreDebug.RegisterSignalExplainer[NotYetImplPreprocessed, NIL, "C2C error: NotYetImplPreprocessed"];
PreDebug.RegisterErrorExplainer[ImSorryC2CIsNotReEntrant, NIL, "C2C error: C2C is not re-entrant"];
C2CBasics.CallbackWhenC2CIsCalled[InitializeCtx];
END.

    
C2CAccessImpl.mesa
Copyright ╙ 1990, 1991, 1992 by Xerox Corporation.  All rights reserved.
Christian Jacobi, October 4, 1990 3:41:19 pm PDT
Christian Jacobi, January 15, 1993 4:46 pm PST
Note: only C2CAccess features are monitored, all C2CAccessInternal features are protected 

<<c2cVersion: PUBLIC Rope.ROPE; -- Exported by C2CVersionImpl>>
The re-entrance lock, monitored
Error handling and reporting
Errors in C2CBasics
Errors in C2CAcces
Global state of compilation
Properties
Context nonsence
Initialization stuff

 Э╩h  ХNewlineDelimiter
Ц(cedarcode) styleЩ codeЪЬЩKЪЬ
╧eЬ=ЩHKЪЬ0Щ0KЩ.KШ Ъ╧k	Ш	KЪЬШKЪЬ
Ш
KЪЬШKЪЬ
Ш
KЪЬШKЪЬШKШ	KШKШ ЧЧЪ╧nЬЮЬЮШKЪЬZЩZKЪЮЬЮЬ	ЮЬ	Ш&KЪЮЬ*Ш1ЧKЪЮШKЩ KЪЬ?Щ?headЪ╧bЩKЪЬ
ЮЬЮЬ╧cШ#Ъ
ЯЬЮЬЮЬЮЬЮЬШ0KЪЬШKЪЬЮШKШKШ ЧЪЯЬЮЬШKЪЬЮШKШЧKШ ЪЯЬЮЬЮЬ	ЮЬШ/KЪЮЬЮЬЮЬШ7KЪЬ	ЮЬШKЪЬШKЪЬШЧЧЪЯЩЪЯЩKЪЯ
ЬЮЬЮЬЮЬЮЬЮЬШ8KЪЯ
ЬЮЬЮЬЮЬШ!KЪЯЬЮЬЮЬЮЬШ&KЪЯЬЮЬЮЬЮЬШ-KЪЯЬЮЬЮЬЮЬШ"KЪЯ
ЬЮЬЮЬШ!KЪЯЬЮЬЮЬШ-ЧKШ ЪЯЩKЪЯЬЮЬЮЬЮЬШ.ЧЧШ KЪЬЮЬЮЬЮЬШKШ impЪЯЬЮЬЮЬЮЬ
ЮЬЮЬШ;KЪЮЬЮЬЮЬШMЪЮЬЮЬЮЬЮЬШ-MЪЬ/Ш/MЪЮЬЮЬШ?MЪЮЬ'ЮЬЮЬ	ШPMЪЬШMШ ЧЪЯЬЮЬЮЬЮЬШ-KЪЮЬ$Ш&KШЧЧЪЯЩKЪЬЮЬШ)KЪЬЮЬШ.KЪЬ
ЮЬШ"KШ ЪЯЬЮЬЮЬ)ЮЬЮЬЮЬШhKЪЮЬЮЬЮЬШKЪЬЮЬШKЪЬЮЬШKЪЮЬЮЬЮЬЮЬШOKЪЮЬЮЬЮЬЮЬШWKЪЬШKЪЬШKЪЬШKШKЪЬШKЪЬЮЬШKЪЬШЧЧЪЯ
Щ
KЪЬЮШ KШ ЪЯЬЮЬЮЬЮЬЮЬЮЬШ6KЪЮЬ(Ш.KШЧKШ ЪЯЬЮЬЮЬЮЬШ(KЪЬ5Ш5KШЧЧЪЬЩЪЬЮЬЮЬЮЬШ3ЪЯЬЮЬШKЪЬЮЬШKЪЮЬЮЬЮЬ
ЮЬ(ШGKЪЬШKЪЬЮЬЮЬбШ3KШKШ ЧЪЯЬЮЬЮЬШ5KЪЬШЪЮЬЮЬШKЪЬЮЬЮЬ+ШTKЪЬШЪЮЬЮЬЮЬЮШ KЪЬШKЪЮЬШЧKЪЬШKЪЬШЧKЪЬШKЪЬШKШ ЧЪЯ
ЬЮЬЮЬШKЪЬШKЪЬШЧЧЧЪЯЩKЪЬЮЬШMЪ	ЬЮЬЮЬЮЬЮЬШMШ ЪЯЬЮЬЮЬЮЬШ1MЪЬЮЬШMЪЬШMЩ ЧЪЯЬЮЬШЪЮЬЮЬЮЬЮЬЮЬЮЬЮШ9KЪЬШKЪЮЬШЧKШЧKШ ЪЯЬЮЬЮЬЮЬШ-MЪЬШMЪЬШMШ ЧЧKЪЬ,ЮЬШJKЪЬ-ЮЬШKKЪЬ2ЮЬ ШUKЪЬ9ЮЬ'ШcKЪЬ.ЮЬШMKЪЬ-ЮЬШKKЪЬ9ЮЬ'ШcKЪЬ:ЮЬ&ШcKШ1KЪЮЬШKШ Ч ЕЧ      А  