Nice:
CEDAR
DEFINITIONS
IMPORTS Atom = {
BeNiceProc: TYPE = PROC[r: REF, d: INT𡤆, how: ATOM, howD: REF];
BeNice: BeNiceProc =
INLINE {
vr: REF = Atom.GetProp[$IRNice, $BeNice];
v: REF BeNiceProc = NARROW[vr, REF BeNiceProc];
IF v#NIL THEN v[r, d, how, howD];
};
LarkConLogStreamProc:
TYPE =
PROC[machine: RPCPkt.Machine]
RETURNS [log: IO.STREAM←NIL];
LarkConLogStream: LarkConLogStreamProc =
INLINE {
vr: REF = Atom.GetProp[$IRNice, $LarkConLogStream];
v: REF LarkConLogStreamProc = NARROW[vr, REF LarkConLogStreamProc];
IF v#NIL THEN log ← v[machine];
};
ViewProc: TYPE= PROC[r: REF, name: Rope.ROPE←NIL];
View: ViewProc =
INLINE {
vr: REF = Atom.GetProp[$IRNice, $View];
v: REF ViewProc = NARROW[vr, REF ViewProc];
IF v#NIL THEN v[r, name];
};
}.