DIRECTORY Core, CoreFlat; Static: CEDAR DEFINITIONS = BEGIN ROPE: TYPE = Core.ROPE; ConnectionCountProc: TYPE = PROC [count: INT, wireRoot: Core.Wire, wire: Core.Wire, public: BOOL, cellType: Core.CellType, unconnectedOK: BOOL]; staticCutSetProp: ATOM; -- $StaticCutSet UnconnectedOK: PROC [wire: Core.Wire] RETURNS [same: Core.Wire]; CheckCount: ConnectionCountProc; CountLeafConnections: PROC [root: Core.CellType, eachWireCount: ConnectionCountProc, cutSet: CoreFlat.CutSet _ NIL]; CountDirectConnections: PROC [root: Core.CellType, eachWireCount: ConnectionCountProc, cutSet: CoreFlat.CutSet _ NIL]; END. ¨Static.mesa Copyright س 1986, 1987 by Xerox Corporation. All rights reserved. Barth, October 22, 1986 11:48:09 am PDT Bertrand Serlet March 30, 1987 9:59:59 pm PST Theory This interface does interesting static checks. Practice IF public THEN wire is a public of root cellType is root ELSE cellType is the record cell parent of wire Marks the wire with a property which suppresses the bad connection count error message. The property is not propagated across cell boundaries by public actual bindings. It is propagated from a parent wire to its children. Checks that every internal wire has at least two connections and that every public wire has at least one connection. Reports any wire which doesn't with TerminalIO. Wires marked with UnconnectedOK do not have error messages generated. Counts the connections to each atomic wire reachable from root. Calls eachWireCount with the number of leaf connections on a wire. If cutSet is NIL then checks the root for staticCutSetProp. Counts the connections to each atomic wire reachable from root. Calls eachWireCount with the number of direct connections on a wire. If cutSet is NIL then checks the root for staticCutSetProp. ‌ت‡– "cedar" styleک– "Cedar" styleڑœ™Icode– "Cedar" styleڑœB™BJ™'K™-—JکJڑدk œکJکJڑدbœ‌œ‌œ‌ک!head™Ibodyڑœ.™.—™ڑ‌œ‌œ‌œکKک—ڑœ‌œ‌œ ‌œ0‌œ*‌œکگڑ‌œ‌™Kڑœ™Kڑœ™—Kڑ‌œ+™/K™—ڑœ‌œدcک)Kک—ڑدn œ‌œ‌œک@Kڑœك™كK™—ڑ œک Kڑœى™ىJک—ڑ œ‌œU‌œکtKڑœہ™ہK™—ڑ œ‌œU‌œکvKڑœآ™آK™Jک——Jڑ‌œک—…—j™