<> <> <> DIRECTORY CD, CDMarks, CDDirectory, CDValue; CDMarksImpl: CEDAR MONITOR IMPORTS CDDirectory, CDValue EXPORTS CDMarks ~ BEGIN MarkRange: TYPE ~ CDMarks.MarkRange; ClearAllAccessibleMarks: PUBLIC ENTRY PROC [design: CD.Design] ~ BEGIN InternalClearAllAccessibleMarks[design]; CDValue.StoreInt[boundTo: design, key: markKey, value: 0]; END; InternalClearAllAccessibleMarks: INTERNAL PROC [design: CD.Design] ~ BEGIN FOR l: LIST OF CD.PushRec _ design.actual, l.rest WHILE l#NIL DO ClearMarksOfList[l.first.specific.contents] ENDLOOP; [] _ CDDirectory.Enumerate[design, EachEntryClearMark]; END; EachEntryClearMark: CDDirectory.EachEntryAction --[name: Rope.ROPE, ob: CD.ObPtr] RETURNS [quit: BOOL] -- ~ BEGIN EnumerateChildren: PROC [me: CD.ObPtr, x: REF] ~ { me.marked _ 0 }; ob.marked _ 0; IF ob.p.hasChildren THEN WITH ob.specificRef SELECT FROM cp: CD.CellPtr => ClearMarksOfList[cp.contents]; ENDCASE => CDDirectory.EnumerateChildObjects[me: ob, p: EnumerateChildren, x: NIL]; quit _ FALSE; END; ClearMarksOfList: PROC [list: CD.ApplicationList] ~ INLINE BEGIN FOR w: CD.ApplicationList _ list, w.rest WHILE w#NIL DO w.first.ob.marked _ 0; <<-- if object has children, they are accessed through celldirectory>> ENDLOOP; END; MarkUnMarkedInclusiveChildren: PUBLIC PROC [design: CD.Design, ob: CD.ObPtr, value: MarkRange] ~ BEGIN EnumerateChildren: PROC [me: CD.ObPtr, x: REF] ~ { IF me.marked#value THEN { MarkUnMarkedInclusiveChildren[design, me, value]; me.marked _ value; } }; IF ob.marked#value THEN { IF ob.p.hasChildren THEN WITH ob.specificRef SELECT FROM cellPtr: CD.CellPtr => -- speed up cells FOR w: CD.ApplicationList _ cellPtr.contents, w.rest WHILE w#NIL DO IF w.first.ob.marked#value THEN { IF w.first.ob.p.hasChildren THEN MarkUnMarkedInclusiveChildren[design, w.first.ob, value] ELSE w.first.ob.marked_value } ENDLOOP; ENDCASE => CDDirectory.EnumerateChildObjects[me: ob, p: EnumerateChildren, x: NIL]; ob.marked _ value; } END; GetNewMark: PUBLIC ENTRY PROC [design: CD.Design] RETURNS [MarkRange] ~ <<--gets new value to be used as a mark>> <<--if all values are already used, it has to clear all accessible marks and will be slow.>> BEGIN i: INT _ CDValue.FetchInt[boundTo: design, key: markKey, propagation: design, ifNotFound: 0]; IF i=LAST[MarkRange] THEN { InternalClearAllAccessibleMarks[design]; i _ 0 }; CDValue.StoreInt[boundTo: design, key: markKey, value: i+1]; RETURN [i+1] END; markKey: REF INT ~ NEW[INT]; CDValue.EnregisterKey[key: markKey, boundTo: NIL]; END.