<> <> <> <> <<>> DIRECTORY CD; CDPrivate: CEDAR DEFINITIONS = BEGIN <<-- Layers>> LayerRef: TYPE = REF LayerRec; LayerRec: TYPE = RECORD [ technology: CD.Technology_NIL, uniqueKey: ATOM_NIL, -- unique per technology properties: CD.PropRef, globalUniqueKey: REF_NIL, --use as CDValue key reserved by CDDefaults number: CD.Layer ]; layers: READONLY REF ARRAY CD.Layer OF LayerRef; ConvertLayer: PROC [technology: CD.Technology, uniqueKey: ATOM, into: CD.Layer]; <<--To enable input of no more supported layers>> <<>> <<-- Designs>> DesignEnumerator: TYPE = PROC [design: CD.Design] RETURNS [quit: BOOL_FALSE]; EnumDesigns: PROC [p: DesignEnumerator] RETURNS [BOOL]; <<--only (modifyable) subset of designs will be enumerated>> <<--Enumerator does NOT have a lock on design: design is readonly unless locked explicitely>> InstallDesignEnumerator: PRIVATE PROC [PROC [p: DesignEnumerator] RETURNS [BOOL]]; END.