<> <> <> <> <> DIRECTORY Core; CoreMapFunction: CEDAR DEFINITIONS = BEGIN OPEN Core; <> <> <> XYFn: TYPE = PROC[x, y: INT, args: MapFnCellType] RETURNS [index: NAT]; -- index in the list of possible cells mapFnCellClass: CellClass; MapFnCellType: TYPE = REF MapFnCellTypeRec; MapFnCellTypeRec: TYPE = RECORD [ lx, ux, ly, uy: INT _ 0, xyFn: XYFn, cells: SEQUENCE length: NAT OF CellType ]; Create: PROC [name: ROPE _ NIL, public: Wire, args: MapFnCellType] RETURNS [cellType: CellType]; <<>> Print: PROC [cell: MapFnCellType, out: STREAM]; END.