DIRECTORY
Ascii USING [Lower],
Atom USING [GetPName, MakeAtomFromRefText],
IO USING [PutRope, STREAM],
NodeStyle USING [ConsDataListObject, DataEntry, DataList, Ref],
NodeStyleWorks USING [bindingDict, StyleError, StyleForFrame],
ProcessProps USING [GetProp],
RefText USING [AppendRope, ObtainScratch, ReleaseScratch],
Rope USING [ActionType, Cat, Fetch, Length, Map, ROPE, Translate],
RuntimeError USING [UNCAUGHT],
SimpleFeedback USING [Append],
TJaM USING [APut, Array, AtomFromRope, Cmd, CommandProc, CvLit, CvX, Def, Dict, Execute, Frame, Load, NewArray, Object, Pop, PopAtom, PopInt, PopReal, PopRope, Push, PushBool, PushInt, PushReal, PushRope, Put, Register, RopeFromAtom, StackIsEmpty, TopType, TryToLoad];

NodeStyleWorks2Impl: CEDAR MONITOR
IMPORTS Ascii, Atom, IO, NodeStyle, NodeStyleWorks, ProcessProps, RefText, Rope, RuntimeError, SimpleFeedback, TJaM
EXPORTS NodeStyleWorks
~ BEGIN OPEN NodeStyle, NodeStyleWorks;

WhoIsExecuting: PUBLIC SIGNAL RETURNS [executingName: ATOM м NIL] ~ CODE;
Where: PUBLIC SIGNAL RETURNS [ROPE м NIL] ~ CODE;

Frame: TYPE ~ TJaM.Frame;
Object: TYPE ~ TJaM.Object;
ROPE: TYPE ~ Rope.ROPE;
GetCommand: PUBLIC PROC [frame: Frame, name: ATOM] RETURNS [TJaM.Cmd] ~ {
known: BOOL м FALSE;
obj: Object;
[known, obj] м TJaM.TryToLoad[frame, name];
IF NOT known THEN ERROR;
RETURN [TypeCheckCommand[obj]];
};

ForceLowerName: PUBLIC PROC [n: ATOM] RETURNS [ATOM] ~ {
IF n#NIL THEN {
rope: ROPE ~ Atom.GetPName[n];
CheckLower: Rope.ActionType ~ {quit м c IN ['A..'Z]};
IF Rope.Map[base: rope, action: CheckLower] THEN {
len: NAT ~ Rope.Length[rope];
text: REF TEXT ~ RefText.ObtainScratch[len];
FOR i: NAT IN[0..len) DO text[i] м Ascii.Lower[Rope.Fetch[rope, i]] ENDLOOP;
text.length м len;
n м Atom.MakeAtomFromRefText[text];
RefText.ReleaseScratch[text];
};
};
RETURN [n];
};

ForceLowerRope: PUBLIC PROC [r: ROPE] RETURNS [ROPE] ~ {
ForceCharLower: PROC [old: CHAR] RETURNS [new: CHAR] ~ {
RETURN [Ascii.Lower[old]] };
RETURN [Rope.Translate[base: r, translator: ForceCharLower]];
};

PopName: PUBLIC PROC [frame: Frame] RETURNS [name: ATOM] ~ {
ok: BOOL м TRUE;
obj: Object м NIL;
IF TJaM.StackIsEmpty[frame] THEN ok м FALSE;
IF ok THEN SELECT TJaM.TopType[frame] FROM
atom => RETURN [TJaM.PopAtom[frame]];
rope => RETURN [TJaM.AtomFromRope[TJaM.PopRope[frame]]]
ENDCASE => { ok м FALSE; obj м TJaM.Pop[frame]; };
IF NOT ok THEN {
TJaM.Push[frame, obj];
TJaM.PushRope[frame, " -- found where a name was expected."];
StyleError[frame, 2];
};
};

TryToPopName: PUBLIC PROC [frame: Frame] RETURNS [name: ATOM, ok: BOOL] ~ {
IF NOT TJaM.StackIsEmpty[frame] THEN SELECT TJaM.TopType[frame] FROM
atom => RETURN [name: TJaM.PopAtom[frame], ok: TRUE];
rope => RETURN [name: TJaM.AtomFromRope[TJaM.PopRope[frame]], ok: TRUE];
ENDCASE;
RETURN[name: NIL, ok: FALSE];
};

TryToPopReal: PUBLIC PROC [frame: Frame] RETURNS [value: REAL, ok: BOOL] ~ {
IF NOT TJaM.StackIsEmpty[frame] THEN SELECT TJaM.TopType[frame] FROM
number => RETURN [value: TJaM.PopReal[frame], ok: TRUE];
ENDCASE;
RETURN[value: 0, ok: FALSE];
};

TryToPopRope: PUBLIC PROC [frame: Frame] RETURNS [rope: ROPE, ok: BOOL] ~ {
IF NOT TJaM.StackIsEmpty[frame] THEN SELECT TJaM.TopType[frame] FROM
atom => RETURN [rope: TJaM.RopeFromAtom[TJaM.PopAtom[frame]], ok: TRUE];
rope => RETURN [rope: TJaM.PopRope[frame], ok: TRUE];
ENDCASE;
RETURN[rope: NIL, ok: FALSE];
};

TypeCheckName: PUBLIC PROC [obj: Object] RETURNS [ATOM] ~ {
WITH obj SELECT FROM
x: ATOM => RETURN [x];
x: ROPE => RETURN [TJaM.AtomFromRope[x]];
ENDCASE;
ERROR;
};

TypeCheckDict: PUBLIC PROC [obj: Object] RETURNS [TJaM.Dict] ~ {
WITH obj SELECT FROM
x: TJaM.Dict => RETURN [x];
ENDCASE;
ERROR;
};

TypeCheckCommand: PUBLIC PROC [obj: Object] RETURNS [TJaM.Cmd] ~ {
WITH obj SELECT FROM
x: TJaM.Cmd => RETURN [x];
ENDCASE;
ERROR;
};

IsCommentOp: TJaM.CommandProc ~ { 
style: Ref м StyleForFrame[frame];
TJaM.PushBool[frame, style.isComment];
};

IsPrintOp: TJaM.CommandProc ~ { 
style: Ref м StyleForFrame[frame];
TJaM.PushBool[frame, style.kind=print];
};

NestingLevelOp: TJaM.CommandProc ~ { 
style: Ref м StyleForFrame[frame];
TJaM.PushInt[frame, style.nestingLevel];
};
StyleParamOp: TJaM.CommandProc ~ {
initialValue: Object м TJaM.Pop[frame]; -- the initial value
name: ATOM м PopName[frame]; -- the parameter name
key: ATOM;
array: TJaM.Array;
[key, array] м SpecialOpArray[name, $SpecialOp];
TJaM.Def[frame, name, TJaM.CvX[array]]; -- store the definition
TJaM.Def[frame, key, initialValue]; -- store the initial value
};

SpecialOpArray: PUBLIC PROC [name: ATOM, op: Object] RETURNS [key: ATOM, array: TJaM.Array] ~ {
key м StyleParamKey[name];
array м TJaM.NewArray[2];
TJaM.APut[array, 0, TJaM.CvLit[key]];
TJaM.APut[array, 1, op];
};

StyleParamKey: PUBLIC PROC [name: ATOM] RETURNS [key: ATOM] ~ {
scratch: REF TEXT ~ RefText.ObtainScratch[50];
text: REF TEXT м scratch;
text м RefText.AppendRope[text, "!!"];
text м RefText.AppendRope[text, Atom.GetPName[name]];
key м Atom.MakeAtomFromRefText[text];
RefText.ReleaseScratch[scratch];
};

SpecialOp: TJaM.CommandProc ~ {
aName: BOOL;
name: ATOM;
var: ATOM;
style: Ref м StyleForFrame[frame];
Error: PROC ~ INLINE {
TJaM.Push[frame, var];
TJaM.PushRope[frame, "has illegal qualifier:"];
TJaM.Push[frame, name];
StyleError[frame, 3];
};
FindObject: PROC RETURNS [Object] ~ INLINE {
FOR x: DataList м style.dataList, x.next UNTIL x=NIL DO
WITH x SELECT FROM
xx: REF DataEntry.object => IF xx.name = var THEN RETURN [xx.object];
ENDCASE => NULL;
ENDLOOP;
TJaM.Push[frame, var];
TJaM.Execute[frame, load]; -- get the initial value
RETURN [TJaM.Pop[frame]];
};
Store: PROC [ob: Object] ~ INLINE {
style.dataList м NodeStyle.ConsDataListObject[var, ob, style.dataList];
};
Load: PROC ~ { TJaM.Push[frame, FindObject[]] };
SetReal: PROC [x: REAL] ~ INLINE {
TJaM.PushReal[frame, x];
Store[TJaM.Pop[frame]];
};
AddReal: PROC [inc: REAL] ~ INLINE {
value: REAL м 0.0;
Load[];
value м TJaM.PopReal[frame];
SetReal[value+inc];
};
SetName: PROC [n: ATOM] ~ INLINE {
TJaM.Push[frame, n];
Store[TJaM.Pop[frame]];
};
Percent: PROC [percent: REAL] ~ INLINE {
value: REAL м 0.0;
Load[];
value м TJaM.PopReal[frame];
SetReal[(percent*0.01)*value];
};
var м PopName[frame]; -- the name of the special parameter
[name, aName] м TryToPopName[frame];
IF NOT aName
THEN Store[TJaM.Pop[frame]] --store the object as new value
ELSE {
SELECT name FROM
$the => Load[];
$bigger => {
[name, aName] м TryToPopName[frame];
IF NOT aName
THEN AddReal[TJaM.PopReal[frame]]
ELSE IF name = $percent THEN Percent[100+TJaM.PopReal[frame]] ELSE { Error; RETURN };
};
$smaller => {
[name, aName] м TryToPopName[frame];
IF NOT aName
THEN AddReal[-TJaM.PopReal[frame]]
ELSE IF name = $percent THEN Percent[100-TJaM.PopReal[frame]] ELSE { Error; RETURN };
};
$percent => Percent[TJaM.PopReal[frame]];
ENDCASE => SetName[name];
};
};
RegisterStyleCommand: PUBLIC PROC [frame: Frame, name: ATOM,
proc: TJaM.CommandProc]  ~ {
TJaM.Register[frame, name, proc];
TJaM.Put[bindingDict, name, TJaM.Load[frame, name]];
};

RegisterStyleLiteral: PUBLIC PROC [frame: Frame, name: ATOM] ~ {
TJaM.Put[bindingDict, name, name];
TJaM.Def[frame, name, TJaM.CvLit[name]];
};

GetExecutingName: PROC RETURNS [executingName: ATOM] ~ -- must not be INLINE for PrincOps -- {
executingName м SIGNAL WhoIsExecuting[];
};

GetWhere: PROC RETURNS [msg: ROPE] ~ -- must not be INLINE for PrincOps -- {
msg м SIGNAL Where[];
};

ReportStyleErrorOp: TJaM.CommandProc ~ {
num: INT м TJaM.PopInt[frame];
msg1: ROPE м NIL;
msg: ROPE м NIL;
executingName: ATOM м NIL;
where: ROPE м NIL;
executingName м GetExecutingName[ ! RuntimeError.UNCAUGHT => CONTINUE];
where м GetWhere[ ! RuntimeError.UNCAUGHT => CONTINUE];
msg1 м Rope.Cat[
"Style error ",
IF executingName # NIL THEN Rope.Cat["in \"", Atom.GetPName[executingName], "\" rule "] ELSE NIL,
IF where # NIL THEN Rope.Cat["at ", where, " in doc "] ELSE NIL,
"- "
];
UNTIL num=0 DO
m: ROPE;
ok: BOOL;
[m, ok] м TryToPopRope[frame];
IF NOT ok THEN EXIT;
msg м IF msg = NIL THEN m ELSE Rope.Cat[m, " ", msg];
num м num-1;
ENDLOOP;
WITH ProcessProps.GetProp[$StdOut] SELECT FROM
errout: IO.STREAM => {
IO.PutRope[errout, "\n *** "];
IO.PutRope[errout, msg1];
IO.PutRope[errout, msg];
IO.PutRope[errout, "\n"];
};
ENDCASE => { SimpleFeedback.Append[$Tioga, begin, $Error, msg1]; SimpleFeedback.Append[$Tioga, end, $Error, msg] };
};

load: PUBLIC TJaM.Cmd;
get: PUBLIC TJaM.Cmd;
run: PUBLIC TJaM.Cmd;

RegisterWorks2: PUBLIC PROC [frame: Frame] ~ {
TJaM.Register[frame, $isComment, IsCommentOp];
TJaM.Register[frame, $isPrint, IsPrintOp];
TJaM.Register[frame, $nestingLevel, NestingLevelOp];
TJaM.Register[frame, $StyleParam, StyleParamOp];
TJaM.Register[frame, $SpecialOp, SpecialOp];
TJaM.Register[frame, $ReportStyleError, ReportStyleErrorOp];
};


END.
   Т  
NodeStyleWorks2Impl.mesa
Copyright ╙ 1985, 1987, 1988, 1991 by Xerox Corporation.  All rights reserved.
Written by Bill Paxton, January 1981
Paxton, June 3, 1983 3:35 pm
Maxwell, January 6, 1983 10:05 am
Russ Atkinson, March 7, 1985 3:37:01 am PST
Paul Rovner, August 10, 1983 4:43 pm
Rick Beach, March 28, 1985 9:56:35 am PST
Michael Plass, November 20, 1987 4:54:00 pm PST
Spreitze, July 9, 1990 4:48 pm PDT
Doug Wyatt, October 22, 1991 4:23 pm PDT

Support Procs
Readonly Style Variables
StyleParam Implementation
called to declare a special style parameter
create a 2-element array with (name, objectToExecute)
create a key which is "!!name" (sort of unique, don't you think)
like DoStyleOperation, but for special parameters

-- add it to the binding dictionary
-- add it to the binding dictionary
-- add it to the current dictionary
register the various style commands and JaM commands in this module
Э╩К  Ц(cedarcode) styleХNewlineDelimiter
Щ codeЪЬЩKЪЬ
╧eЬCЩNKЪЬ$Щ$KЪЬЩKЪЬ!Щ!KЩ+KЩ$KЩ)KЩ/KЩ"KЩ(KЩ ЧЪ╧k	Ш	KЪЬЮЬ	ШKЪЬЮЬ!Ш+KЪЮЬЮЬЮЬШKЪЬ
ЮЬ0Ш?KЪЬЮЬ*Ш>KЪЬЮЬШKЪЬЮЬ-Ш:KЪЬЮЬ'ЮЬШBKЪЬЮЬЮЬШKЪЬЮЬ
ШKЪЬЮЬВШМЧKШ KЪ╨blЬЮЬЮШ"KЪЮЬЮЬ\ШsKЪЮЬШЪЬЮЬЮЬШ'KШ KЪ╧nЬЮЬЮЬЮЬЮЬЮЬЮЬШIЪаЬЮЬЮЬЮЬЮЬЮЬЮЬШ1KШ ЧKЪЬЮЬШKЪЬЮЬШKЪЮЬЮЬЮЬШЧheadЪЬЩЪ
а
ЬЮЬЮЬЮЬЮЬШIKЪЬЮЬЮЬШKШKШ+KЪЮЬЮЬЮЬЮЬШKЪЮЬШKЪЬШKШ ЧЪ
аЬЮЬЮЬЮЬЮЬШ8ЪЮЬЮЬЮЬШKЪЬЮЬШKЪа
ЬЮЬШ5ЪЮЬ*ЮЬШ2KЪЬЮЬШKЪЬЮЬЮЬШ,KЪ
ЮЬЮЬЮЬ	ЮЬ,ЮЬШLKЪЬШKШ#KШKШЧKЪЬШЧKЪЮЬШKЪЬШKШ ЧЪ
аЬЮЬЮЬЮЬЮЬШ8Ъ
аЬЮЬЮЬЮЬЮЬШ8KЪЮЬШЧKЪЮЬ7Ш=KЪЬШKШ ЧЪ
аЬЮЬЮЬЮЬЮЬШ<KЪЬЮЬЮЬШKЪЬЮЬШKЪЮЬЮЬЮЬШ,ЪЮЬЮЬЮЬЮШ*KЪЬЮЬШ%KЪЬЮЬ)Ш7KЪЮЬЮЬШ2ЧЪЮЬЮЬЮЬШKШKШ=KШKШЧKЪЬШKШ ЧЪаЬЮЬЮЬЮЬЮЬЮЬШKЪ	ЮЬЮЬЮЬЮЬЮШDKЪЬЮЬ!ЮЬШ5KЪЬЮЬ4ЮЬШHKЪЮЬШЧKЪЮЬЮЬЮЬШЪЬШKШ ЧЧЪаЬЮЬЮЬЮЬ	ЮЬЮЬШLЪ	ЮЬЮЬЮЬЮЬЮШDKЪЬ
ЮЬ"ЮЬШ8KЪЮЬШЧKЪЮЬЮЬШЪЬШKШ ЧЧЪаЬЮЬЮЬЮЬЮЬЮЬШKЪ	ЮЬЮЬЮЬЮЬЮШDKЪЬЮЬ4ЮЬШHKЪЬЮЬ!ЮЬШ5KЪЮЬШЧKЪЮЬЮЬЮЬШЪЬШKШ ЧЧЪ
аЬЮЬЮЬЮЬЮЬШ;ЪЮЬЮЬЮШKЪЬЮЬЮЬШKЪЬЮЬЮЬШ)KЪЮЬШЧKЪЮЬШKЪЬШKШ ЧЪаЬЮЬЮЬЮЬШ@ЪЮЬЮЬЮШKЪЬЮЬШKЪЮЬШЧKЪЮЬШKЪЬШKШ ЧЪаЬЮЬЮЬЮЬШBЪЮЬЮЬЮШKЪЬЮЬШKЪЮЬШЧKЪЮЬШKЪЬШKШ ЧЧЪЬЩЪаЬШ"KШ"KШ&KШKШ ЧЪа	ЬШ KШ"KШ'KШKШ ЧЪаЬШ%KШ"KЪЬ(Ш(KШЧЧЩЪаЬШ"KЪЬ+Щ+KЪЬ(╧cШ<KЪЬЮЬбШ2KЪЬЮЬШ
KШKЪЬ0Ш0KЪЬ(бШ?KЪЬ$бШ>KШKШ ЧЪ
аЬЮЬЮЬЮЬЮЬШ_KЩ5KШKЪЬШKЪЬ%Ш%KЪЬШKШKШ ЧЪаЬЮЬЮЬЮЬЮЬЮЬШ?KЩ@KЪЬ	ЮЬЮЬШ.KЪЬЮЬЮЬШKШ&KЪЬ5Ш5KЪЬ%Ш%KШ KШKШ ЧЪа	ЬШKЪЬ1Щ1KЪЬЮЬШKЪЬЮЬШKЪЬЮЬШ
KШ"ЪаЬЮЬЮЬШKШKЪЬ/Ш/KШKШKШЧЪа
ЬЮЬЮЬЮЬШ,ЪЮЬ&ЮЬЮЬЮШ7ЪЮЬЮЬЮШKЪ	ЬЮЬЮЬЮЬЮЬШEKЪЮЬЮЬШЧKЪЮЬШЧKШKЪЬбШ3KЪЮЬШKЪЬШЧЪаЬЮЬЮЬШ#KЪЬGШGKШЧKЪаЬЮЬ&Ш0ЪаЬЮЬЮЬЮЬШ"KЪЬШKЪЬШKЪЬШЧЪаЬЮЬЮЬЮЬШ$KЪЬЮЬШKШKШKШKШЧЪаЬЮЬЮЬЮЬШ"KЪЬШKЪЬШKЪЬШЧЪаЬЮЬЮЬЮЬШ(KЪЬЮЬШKШKШKШKШЧKЪЬб$Ш:KШ$ЪЮЬЮЬШKЪЮЬбШ;ЪЮЬШЪЮЬЮШKШЪЬШKШ$ЪЮЬЮЬШKЪЮЬШ!KЪ
ЮЬЮЬЮЬ!ЮЬ
ЮЬШUЧKЪЬШЧЪЬШKЪЬ$Ш$ЪЮЬЮЬШKЪЮЬШ"KЪ
ЮЬЮЬЮЬ"ЮЬ
ЮЬШUЧKЪЬШЧKШ)KЪЮЬШЧKЪЬШЧЧKШKЩ ЧЪаЬЮЬЮЬЮЬШYKЪЬ!Ш!KЪЬ#Щ#KЪЬ4Ш4ЪЬШKШ ЧЧЪаЬЮЬЮЬЮЬШ@KЪЬ#Щ#KШ"KЪЬ#Щ#KШ(KШKШ ЧЪ
аЬЮЬЮЬЮЬб%ЬШ^KЪЬЮЬШ(KЪЬШKШ ЧЪ
аЬЮЬЮЬЮЬб%ЬШLKЪЬЮЬ	ШKЪЬШKШ ЧЪаЬШ(KЪЬЮЬШKЪЬЮЬЮЬШKЪЬЮЬЮЬШKЪЬЮЬЮЬШKЪЬЮЬЮЬШKЪЬ1ЮЬЮЬШGKЪЬ!ЮЬЮЬШ7ЪЬШKЪЬШKЪ
ЮЬЮЬЮЬ=ЮЬЮЬШaKЪ
ЮЬ	ЮЬЮЬ$ЮЬЮЬШ@KШKШЧЪЮЬЮШKЪЬЮЬШKЪЬЮЬШ	KЪЬШKЪЮЬЮЬЮЬЮЬШKЪ	ЬЮЬЮЬЮЬЮЬШ5KШKЪЮЬШЧЪЮЬЮЬЮШ.ЪЬЮЬЮЬШKЪЮЬШKЪЮЬШKЪЮЬШKЪЮЬШKЪЬШЧKЪЮЬlШsЧKШKШ ЧKЪЬЮЬ
ШKЪЬЮЬ
ШKЪЬЮЬ
ШKШ ЪаЬЮЬЮЬШ.KЪЬCЩCKШ.KШ*KШ4KШ0KЪЬ,Ш,KШ<ЪЬШKШ ЧЧЧKШ KЪЮЬШЧ ЕЧ    "6  2R  