<> <> <> DIRECTORY CD USING [DesignPosition, DesignNumber, ObPtr, Level, Design]; CDBusses: CEDAR DEFINITIONS = BEGIN BusPtr: TYPE = REF BusRec; BusRec: TYPE = RECORD [ sizeOfFirst: CD.DesignPosition, offsetOfFirst: CD.DesignPosition, offset: CD.DesignPosition, count: NAT, lengIncrement: CD.DesignNumber ]; CreateBus: PROC [sizeOfFirst: CD.DesignPosition, lev: CD.Level, count: NAT, offset: CD.DesignPosition, lengIncrement: CD.DesignNumber_0] RETURNS [CD.ObPtr]; <<-- sizeOfFirst.x = width, sizeOfFirst.y = length of first wire>> <<-- no wire is allowed to get size 0 or negative size>> <<-- count <= 256>> CreateBusCell: PROC [design: CD.Design, sizeOfFirst: CD.DesignPosition, lev: CD.Level, count: NAT, offset: CD.DesignPosition, lengIncrement: CD.DesignNumber_0] RETURNS [CD.ObPtr]; <<-- sizeOfFirst.x = width, sizeOfFirst.y = length of first wire>> END.