<> <> <> <> <<>> <<-- Check Marks: Provide check marks for ChipNDale. These marks are used by the Tiler to verify alignments of things. Each such mark must match (be at the same point as) at least one other mark, otherwise it's an error.>> DIRECTORY CD USING [Design, ObPtr, ApplicationPtr, Position]; CheckMarks: CEDAR DEFINITIONS = BEGIN <<-- Place mark.>> Place: PROC [into: CD.Design, markPos: CD.Position]; <<-- Find all check marks in a cell.>> FindList: PROC [ob: CD.ObPtr] RETURNS [LIST OF CD.Position]; <<>> <<>> <<-- back door proceedures -->> <<>> objAtom: ATOM; -- Contains the atom that check marks are tagged with. <<>> <<-- Make a mark application only, doesn't place it into anything.>> MakeCheckAptr: PROC [markPos: CD.Position] RETURNS [CD.ApplicationPtr]; <<-- Given a ChipNDale application that points to an check mark, return it's position. >> <<-- Returns NIL if the application contains a different type of object.>> AptrToCheck: PROC [aptr: CD.ApplicationPtr] RETURNS [REF CD.Position]; <<>> END.