<> <> <> <> <> <> <> <> DIRECTORY CDProperties USING [CopyVal, InstallProcs, InternalPWriteProc, RegisterProperty], Properties USING [PutProp], TokenIO USING [WriteAtom], SXAtoms; SXAtomsImpl: CEDAR PROGRAM IMPORTS CDProperties, Properties, TokenIO EXPORTS SXAtoms = BEGIN spinifex: PUBLIC ATOM _ $Spinifex; spinifexErrorRect: PUBLIC ATOM _ $SXErrorMessage; spinifexPropagationChanged: PUBLIC ATOM _ $SXPropagationChanged; spinifexCircuitDescription: PUBLIC ATOM _ $SpinifexCircuitDescription; -- may not be changed, as its value is used by CDPropTool errorClient: PUBLIC ATOM _ $SpinifexErrorClient; thymePrint: PUBLIC ATOM _ $SXThymeProc; rosePrint: PUBLIC ATOM _ $SXRoseProc; crystalAttr: PUBLIC ATOM _ $SXCrystal; init: PUBLIC ATOM _ $SXInit; fini: PUBLIC ATOM _ $SXFini; export: PUBLIC ATOM _ $Export; analyzeSelected: PUBLIC ATOM _ $SXSel; analyzeAndThymeSelected: PUBLIC ATOM _ $SXThymeS; analyzeAndRoseSelected: PUBLIC ATOM _ $SXRoseS; highlightPointedNode: PUBLIC ATOM _ $SpinifexHighlightNodeP; highlightKeyboardCoordsNode: PUBLIC ATOM _ $SXHighlightNodeK; SignalName: PUBLIC ATOM _ $SignalName; InstanceName: PUBLIC ATOM _ $InstanceName; Rect: PUBLIC ATOM _ $Rect; Cell: PUBLIC ATOM _ $Cell; WriteERect: CDProperties.InternalPWriteProc = BEGIN TokenIO.WriteAtom [h, spinifexErrorRect] END; <> [] _ CDProperties.RegisterProperty [spinifex, $LetMeDoIt]; [] _ CDProperties.RegisterProperty [spinifexCircuitDescription, $LetMeDoIt]; [] _ CDProperties.RegisterProperty [analyzeAndThymeSelected, $LetMeDoIt]; [] _ CDProperties.RegisterProperty [analyzeAndRoseSelected, $LetMeDoIt]; [] _ CDProperties.RegisterProperty [spinifexErrorRect, $LetMeDoIt]; [] _ CDProperties.RegisterProperty [thymePrint, $LetMeDoIt]; [] _ CDProperties.RegisterProperty [rosePrint, $LetMeDoIt]; [] _ CDProperties.RegisterProperty [init, $LetMeDoIt]; [] _ CDProperties.RegisterProperty [fini, $LetMeDoIt]; [] _ CDProperties.RegisterProperty [errorClient, $LetMeDoIt]; CDProperties.InstallProcs [prop: spinifexErrorRect, procs: [makeCopy: CDProperties.CopyVal, internalWrite: WriteERect]]; CDProperties.InstallProcs [prop: spinifex, procs: [makeCopy: CDProperties.CopyVal]]; CDProperties.InstallProcs [prop~ errorClient, procs: [makeCopy: CDProperties.CopyVal]]; CDProperties.InstallProcs [spinifexCircuitDescription, [makeCopy: CDProperties.CopyVal, properties: Properties.PutProp[NIL, $ObjectsOnly, "TRUE"]]] END. <> <> <> <> <> <> <> <> <> <> <> <> <> <> <> <> <> <> <> <> <<>>