CDPropertiesImpl.mesa a ChipNDale module
Copyright © 1983, 1986 by Xerox Corporation. All rights reserved.
Created by Ch. Jacobi, September 27, 1983 2:06 pm
Last edited by: Christian Jacobi, January 16, 1987 3:48:08 pm PST
DIRECTORY
CDProperties,
CDPropertyTools,
CD,
CDPrivate,
Atom,
Commander,
CommandTool,
List,
Properties,
RefTab,
Rope,
RopeList,
RuntimeError USING [UNCAUGHT],
TokenIO,
UserProfile USING [Boolean],
ViewerTools USING [TiogaContents, TiogaContentsRec];
CDPropertiesImpl: CEDAR MONITOR
IMPORTS CD, CDPrivate, CDProperties, Atom, Commander, CommandTool, List, Properties, RefTab, Rope, RopeList, RuntimeError, TokenIO, UserProfile
EXPORTS CDProperties, CDPropertyTools =
BEGIN
PropList: TYPE = CD.PropList;
PropertyProcs: TYPE = CDProperties.PropertyProcs;
PropertyProcsRec: TYPE = CDProperties.PropertyProcsRec;
atomTab: RefTab.Ref = RefTab.Create[];
-- contains atoms [maybe in future ref's] where properties hang
--Registration
propertyNameTab: RefTab.Ref = RefTab.Create[]; -- key: propertynames; value: PropertyProcs
registrationTab: RefTab.Ref = RefTab.Create[]; -- contains registrationKeys
RegisterProperty: PUBLIC ENTRY PROC [prop: REF, registrationKey: REFNIL] RETURNS [first: BOOL←TRUE] = {
val: REF ANY; found: BOOL;
[found, val] ← RefTab.Fetch[registrationTab, prop]; -- returns a registration key
IF found THEN {
IF registrationKey#NIL AND registrationKey=val THEN RETURN [FALSE];
RETURN WITH ERROR CD.Error[doubleRegistration]
}
ELSE {
pp: PropertyProcs ← NEW[PropertyProcsRec←[key: prop]];
[] ← RefTab.Insert[propertyNameTab, prop, pp]; -- procs
[] ← RefTab.Insert[registrationTab, prop, registrationKey]; -- registration
};
};
--Usage
Err: ERROR = CODE;
PutProp: PUBLIC PROC [onto: REF, prop: REF, val: REF] = {
WITH onto SELECT FROM
a: CD.Instance => PutInstanceProp[a, prop, val];
o: CD.Object => PutObjectProp[o, prop, val];
pr: CD.PropRef => PutPRefProp[pr, prop, val];
d: CD.Design => PutDesignProp[d, prop, val];
t: CD.Technology => PutTechnologyProp[t, prop, val];
at: ATOM => PutAtomProp[at, prop, val];
class: CD.ObjectClass => PutObjectClassProp[class, prop, val];
pp: PropertyProcs => PutPropertyClassProp[pp, prop, val];
pl: Properties.PropList => RETURN WITH ERROR Err; --explicitely forbidden
ENDCASE => RETURN WITH ERROR Err
};
GetProp: PUBLIC ENTRY PROC [from: REF, prop: REF] RETURNS [REF] = {
ENABLE UNWIND => NULL;
WITH from SELECT FROM
a: CD.Instance => RETURN[Properties.GetProp[a.properties, prop]];
o: CD.Object => RETURN[Properties.GetProp[o.properties, prop]];
pr: CD.PropRef => RETURN[Properties.GetProp[pr^, prop]];
pl: CD.PropList => RETURN[Properties.GetProp[pl, prop]];
at: ATOM => RETURN[GetRefAnyPropf[at, prop]];
d: CD.Design => RETURN[Properties.GetProp[d.properties^, prop]];
t: CD.Technology => RETURN[Properties.GetProp[t.properties^, prop]];
class: CD.ObjectClass => RETURN[Properties.GetProp[class.properties^, prop]];
pp: PropertyProcs => RETURN[Properties.GetProp[pp.properties, prop]];
ENDCASE => RETURN WITH ERROR Err;
};
GetListProp: PUBLIC ENTRY PROC [propList: PropList, prop: REF] RETURNS [REF] = {
ENABLE UNWIND => NULL;
RETURN [Properties.GetProp[propList, prop]]
};
--speed ups
PutPRefProp: PUBLIC ENTRY PROC [onto: CD.PropRef, prop: REF, val: REF] = {
ENABLE UNWIND => NULL;
IF onto=NIL THEN RETURN WITH ERROR CD.Error[other, "nil property field"];
onto^ ← Properties.PutProp[onto^, prop, val]
};
PutObjectProp: PUBLIC ENTRY PROC [onto: CD.Object, prop: REF, val: REF] = {
ENABLE UNWIND => NULL;
IF onto=NIL THEN RETURN WITH ERROR CD.Error[other, "NIL Object"];
onto.properties ← Properties.PutProp[onto.properties, prop, val]
};
PutInstanceProp: PUBLIC ENTRY PROC[onto: CD.Instance, prop: REF, val: REF] = {
ENABLE UNWIND => NULL;
IF onto=NIL THEN RETURN WITH ERROR CD.Error[other, "NIL Instance"];
onto.properties ← Properties.PutProp[onto.properties, prop, val]
};
PutDesignProp: PUBLIC ENTRY PROC [onto: CD.Design, prop: REF, val: REF] = {
ENABLE UNWIND => NULL;
IF onto=NIL OR onto.properties=NIL THEN
RETURN WITH ERROR CD.Error[other, "NIL property field"];
onto.properties^ ← Properties.PutProp[onto.properties^, prop, val]
};
PutTechnologyProp: PUBLIC ENTRY PROC[onto: CD.Technology, prop: REF, val: REF] = {
ENABLE UNWIND => NULL;
IF onto=NIL OR onto.properties=NIL THEN
RETURN WITH ERROR CD.Error[other, "nil property field"];
onto.properties^ ← Properties.PutProp[onto.properties^, prop, val]
};
PutObjectClassProp: ENTRY PROC[onto: CD.ObjectClass, prop: REF, val: REF] = {
ENABLE UNWIND => NULL;
IF onto=NIL OR onto.properties=NIL THEN
RETURN WITH ERROR CD.Error[other, "nil property field"];
onto.properties^ ← Properties.PutProp[onto.properties^, prop, val]
};
PutAtomProp: PUBLIC PROC[onto: ATOM, prop: REF, val: REF] = {
PutPropOnRef[onto: onto, prop: prop, val: val]
};
PutLayerProp: PUBLIC ENTRY PROC[onto: CD.Layer, prop: REF, val: REF] = {
ENABLE UNWIND => NULL;
CDPrivate.layers[onto].properties^ ← Properties.PutProp[CDPrivate.layers[onto].properties^, prop, val]
};
PutPropertyClassProp: ENTRY PROC[onto: PropertyProcs, prop: REF, val: REF] = {
ENABLE UNWIND => NULL;
IF onto=NIL OR onto.properties=NIL THEN
RETURN WITH ERROR CD.Error[other, "nil PropertyProcs"];
onto.properties ← Properties.PutProp[onto.properties, prop, val]
};
PutPropOnRef: ENTRY PROC[onto: REF, prop: REF, val: REF] = {
--a NIL val removes the property
--here onto MUST NOT be a ChipNDale ref pointing to a record with properties,
--since then the properties must be used, not the hash table
x: REF;
found: BOOL;
pp: REF CD.PropList;
[found, x] ← RefTab.Fetch[atomTab, onto];
IF found THEN pp ← NARROW[x, REF CD.PropList]
ELSE {
IF prop=NIL THEN RETURN;
pp ← NEW[CD.PropList←NIL];
[] ← RefTab.Store[atomTab, onto, pp];
};
pp^ ← Properties.PutProp[pp^, prop, val];
IF pp^=NIL THEN [] ← RefTab.Delete[atomTab, onto];
};
GetRefAnyPropf: PROC [from: REF, prop: REF] RETURNS [REF] = INLINE {
--NIL if prop is not found
--here from MUST NOT be a ChipNDale ref pointing to a record with properties,
--since then the properties must be used, not the hash table
x: REF; found: BOOL;
pp: REF CD.PropList;
[found, x] ← RefTab.Fetch[atomTab, from];
IF NOT found THEN RETURN[NIL];
pp ← NARROW[x, REF CD.PropList];
RETURN [Properties.GetProp[pp^, prop]]
};
GetObjectProp: PUBLIC PROC [from: CD.Object, prop: REF] RETURNS [REF] = {
ENABLE UNWIND => NULL;
RETURN[Properties.GetProp[from.properties, prop]]
};
GetInstanceProp: PUBLIC PROC [from: CD.Instance, prop: REF] RETURNS [REF] = {
ENABLE UNWIND => NULL;
RETURN[Properties.GetProp[from.properties, prop]]
};
GetDesignProp: PUBLIC PROC [from: CD.Design, prop: REF] RETURNS [REF] = {
ENABLE UNWIND => NULL;
RETURN[Properties.GetProp[from.properties^, prop]]
};
GetTechnologyProp: PUBLIC PROC [from: CD.Technology, prop: REF] RETURNS [REF] = {
ENABLE UNWIND => NULL;
RETURN[Properties.GetProp[from.properties^, prop]]
};
GetLayerProp: PUBLIC PROC [from: CD.Layer, prop: REF] RETURNS [REF] = {
ENABLE UNWIND => NULL;
RETURN[Properties.GetProp[CDPrivate.layers[from].properties^, prop]]
};
GetAtomProp: PUBLIC ENTRY PROC [from: ATOM, prop: REF] RETURNS [REF] = {
ENABLE UNWIND => NULL;
RETURN[GetRefAnyPropf[from: from, prop: prop]];
};
--property procedures
Register: PUBLIC PROC [prop: ATOM, procs: PropertyProcsRec, registrationKey: REF] RETURNS [sameProp: ATOM] = {
[] ← RegisterProperty[prop, registrationKey];
InstallProcs[prop, procs];
sameProp ← prop;
};
InstallProcs: PUBLIC ENTRY PROC [prop: REF, procs: PropertyProcsRec] = {
ENABLE UNWIND => NULL;
pp: PropertyProcs;
IF (pp ← FetchProcs[prop])#NIL THEN {
IF procs.exclusive THEN pp.exclusive←TRUE;
IF procs.autoRem THEN pp.autoRem←TRUE;
IF procs.reserved THEN pp.reserved←TRUE;
IF procs.makeCopy#NIL THEN pp.makeCopy ← procs.makeCopy;
IF procs.internalWrite#NIL THEN pp.internalWrite ← procs.internalWrite;
IF procs.internalRead#NIL THEN pp.internalRead ← procs.internalRead;
IF procs.properties#NIL THEN
FOR l: PropList ← procs.properties, l.rest WHILE l#NIL DO
pp.properties ← Properties.PutProp[pp.properties, l.first.key, l.first.val];
ENDLOOP;
}
};
FetchProcs: PUBLIC PROC [prop: REF] RETURNS [pp: PropertyProcs] = {
pp ← NARROW[RefTab.Fetch[propertyNameTab, prop].val];
};
CopyVal: PUBLIC PROC [prop: REF, val: REF, purpose: REF] RETURNS [valCopy: REF] = {
valCopy ← val;
};
DontCopy: PUBLIC PROC [prop: REF, val: REF, purpose: REF] RETURNS [nil: REFNIL] = {
};
PutOn: PROC [putOnto: REF, propList: PropList] = {
--dangerous procedure; might crash
WITH putOnto SELECT FROM
a: CD.Instance => a.properties ← propList;
o: CD.Object => o.properties ← propList;
pr: CD.PropRef => pr^ ← propList;
d: CD.Design => d.properties^ ← propList;
t: CD.Technology => t.properties^ ← propList;
class: REF CD.ObjectClass => class.properties^ ← propList;
pp: PropertyProcs => pp.properties ← propList;
at: ATOM => ERROR;
ENDCASE => ERROR Err
};
CopyProps: PUBLIC ENTRY PROC [propList: PropList, putOnto: REF, purpose: REFNIL] = {
ENABLE UNWIND => NULL;
PutOn[putOnto, InternalDangerousCopyProps[propList, purpose] !
RuntimeError.UNCAUGHT => GOTO crashed];
EXITS crashed => RETURN WITH ERROR Err
};
AppendProps: PUBLIC ENTRY PROC [winner, looser: PropList←NIL, putOnto: REF, purpose: REFNIL] = {
ENABLE UNWIND => NULL;
PutOn[putOnto, InternalDangerousAppendProps[winner, looser, purpose] !
RuntimeError.UNCAUGHT => GOTO crashed]
EXITS crashed => RETURN WITH ERROR Err
};
DCopyProps: PUBLIC ENTRY PROC [propList: PropList, purpose: REF] RETURNS [copy: PropList←NIL] = {
ENABLE UNWIND => NULL;
copy ← InternalDangerousCopyProps[propList, purpose]
};
DAppendProps: PUBLIC ENTRY PROC [winner, looser: CDProperties.PropList, purpose: REF] RETURNS [copy: CDProperties.PropList] = {
ENABLE UNWIND => NULL;
copy ← InternalDangerousAppendProps[winner, looser, purpose]
};
InternalDangerousCopyProps: PROC [propList: PropList, purpose: REF] RETURNS [copy: PropList←NIL] = {
FOR l: PropList ← propList, l.rest WHILE l#NIL DO
copy ← InternalCopyItem[copy, l.first, purpose]
ENDLOOP;
};
InternalDangerousAppendProps: PROC [winner, looser: CDProperties.PropList, purpose: REF] RETURNS [copy: CDProperties.PropList] = {
copy ← InternalDangerousCopyProps[looser, purpose];
FOR l: PropList ← winner, l.rest WHILE l#NIL DO
copy ← InternalCopyItem[copy, l.first, purpose]
ENDLOOP;
};
InternalCopyItem: PROC[list: CDProperties.PropList, item: Properties.KeyVal, purpose: REF] RETURNS [newList: CDProperties.PropList] = {
class: CDProperties.PropertyProcs = FetchProcs[item.key];
IF class#NIL AND class.makeCopy#NIL THEN {
newVal: REF = class.makeCopy[prop: item.key, val: item.val, purpose: purpose];
IF newVal=NIL THEN newList ← list
ELSE newList ← Properties.PutProp[list, item.key, newVal];
}
ELSE IF ISTYPE[item.key, ATOM] AND item.val#NIL THEN
WITH item.val SELECT FROM
r: Rope.ROPE => newList ← Properties.PutProp[list, item.key, r];
at: ATOM => newList ← Properties.PutProp[list, item.key, at];
ri: REF INT => newList ← Properties.PutProp[list, item.key, NEW[INT←ri^]];
pl: CD.PropList => newList ← Properties.PutProp[list, item.key, InternalDangerousCopyProps[pl, purpose]];
rl: LIST OF Rope.ROPE => newList ← Properties.PutProp[list, item.key, RopeList.CopyTopList[rl]];
ENDCASE => newList ← list
ELSE newList ← list;
};
DoWithinLock: PUBLIC ENTRY PROC [p: PROC] = {
ENABLE {
UNWIND => NULL;
RuntimeError.UNCAUGHT =>
IF UserProfile.Boolean["ChipNDale.CatchLowLevelErrors", TRUE] THEN CONTINUE;
};
IF p#NIL THEN p[];
};
DontPWrite: PUBLIC PROC [h: TokenIO.Handle, prop: REF, val: REF] = {
ERROR
};
RopePWrite: PUBLIC PROC [h: TokenIO.Handle, prop: REF, val: REF] = {
WITH val SELECT FROM
r: Rope.ROPE => TokenIO.WriteRope[h, r];
at: ATOM => TokenIO.WriteRope[h, Atom.GetPName[at]];
ENDCASE => TokenIO.WriteRope[h, "bad property value"];
};
AtomPWrite: PUBLIC PROC [h: TokenIO.Handle, prop: REF, val: REF] = {
WITH val SELECT FROM
at: ATOM => TokenIO.WriteAtom[h, at];
r: Rope.ROPE => TokenIO.WriteAtom[h, Atom.MakeAtom[r]];
ENDCASE => TokenIO.WriteAtom[h, $Bad];
};
IntPWrite: PUBLIC PROC [h: TokenIO.Handle, prop: REF, val: REF] = {
WITH val SELECT FROM
ri: REF INT => TokenIO.WriteInt[h, ri^];
rc: REF CARDINAL => TokenIO.WriteInt[h, rc^];
rn: REF NAT => TokenIO.WriteInt[h, rn^];
ENDCASE => TokenIO.WriteInt[h, 0];
};
SomePWrite: PUBLIC PROC [h: TokenIO.Handle, prop: REF, val: REF] = {
WITH val SELECT FROM
at: ATOM => TokenIO.WriteAtom[h, at];
r: Rope.ROPE => TokenIO.WriteRope[h, r];
ri: REF INT => TokenIO.WriteInt[h, ri^];
rc: REF CARDINAL => TokenIO.WriteInt[h, rc^];
rn: REF NAT => TokenIO.WriteInt[h, rn^];
ENDCASE => TokenIO.WriteAtom[h, $Unknown];
};
RopePRead: PUBLIC PROC [h: TokenIO.Handle, prop: ATOM] RETURNS [val: REF] = {
val ← TokenIO.ReadRope[h]
};
AtomPRead: PUBLIC PROC [h: TokenIO.Handle, prop: ATOM] RETURNS [val: REF] = {
val ← TokenIO.ReadAtom[h]
};
IntPRead: PUBLIC PROC [h: TokenIO.Handle, prop: ATOM] RETURNS [val: REF] = {
val ← NEW[INT←TokenIO.ReadInt[h]]
};
SomePRead: PUBLIC PROC [h: TokenIO.Handle, prop: ATOM] RETURNS [val: REF] = {
t: TokenIO.Token ← TokenIO.Read[h];
WITH t SELECT FROM
int: TokenIO.Token.int => val ← NEW[INT←int.value];
rope: TokenIO.Token.rope => val ← rope.value;
atom: TokenIO.Token.atom => val ← atom.value;
ENDCASE => val ← $Error;
};
--------------------------
GetPropProp: PUBLIC PROC [from: REF, key1, key2: REF←] RETURNS [REF] = {
WITH GetProp[from, key1] SELECT FROM
pl: Properties.PropList => RETURN [Properties.GetProp[pl, key2]];
ENDCASE => RETURN [NIL];
};
PutPropProp: PUBLIC PROC [onto: REF, key1, key2: REF←, val: REFNIL] = {
WITH GetProp[onto, key1] SELECT FROM
pl: CD.PropList => {
pl1: Properties.PropList ← Properties.PutProp[pl, key2, val];
IF pl1#pl THEN PutProp[onto, key1, pl1];
}
ENDCASE => PutProp[onto, key1, Properties.PutProp[NIL, key2, val]]
};
--------------------------
--now some special properties
TiogaPCopy: PROC [prop: REF, val: REF, purpose: REF] RETURNS [copy: REF] = {
contents, formatting: Rope.ROPENIL;
WITH val SELECT FROM
t: ViewerTools.TiogaContents => {contents ← t.contents; formatting ← t.formatting};
r: Rope.ROPE => contents ← r;
ENDCASE => contents ← "$Error";
copy ← NEW[ViewerTools.TiogaContentsRec←[contents: contents, formatting: formatting]]
};
TiogaPWrite: PROC [h: TokenIO.Handle, prop: REF, val: REF] = {
contents, formatting: Rope.ROPENIL;
WITH val SELECT FROM
t: ViewerTools.TiogaContents => {contents ← t.contents; formatting ← t.formatting};
r: Rope.ROPE => contents ← r;
ENDCASE => NULL;
TokenIO.WriteRope[h, contents];
TokenIO.WriteRope[h, formatting];
};
TiogaPRead: PROC [h: TokenIO.Handle, prop: ATOM] RETURNS [val: REF] = {
contents: Rope.ROPE ← TokenIO.ReadRope[h];
formatting: Rope.ROPE ← TokenIO.ReadRope[h];
val ← NEW[ViewerTools.TiogaContentsRec←[contents: contents, formatting: formatting]]
};
Atomize: PROC [r: Rope.ROPE] RETURNS [ATOMNIL] = {
IF Rope.Length[r]>1 AND Rope.Fetch[r]='$ THEN r ← Rope.Substr[r, 1, Rope.Length[r]-1];
IF ~Rope.IsEmpty[r] THEN RETURN [Atom.MakeAtom[r]]
};
IsExclusive: PUBLIC PROC [key: REF] RETURNS [BOOLTRUE] = {
pType: CDProperties.PropertyProcs ~ CDProperties.FetchProcs[key];
RETURN [pType#NIL AND pType.exclusive]
};
associationRoot: CDProperties.PropRef ← CDProperties.InitPropRef[];
RemoveProperties: PUBLIC PROC[root: ATOM] = {
--not entry! would wedge
RemovePropFromRegistrations: PROC [atom: ATOM] = {
WITH GetProp[associationRoot, atom] SELECT FROM
lora: LIST OF REF ANY => {
FOR l: LIST OF REF ANY ← lora, l.rest WHILE l#NIL DO
WITH l.first SELECT FROM
a: ATOM => {
IF ~IsExclusive[a] THEN PutAtomProp[atom, a, NIL];
PutAtomProp[a, atom, NIL];
}
ENDCASE => NULL;
ENDLOOP;
};
ENDCASE => NULL;
};
RemovePropFromLayers: PROC [atom: ATOM] = {
FOR l: CD.Layer IN CD.Layer DO
reg: ATOMCD.LayerKey[l];
IF reg#NIL THEN {
PutAtomProp[atom, reg, NIL];
PutAtomProp[reg, atom, NIL];
};
PutLayerProp[l, atom, NIL];
ENDLOOP;
};
IF ~IsExclusive[root] THEN {
PutAtomProp[root, root, NIL];
RemovePropFromRegistrations[root];
RemovePropFromLayers[root];
};
};
RemovePropCommand: Commander.CommandProc = {
--Allows to do un-registration from commandfiles which may run
--before the tool they are un-registrating
--This command is handy for lots of tools which set op their parameters with command file
FOR rl: LIST OF Rope.ROPE ← CommandTool.ParseToList[cmd].list, rl.rest WHILE rl#NIL DO
atom: ATOM ← Atomize[rl.first]; --this atoms registrations should be removed
IF IsExclusive[atom] THEN
msg ← Rope.Cat[msg, " ", rl.first, " not removed (no or exclusive atom)\n"]
ELSE RemoveProperties[atom];
ENDLOOP;
};
Associate: PUBLIC PROC [root, key: ATOM] = {
--cant be entry!
IF ~IsExclusive[root] AND ~IsExclusive[key] THEN {
list: LIST OF REF ANY
WITH GetProp[associationRoot, root] SELECT FROM
lora: LIST OF REF ANY => lora,
ENDCASE => NIL;
IF ~List.Memb[key, list] THEN {
new: LIST OF REF ANY ← List.Nconc1[list, key];
IF new#list THEN PutProp[associationRoot, root, new];
};
};
};
AssociatePropCommand: Commander.CommandProc = {
root: ATOMNIL;
rl: LIST OF Rope.ROPE ← CommandTool.ParseToList[cmd].list;
IF rl=NIL OR IsExclusive[root𡤊tomize[rl.first]] THEN {
msg ← "no or exclusive root\n"; result ← $Failure;
RETURN
};
IF rl.rest=NIL THEN {
msg ← "no properties to associate with root\n"; result ← $Failure;
RETURN
};
FOR l: LIST OF Rope.ROPE ← rl.rest, l.rest WHILE l#NIL DO
a: ATOM ← Atomize[l.first];
IF IsExclusive[a] THEN msg ← Rope.Cat[msg, l.first, " not allowed\n"]
ELSE Associate[root, a];
ENDLOOP;
};
Commander.Register[
key: "///ChipNDale/CDRemoveRegistration", --used by ChipNDale command files only
proc: RemovePropCommand,
doc: "removes properties from all ChipNDale layers"
];
Commander.Register[
key: "///ChipNDale/CDRemoveRegistrations", --used by ChipNDale command files only
proc: RemovePropCommand,
doc: "removes properties from all ChipNDale layers"
];
Commander.Register[
key: "///ChipNDale/CDAssociateRegistration", --used by ChipNDale command files only
proc: AssociatePropCommand,
doc: "associate ChipNDale properties for removal"
];
--does not really belong into this module
[] ← CDProperties.RegisterProperty[$SignalName];
[] ← CDProperties.RegisterProperty[$InstanceName];
[] ← CDProperties.RegisterProperty[$Tioga];
CDProperties.InstallProcs[prop: $SignalName, procs:
CDProperties.PropertyProcsRec[
makeCopy: CDProperties.CopyVal,
internalWrite: CDProperties.RopePWrite,
internalRead: CDProperties.RopePRead
]];
CDProperties.InstallProcs[prop: $InstanceName, procs:
CDProperties.PropertyProcsRec[
makeCopy: CDProperties.CopyVal,
internalWrite: CDProperties.RopePWrite,
internalRead: CDProperties.RopePRead
]];
CDProperties.InstallProcs[prop: $Tioga, procs:
CDProperties.PropertyProcsRec[
makeCopy: TiogaPCopy,
internalWrite: TiogaPWrite,
internalRead: TiogaPRead
]];
END.