<> <> <> <> <> <> <> 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 _ $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; coreOut: PUBLIC ATOM _ $SXCoreProc; 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; analyzeAndCoreSelected: PUBLIC ATOM _ $SXCoreS; highlightPointedNode: PUBLIC ATOM _ $SXHighlightNodeP; highlightKeyboardCoordsNode: PUBLIC ATOM _ $SXHighlightNodeK; SignalName: PUBLIC ATOM _ $SignalName; InstanceName: PUBLIC ATOM _ $InstanceName; Rect: PUBLIC ATOM _ $Rect; Cell: PUBLIC ATOM _ $Cell; <> techInfo: PUBLIC ATOM _ $SXCoreTechInfo; strayInfo: PUBLIC ATOM _ $SXCoreStray; locInfo: PUBLIC ATOM _ $SXCoreLoc; cdDesignHint: PUBLIC ATOM _ $SXCDDesign; cdCellHint: PUBLIC ATOM _ $SXCDCell; instanceTransf: PUBLIC ATOM _ $SXInstTransf; 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[coreOut, $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. <> <> <> <> <> <> <> <> <> <> <> <> <> <> <> <> <<>>