<> <> <> <> <> <> <> DIRECTORY Atom USING [PutPropOnList], CDProperties USING [CopyVal, InstallProcs, InternalPWriteProc, RegisterProperty], TokenIO USING [WriteAtom], SXAtoms; SXAtomsImpl: CEDAR PROGRAM IMPORTS Atom, CDProperties, TokenIO EXPORTS SXAtoms = BEGIN spinifex: PUBLIC ATOM _ $Spinifex; spinifexErrorRect: PUBLIC ATOM _ $SXErrorMessage; spinifexPropagationChanged: PUBLIC ATOM _ $SpinifexPropagationChanged; spinifexCircuitDescription: PUBLIC ATOM _ $SpinifexCircuitDescription; -- may not be changed, as its value is used by CDPropTool errorClient: PUBLIC ATOM _ $SpinifexErrorClient; thymePrint: PUBLIC ATOM _ $SpinifexThymeProc; rosePrint: PUBLIC ATOM _ $SpinifexRoseProc; init: PUBLIC ATOM _ $SpinifexInit; fini: PUBLIC ATOM _ $SpinifexFini; export: PUBLIC ATOM _ $Export; analyzeSelected: PUBLIC ATOM _ $SpinifexS; analyzeAndThymeSelected: PUBLIC ATOM _ $SpinifexThymeS; analyzeAndRoseSelected: PUBLIC ATOM _ $SpinifexRoseS; highlightPointedNode: PUBLIC ATOM _ $SpinifexHighlightNodeP; highlightKeyboardCoordsNode: PUBLIC ATOM _ $SpinifexHighlightNodeK; SignalName: PUBLIC ATOM _ $SignalName; InstanceName: PUBLIC ATOM _ $InstanceName; Rect: PUBLIC ATOM _ $Rect; SaveRect: PUBLIC ATOM _ $SaveRect; Cell: PUBLIC ATOM _ $Cell; WriteERect: CDProperties.InternalPWriteProc = BEGIN TokenIO.WriteAtom[spinifexErrorRect] END; <<-- Module Initialization>> [] _ 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.RegisterProperty[export, $LetMeDoIt];>> CDProperties.InstallProcs[prop: spinifexErrorRect, new: [makeCopy: CDProperties.CopyVal, internalWrite: WriteERect]]; CDProperties.InstallProcs[prop: spinifex, new: [makeCopy: CDProperties.CopyVal]]; CDProperties.InstallProcs[prop~ errorClient, new: [makeCopy: CDProperties.CopyVal]]; CDProperties.InstallProcs[spinifexCircuitDescription, [makeCopy: CDProperties.CopyVal, properties: Atom.PutPropOnList[NIL, $ObjectsOnly, "TRUE"]]] END. <> <> <> <> <> <> <> <> <> <> <> <<>>