
DIRECTORY
AtomPrivate,
ConvertUnsafe,
RegisterRefLiteral,
Rope,
SafeStorage;

RegisterRefLiteralImpl: CEDAR MONITOR
IMPORTS AtomPrivate, ConvertUnsafe
EXPORTS RegisterRefLiteral
~ BEGIN

tab: LIST OF TypeCreator ¬ NIL;
TypeCreator: TYPE = RECORD [
type: SafeStorage.Type,
proc: RegisterRefLiteral.RegisteredProc
];

UnknownType: PUBLIC ERROR [type: SafeStorage.Type, string: LONG STRING] = CODE;

Registrar: TYPE = PROC [p: RegisterRefLiteral.RegisteredProc, type: SafeStorage.Type];

ExternalNames: PROC = TRUSTED MACHINE CODE {
"^ExternalNames\n";
"Create XR_GetRefLiteral\n";
"RegisterType XR_RegisterRefLiteralCreator\n";
};

RegisterType: PUBLIC ENTRY Registrar ~ { -- aka XR¬RegisterRefLiteralCreator
FOR l: LIST OF TypeCreator ¬ tab, l.rest UNTIL l=NIL DO
IF l.first.type = type THEN {l.first.proc ¬ p; RETURN};
ENDLOOP;
tab ¬ CONS[[type: type, proc: p], tab];
};

Uninit: RegisterRefLiteral.RegisteredProc ~ {
ERROR;
};

LookupType: INTERNAL PROC [type: SafeStorage.Type] RETURNS [found: BOOL, p: RegisterRefLiteral.RegisteredProc] ~ {
FOR l: LIST OF TypeCreator ¬ tab, l.rest UNTIL l=NIL DO
IF l.first.type = type THEN {RETURN[TRUE, l.first.proc]};
ENDLOOP;
RETURN[FALSE, Uninit];
};

Creator: TYPE = PROC [type: SafeStorage.Type, string: LONG STRING] RETURNS [REF];

Create: PUBLIC ENTRY Creator ~ { -- aka XR¬GetRefLiteral
found: BOOL;
p: RegisterRefLiteral.RegisteredProc;
[found, p] ¬ LookupType[type];
IF found THEN RETURN p[string]
ELSE {
RETURN WITH ERROR UnknownType[type, string];
};
};

CreateTEXT: RegisterRefLiteral.RegisteredProc = TRUSTED {
RETURN [IF string = NIL THEN NIL ELSE ConvertUnsafe.ToRefText[string]]
};

CreateROPE: RegisterRefLiteral.RegisteredProc = TRUSTED {
RETURN [IF string = NIL THEN NIL ELSE ConvertUnsafe.ToRope[string]]
};

CreateATOM: RegisterRefLiteral.RegisteredProc = TRUSTED {
RETURN [AtomPrivate.UnsafeMakeAtomFromString[string]]
};

ExternalNames[];
RegisterType[CreateROPE, CODE[Rope.ROPE]];
RegisterType[CreateROPE, CODE[Rope.Text]];
RegisterType[CreateTEXT, CODE[REF TEXT]];
RegisterType[CreateATOM, CODE[ATOM]];

END.
   ä  
RegisterRefLiteralImpl.mesa
Copyright Ó 1987, 1991 by Xerox Corporation.  All rights reserved.
Mark Weiser, February 19, 1988 10:46:12 am PST
Carl Hauser, March 8, 1988 10:59:43 am PST
Chauser, January 3, 1991 11:26 am PST
Willie-s, May 30, 1991 11:40 am PDT
Doug Wyatt, August 24, 1991 10:33 pm PDT
Michael Plass, September 24, 1992 9:38 pm PDT
This module registers general procs for making the world safe for ref literals.  It also registers the first four procs, for handling the compiler built-in ref literal types of Rope.ROPE, Rope.Text, REF TEXT, and Atom.


the global list of all REF-literal types together with their creator procs

Registers "p" to be used to create REF literals of type "type" from LONG STRINGs.    
Note that the REF type, not the referent type, is used to register the procedure.

this procedure should never be called.
Called by the runtime during installation of each REF literal. It looks up the type, and calls the appropriate registered proc.  If there isn't one, it raises an error.

Somebody introduced REF literals in CedarCore; that's a no-no but until its fixed we'll press on.  
IF tab = NIL THEN -- RETURN WITH ERROR UnknownType[type, string] -- TRUSTED  {RETURN[LOOPHOLE[string]]};
The most likely cause of this is an interface version mismatch with Rope.  But we find out about it here before importing Rope because the compiler generates REF literal registration before imports.


Here is the start code.  It registers handlers for the first four types.

Ê  •NewlineDelimiter
–(cedarcode) style™ code•MarkoutsideHeaderšœ™Kšœ
Ïeœ7™BKšœ.™.K™*K™%K™#K™(K™-K˜ KšœÚ™ÚK™ K™ —šÏk	˜	K˜K˜K˜K˜Kšœ˜—K˜ šÏnœžœž˜%Kšžœ˜"Kšžœ˜Kšœž˜—˜ šœžœžœžœ˜K™JK™ —šœžœžœ˜Kšœ˜Kšœ'˜'K˜K˜ —KšŸœžœžœ"žœžœžœ˜OK˜ šœžœžœ@˜VK˜ —š
Ÿœžœžœžœžœ˜,Kšœ˜KšœŸœžœ˜KšœŸœžœ˜.Kšœ˜K˜ —šŸœžœžœÏc#˜LK™UKšœžœ@™QK™ šžœžœžœžœžœž˜7Kšžœžœžœ˜7Kšžœ˜—Kšœžœ˜'K˜K˜ —šŸœ'˜-K™&Kšžœ˜K˜K˜ —š
Ÿ
œžœžœžœ	žœ+˜ršžœžœžœžœžœž˜7Kšžœžœžœžœ˜9Kšžœ˜—Kšžœžœ
˜K˜K˜ —Kšœ	žœžœ"žœžœžœžœ˜QK˜ šŸœžœžœ ˜8K™¨K™ Kšœžœ˜Kšœ%˜%K™cKšžœžœžœ 1œžœžœžœ™hKšœ˜Kšžœžœžœ
˜šžœ˜K™ÆKšžœž
œ˜,Kšœ˜—K˜K˜ —šŸ
œ#œžœ˜9Kšžœžœ
žœžœžœžœ!˜FK˜K˜ —šŸ
œ&žœ˜9Kšžœžœ
žœžœžœžœ˜CK˜K˜ —šŸ
œ&žœ˜9Kšžœ/˜5K˜K™ K™ —K™HK™ K˜ K˜Kšœžœžœ˜*Kšœžœ˜*Kšœžœžœžœ˜)Kšœžœžœ˜%K˜ —Kšžœ˜— …—        