<> <> <> DIRECTORY Core, CoreFlat; DBusConnect: CEDAR DEFINITIONS = BEGIN <> <> <> <> <> <> <> <> <> <> <> ROPE: TYPE = Core.ROPE; Wire: TYPE = Core.Wire; CellType: TYPE = Core.CellType; FlatCellType: TYPE = CoreFlat.FlatCellType; Order: TYPE = CoreFlat.FlatCellTypes; DBusData: TYPE = REF DBusDataRec; DBusDataRec: TYPE = RECORD [ name: ROPE _ NIL, control: Wire _ NIL, in: Wire _ NIL, out: Wire _ NIL]; <> WireDBusGivenOrder: PROC [root: CellType, busName: ROPE, order: Order]; <> <<>> WireDBusComputeOrder: PROC [root: CellType, busName: ROPE] RETURNS [order: Order]; <> <<>> <> OrderSize: PROC [order: Order] RETURNS [index: NAT]; <> <<>> OrderIndex: PROC [order: Order, bit: FlatCellType] RETURNS [index: NAT]; <