DIRECTORYAtom,CD,CDApplications,CDCommandOps,CDOps,CDProperties,CDSequencer,IO,Rope,RuntimeError USING [UNCAUGHT],TerminalIO,TokenIO;CDSignalNamesImpl: CEDAR PROGRAM IMPORTS Atom, CDCommandOps, CDOps, CDProperties, CDSequencer, IO, Rope, RuntimeError, TerminalIO = BEGINspecialRights: BOOL _ FALSE;  -- gives the right to access exclusive propertiesEnterSignalNameSP: PROC [comm: CDSequencer.Command] =BEGIN aptr: CD.ApplicationPtr _ CDCommandOps.TheApplication[comm, "read signal-name"];IF aptr#NIL THEN {name: Rope.ROPE;TerminalIO.WriteRope["  onto "];CDCommandOps.WriteInfo[aptr];name _ TerminalIO.RequestRope[" type name: "];IF Rope.IsEmpty[name] THEN name_NIL;CDProperties.PutPropOnApplication[onto: aptr, prop: $SignalName, val: name];IF name#NIL THEN TerminalIO.WriteRope["  done\n"] ELSE TerminalIO.WriteRope["  removed\n"];}END;RemoveDollar: PROC [r: Rope.ROPE] RETURNS [Rope.ROPE] =BEGINIF Rope.Length[r]>1 AND Rope.Fetch[r]='$ THEN r _ Rope.Substr[r, 1, Rope.Length[r]-1];RETURN [r]END;detail: INT _ 0;WriteValue: PROC [x: REF] =BEGINENABLE RuntimeError.UNCAUGHT => GOTO err;IF x=NIL THEN TerminalIO.WriteRope["NIL"] ELSEWITH x SELECT FROMip: REF INT => TerminalIO.WriteInt[ip^];r: Rope.ROPE => TerminalIO.WriteRope[r];a: ATOM => TerminalIO.WriteRope[Rope.Concat["$", Atom.GetPName[a]]];ra: REF ATOM => TerminalIO.WriteRope[Rope.Concat["^$", Atom.GetPName[ra^]]];d: CD.Design  => TerminalIO.WriteRope[Rope.Concat["design ", (IF d.name=NIL THEN "no name" ELSE d.name)]];ob: CD.ObPtr => TerminalIO.WriteRope[CDOps.Info[ob]];ap: CD.ApplicationPtr => CDCommandOps.WriteInfo[ap];ENDCASE => IF detail=0 THEN TerminalIO.WriteRope[IO.PutFR["(%b)", IO.int[LOOPHOLE[x]]]]ELSE TerminalIO.WriteRope[IO.PutR[IO.refAny[x]]];EXITSerr => TerminalIO.WriteRope["??"];END;RequestValue: PROC [default: REF] RETURNS [REF] =BEGINn: CARDINAL_0;WHILE n=0 DOn _ TerminalIO.RequestSelection["property value", LIST["leave it", "remove", "INT", "ROPE", "ATOM", "REF ANY"]];SELECT n FROM2 => {default _ NIL};3 => {default _ NEW[INT_TerminalIO.RequestInt["int > "]]};4 => {default _ TerminalIO.RequestRope["rope > "]};5 => {default _ Atom.MakeAtom[RemoveDollar[TerminalIO.RequestRope["atom > "]]]};6 => {TerminalIO.WriteRope["(on crash: abort is ok)"];default _ IO.GetRefAny[IO.RIS[TerminalIO.RequestRope["ref any > "]]]};ENDCASE --0, 1-- => {NULL};ENDLOOP;RETURN [default]END;EnterPropertySP: PROC [comm: CDSequencer.Command] =BEGIN aptr: CD.ApplicationPtr _ CDCommandOps.TheApplication[comm, "enter property"];IF aptr#NIL THEN {pType: CDProperties.PropertyProcs;atom: ATOM;value: REF;name: Rope.ROPE _ RemoveDollar[TerminalIO.RequestRope["type property name: "]];IF Rope.IsEmpty[name] THEN {TerminalIO.WriteRope[" empty name; not done\n"];RETURN};atom _ Atom.MakeAtom[name];value _ CDProperties.GetPropFromApplication[aptr, atom];TerminalIO.WriteRope["  old value: "];WriteValue[value];TerminalIO.WriteLn[];pType _ CDProperties.FetchProcs[atom];IF pType#NIL AND pType.exclusive THEN {TerminalIO.WriteRope["  this property is used exclusively by the program; "]; IF ~specialRights THEN {TerminalIO.WriteRope["interactive access is not possible\n"];RETURN}};value _ RequestValue[value];CDProperties.PutPropOnApplication[onto: aptr, prop: atom, val: value];TerminalIO.WriteRope["  done\n"];}END;ShowProperties: PROC [from: REF] =BEGINWITH from SELECT FROMa: CD.ApplicationPtr => ShowPropertyList[a.properties];o: CD.ObPtr => ShowPropertyList[o.properties];d: CD.Design => ShowPropertyList[d.properties];t: CD.Technology => ShowPropertyList[t.properties];ENDCASE => TerminalIO.WriteRope[" no showable CD properties"];END;ShowPropertyList: PROC [pl: CD.Properties] =BEGINFOR list: CD.Properties _ pl, list.rest WHILE list#NIL DOShowProperty[list.first]ENDLOOPEND;ShowProperty: PROC [pp: Atom.DottedPair] =BEGINTerminalIO.WriteRope["  name: "];WriteValue[pp.key];TerminalIO.WriteRope["  value: "];WriteValue[pp.val];TerminalIO.WriteLn[];END;ShowPropertiesSP: PROC [comm: CDSequencer.Command] =BEGIN aptr: CD.ApplicationPtr _ CDCommandOps.TheApplication[comm, "Show Properties"];IF aptr#NIL THEN {IF aptr.properties#NIL THEN {TerminalIO.WriteRope["  --properties on instance\n"];ShowPropertyList[aptr.properties];};IF aptr.ob.properties#NIL THEN {TerminalIO.WriteRope["  --properties on object itself\n"];ShowPropertyList[aptr.ob.properties];};TerminalIO.WriteRope["  --\n"];}END;CDSequencer.ImplementCommand[$EnterNameS, EnterSignalNameSP];CDSequencer.ImplementCommand[$EnterNameP, EnterSignalNameSP];CDSequencer.ImplementCommand[$EnterPropertyS, EnterPropertySP];CDSequencer.ImplementCommand[$EnterPropertyP, EnterPropertySP];CDSequencer.ImplementCommand[$ShowPropertiesP, ShowPropertiesSP,, doQueue];CDSequencer.ImplementCommand[$ShowPropertiesS, ShowPropertiesSP,, doQueue];END.   À  CDSignalNamesImpl.mesa   (part of Chipndale)by Christian Jacobi   November 7, 1983 5:39 pm last edited Christian Jacobi   December 14, 1983 12:11 pm--if name = nil, property will be removed--XXX make public on next release; probably in CDCommandOps--move this procedure to CDProperties--l: CD.LevelRef => ...;--at: ATOM => ...;-- module initializationRegistration removed from this place, to port this module to commandlevel IF NOT CDProperties.RegisterProperty[$SignalName] THEN ERROR;IF NOT CDProperties.RegisterProperty[$InstanceName] THEN ERROR;CDProperties.InstallProcs[prop: $SignalName, new: CDProperties.PropertyProcsRec[makeCopy: CDProperties.CopyVal,internalWrite: CDProperties.RopePWrite,internalRead: CDProperties.RopePRead]];CDProperties.InstallProcs[prop: $InstanceName, new: CDProperties.PropertyProcsRec[makeCopy: CDProperties.CopyVal,internalWrite: CDProperties.RopePWrite,internalRead: CDProperties.RopePRead]]; Ê
  ˜ Jšœ,™,Jšœ/™/Jšœ9™9J˜ šÏk	˜	Jšœ˜Jšœ˜J˜Jšœ˜Jšœ˜Jšœ˜Jšœ˜Jšœ˜Jšœ˜Jšœœœ˜Jšœ˜Jšœ˜J˜ —šÏnœœœ˜!Jšœ\˜c—Jš˜J˜ JšœœœÏc1˜OJ˜ šžœœ˜5Jšœ˜JšœœH˜Pšœœœ˜Jšœœ˜Jšœ ˜ Jšœ˜Jšœ.˜.Jšœ)™)Jšœœœ˜$JšœL˜LJšœœœ"˜2Jšœ%˜)J˜—Jšœ˜—J˜ š
žœœ
œœœ˜7Jš˜Jšœœœ)˜VJšœ˜
Jšœ˜—J˜ Jšœœ˜Jšœ;™;šž
œœœ˜Jš˜Jšœœœ˜)Jšœœœ˜*š˜šœœ˜Jšœœœ˜(Jšœœ˜(Jšœœ=˜DJšœœ@˜LJšœœ9œœœœ˜jJšœœ/˜5Jšœœ.˜4šœ˜Jš
œ
œœœœ˜LJšœœœ˜1———š˜Jšœ"˜"—Jšœ˜J˜ —š
žœœœœœ˜1Jš˜Jšœœ˜šœ˜Jšœ2œ:˜pšœ˜Jšœœ˜Jšœœœ#˜:Jšœ3˜3JšœP˜Pšœ˜Jšœ0˜0Jšœ
œœœ'˜DJšœ˜—JšœŸœœ˜—Jšœ˜—Jšœ
˜Jšœ˜—J˜ šžœœ˜3Jšœ˜JšœœF˜Nšœœœ˜Jšœ"˜"Jšœœ˜Jšœœ˜Jšœœ@˜Ošœœ˜Jšœ0˜0Jš˜J˜—Jšœ˜Jšœ8˜8Jšœ&˜&Jšœ˜Jšœ˜Jšœ&˜&šœœœœ˜'JšœN˜Nšœœ˜Jšœ=˜=Jš˜J˜—J˜—Jšœ˜JšœF˜FJšœ!˜!J˜—Jšœ˜—J˜ Jšœ%™%šžœœœ˜"Jš˜šœœ˜Jšœœ2˜7Jšœœ)˜.Jšœœ*˜/Jšœœ.˜3Jšœ™Jšœœ™Jšœ7˜>—Jšœ˜—J˜ šžœœœ˜,Jš˜š	œœœœ˜9Jšœ˜Jš˜—Jšœ˜J˜ —šžœœ˜*Jš˜Jšœ!˜!Jšœ˜Jšœ"˜"Jšœ˜Jšœ˜Jšœ˜—J˜ šžœœ˜4Jšœ˜JšœœG˜Ošœœœ˜šœœœ˜Jšœ5˜5Jšœ"˜"J˜—šœœœ˜ Jšœ:˜:Jšœ%˜%J˜—Jšœ˜J˜—Jšœ˜—J˜ Jšœ™J™JJšœœ,œœ™=Jšœœ.œœ™?šœ2™2šœ™Jšœ™Jšœ'™'Jšœ$™$Jšœ™——šœ4™4šœ™Jšœ™Jšœ'™'Jšœ$™$Jšœ™——Jšœ=˜=Jšœ=˜=Jšœ?˜?Jšœ?˜?JšœK˜KJšœK˜KJšœ˜J˜ J˜ — …—    <    