<<>> <> <> <> <<>> (cedar-directory "Core") (cedar-imports "Convert" "CoreClasses" "CoreOps") (define-ref-type "Core" "Properties") <> (define-proc (int-to-string int) "convert int to string" result _ StringFromRope[Convert.RopeFromCard[TheINT[int]]]; ) <> (define-ref-type "Core" "Wire") (define-proc (create-wires size (name) (props)) "create a wire" result _ CoreOps.CreateWires[TheINT[size], IF name#undefined THEN TheROPE[name] ELSE NIL, IF props#undefined THEN TheProperties[props] ELSE NIL]; ) (define-proc (wire-props wire) "wire.properties" result _ TheWire[wire].properties; ) (define-proc (wire-size wire) "wire.size" result _ MakeFixnum[TheWire[wire].size]; ) (define-proc (wire-child wire child) "wire.elements[child]" result _ TheWire[wire].elements[TheINT[child]]; ) (define-proc (wire-name-short wire) "short wire name" result _ StringFromRope[CoreOps.GetShortWireName[TheWire[wire]]]; ) <> (define-ref-type "Core" "CellClass") (define-proc (cell-class-name cell-class) "cellClass.name" result _ StringFromRope[TheCellClass[cellClass].name]; ) (define-proc (cell-class-properties cell-class) "cellClass.properties" result _ TheCellClass[cellClass].properties; ) (define-proc (record-cell-class) "record cell class" result _ CoreClasses.recordCellClass; ) (define-proc (transistor-cell-class) "transistor cell class" result _ CoreClasses.transistorCellClass; ) <> (define-ref-type "Core" "CellType") (define-proc (cell-type-class cell-type) "cellType.class" result _ TheCellType[cellType].class; ) (define-proc (cell-type-public cell-type) "cellType.public" result _ TheCellType[cellType].public; ) (define-proc (cell-type-data cell-type) "cellType.data" result _ TheCellType[cellType].data; ) (define-proc (cell-type-properties cell-type) "cellType.properties" result _ TheCellType[cellType].properties; ) (define-proc (cell-type-to-basic cell-type) "maximal recast of cell-type" result _ CoreOps.ToBasic[TheCellType[cellType]]; ) (define-proc (cell-type-name cell-type) "name of cell type" result _ StringFromRope[CoreOps.GetCellTypeName[TheCellType[cellType]]]; )