DIRECTORY
IO, Prop, Rope, TEditDocument, TEditOps, TEditSelection, TiogaAccess, TiogaAccessViewers, ViewerClasses, PropRegistry;

TiogaRegistryImpl: CEDAR PROGRAM IMPORTS IO, Prop, Rope, TEditOps, TEditSelection, TiogaAccess, TiogaAccessViewers, PropRegistry = BEGIN

ROPE: TYPE = PropRegistry.ROPE;
Doc: TYPE = PropRegistry.Doc;
Key: TYPE = PropRegistry.Key;
lf: ROPE = "\l";

LFNewLine: PROC [in: ROPE] RETURNS [out: ROPE] = {
size: INT = Rope.Size[in];
out ¬ in;
FOR index: INT ¬ Rope.SkipTo[s: in, pos: 0, skip: "\l\r"], Rope.SkipTo[s: in, pos: index+1, skip: "\l\r"] UNTIL index = size DO
out ¬ Rope.Replace[base: out, start: index, len: 1, with: lf];
ENDLOOP;
};

TiogaPropGet: PropRegistry.PropGetProc = {
reader: TiogaAccess.Reader = TiogaAccessViewers.FromSelection[]; -- really should use locked selection
firstTime: BOOL ¬ TRUE; -- look for uniqueness
val: REF;
IF TiogaAccess.EndOf[reader] THEN RETURN[NIL, "empty Tioga selection"];
BEGIN
notFound: ROPE = IO.PutFR1["Property %g not found", IO.atom[key] ];
UNTIL TiogaAccess.EndOf[reader] DO
tc: TiogaAccess.TiogaChar ¬ TiogaAccess.Get[reader];
IF tc.endOfNode THEN LOOP; -- only do char props, not node props
val ¬ Prop.Get[tc.propList, key];
IF firstTime THEN {
prop ¬ IF val=NIL THEN notFound ELSE TiogaAccess.GetExternalProp[key, val];
firstTime ¬ FALSE;
}
ELSE {
sameProp: ROPE ¬ IF val=NIL THEN notFound ELSE TiogaAccess.GetExternalProp[key, val];
IF NOT Rope.Equal[prop, sameProp] THEN GOTO NotUniqueVal;
};
ENDLOOP;
TiogaAccess.DoneWith[reader];
prop ¬ LFNewLine[prop]; -- fix up stupid newline characters
EXITS
NotUniqueVal => {
prop ¬ NIL;
error ¬ IO.PutFR1["Characters don't have uniform property values for prop: %g", IO.atom[key]];
TiogaAccess.DoneWith[reader];
};
END;
};

TiogaPropSet: PropRegistry.PropSetProc = {
out: TiogaAccess.Writer ¬ TiogaAccess.Create[];
in: TiogaAccess.Reader ¬ TiogaAccessViewers.FromSelection[]; -- really should use locked selection
UNTIL TiogaAccess.EndOf[in] DO
tc: TiogaAccess.TiogaChar;
DO
tc ¬ TiogaAccess.Get[in];
IF tc.endOfNode THEN EXIT;
tc.propList ¬ Prop.Put[tc.propList, key, TiogaAccess.GetInternalProp[key, prop]];
TiogaAccess.Put[out, tc];
ENDLOOP;
TiogaAccess.Put[out, tc];
ENDLOOP;
TiogaAccess.DoneWith[in];
TiogaAccessViewers.WriteSelection[out];
};

TiogaPropRem: PropRegistry.PropRemProc = {
out: TiogaAccess.Writer ¬ TiogaAccess.Create[];
in: TiogaAccess.Reader ¬ TiogaAccessViewers.FromSelection[]; -- really should use locked selection
UNTIL TiogaAccess.EndOf[in] DO
tc: TiogaAccess.TiogaChar;
DO
tc ¬ TiogaAccess.Get[in];
IF tc.endOfNode THEN EXIT;
tc.propList ¬ Prop.Rem[tc.propList, key];
TiogaAccess.Put[out, tc];
ENDLOOP;
TiogaAccess.Put[out, tc];
ENDLOOP;
TiogaAccess.DoneWith[in];
TiogaAccessViewers.WriteSelection[out];
};

TiogaPropList: PropRegistry.PropListProc = {
reader: TiogaAccess.Reader = TiogaAccessViewers.FromSelection[];
UNTIL TiogaAccess.EndOf[reader] DO
tc: TiogaAccess.TiogaChar ¬ TiogaAccess.Get[reader];
IF tc.endOfNode THEN LOOP; -- only do char props, not node props
FOR keys: Prop.PropList ¬ tc.propList, keys.rest UNTIL keys=NIL DO
props ¬ CONS[NARROW[keys.first.key], props];
ENDLOOP;
ENDLOOP;
};

TiogaGetTarget: PropRegistry.GetTargetProc = {
IF TEditSelection.IsDown[primary] THEN RETURN[ FALSE, [doc, NIL] ]
ELSE {
newSel: TEditDocument.Selection ¬ TEditSelection.Create[];
TEditSelection.Copy[source: TEditOps.GetSelData[], dest: newSel];
RETURN [TRUE, [doc, newSel]];
};
};

TiogaSetTarget: PropRegistry.SetTargetProc = {
sel: TEditDocument.Selection ¬ NARROW[t.targetData];
[success, error] ¬ TiogaValidateTarget[doc: doc, hint: hint, t: t];
IF success THEN TEditSelection.MakeSelection[sel, primary];
};

TiogaValidateTarget: PropRegistry.ValidateTargetProc = {
v: ViewerClasses.Viewer ~ NARROW[doc];
success ¬ NOT (v.destroyed OR v.iconic);
IF NOT success THEN error ¬ IF v.destroyed THEN "target viewer destroyed" ELSE "target viewer iconic"
};

RegisterTioga: PROC = {
class: PropRegistry.RegistryClass ¬ NEW[PropRegistry.RegistryClassObj];
class­¬ [
name: $Text,
getProp: TiogaPropGet,
setProp: TiogaPropSet,
remProp: TiogaPropRem,
listProps: TiogaPropList,
getTarget: TiogaGetTarget,
setTarget: TiogaSetTarget,
validTarget: TiogaValidateTarget
];
PropRegistry.Register[class];
};

RegisterTypescript: PROC = {
class: PropRegistry.RegistryClass ¬ NEW[PropRegistry.RegistryClassObj];
class­¬ [
name: $Typescript,
getProp: TiogaPropGet,
setProp: TiogaPropSet,
remProp: TiogaPropRem,
listProps: TiogaPropList,
getTarget: TiogaGetTarget,
setTarget: TiogaSetTarget,
validTarget: TiogaValidateTarget
];
PropRegistry.Register[class];
};

RegisterTioga[];
RegisterTypescript[];

END.

     
TiogaRegistryImpl.mesa
Copyright Ó 1991, 1992 by Xerox Corporation.  All rights reserved.
Created by Ken Pier, July 7, 1992 10:02 am PDT
Doug Wyatt, April 13, 1992 2:26 pm PDT

PROC [key: Key, doc: Doc, hint: REF] RETURNS [prop, error: ROPE];
Makes a reader on a copy of the contents of the primary selection
PROC [key: Key, doc: Doc, hint: REF, prop: ROPE, edited: BOOL];
PROC [key: Key, doc: Doc, hint: REF, edited: BOOL];
PROC [doc: Doc, hint: REF] RETURNS [props: LIST OF Key];
Makes a reader on a copy of the contents of the primary selection
PROC [doc: Doc, hint: REF] RETURNS [success: BOOL, t: Target];
PROC [doc: Doc, hint: REF, t: Target] RETURNS [success: BOOL, error: ROPE];
PROC [doc: Doc, hint: REF, t: Target] RETURNS [success: BOOL, error: ROPE];
Ê#  –(cedarcode) style•NewlineDelimiter
™ šœ™Jšœ
Ïeœ7™BJ™.J™&J™ —codešÏk	˜	Kšžœt˜v—K˜ KšÏnœžœžœžœžœXž˜ˆK˜ Kšžœžœžœ˜Kšœžœ˜Kšœžœ˜Kšœžœ˜K˜ š
Ÿ	œžœžœžœžœ˜2Kšœžœ˜K˜	•StartOfExpansion)[s: ROPE, pos: INT _ 0, skip: ROPE]šžœžœ\žœž˜K˜>Kšžœ˜—K˜—K˜ šŸœ˜*Kšžœžœžœžœ™AšœAÏc%˜fKš A™A—Kšœžœžœ ˜.Kšœžœ˜	Kšžœžœžœžœ˜Gšž˜Kšœ
žœžœ!žœ˜Cšžœž˜"K˜4Kšžœžœžœ %˜@K˜!šžœžœ˜Kš	œžœžœžœ
žœ'˜KKšœžœ˜K˜—šžœ˜Kšœ
žœžœžœžœ
žœ'˜UKšžœžœžœžœ˜9K˜—Kšžœ˜—Kšœ˜Kšœ #˜;šž˜šœ˜Kšœžœ˜KšœžœFžœ˜^Kšœ˜K˜——Kšžœ˜—K˜K˜ —šŸœ˜*Kšžœžœžœ
žœ™?K˜/Kšœ= %˜bšžœž˜Kšœ˜šž˜K˜Kšžœžœžœ˜K˜QKšœ˜Kšžœ˜—Kšœ˜Kšžœ˜—Kšœ˜K˜'K˜K˜ —šŸœ˜*Kšžœžœ
žœ™3K˜/Kšœ= %˜bšžœž˜Kšœ˜šž˜K˜Kšžœžœžœ˜K˜)Kšœ˜Kšžœ˜—Kšœ˜Kšžœ˜—Kšœ˜K˜'K˜K˜ —šŸœ˜,Kš
žœžœžœ	žœžœ™8˜@Kš A™A—šžœž˜"K˜4Kšžœžœžœ %˜@šžœ.žœžœž˜BKšœžœžœ˜,Kšžœ˜—Kšžœ˜—K˜K˜ —šŸœ ˜.Kšžœžœžœžœ™>Kš
žœ žœžœžœžœ˜Bšžœ˜K˜:KšœA˜AKšžœžœ˜K˜—K˜K˜ —šŸœ ˜.Kš
žœžœžœžœ	žœ™KKšœžœ˜4K˜CKšžœ	žœ,˜;K˜K˜ —šŸœ%˜8Kš
žœžœžœžœ	žœ™KKšœžœ˜&Kšœ
žœžœ˜(Kšžœžœ	žœ	žœžœžœ˜eK˜—K˜ šŸœžœ˜Kšœ$žœ ˜G˜	Kšœ˜K˜K˜Kšœ˜K˜K˜K˜K˜ K˜—Kšœ˜K˜K˜ —šŸœžœ˜Kšœ$žœ ˜G˜	Kšœ˜K˜K˜Kšœ˜K˜K˜K˜K˜ K˜—Kšœ˜K˜—K˜ Kšœ˜Kšœ˜K˜ Kšžœ˜K˜ — …—    *  O  