DIRECTORY IO USING [STREAM], Rope USING [ROPE];Core: CEDAR DEFINITIONS = BEGINROPE: TYPE = Rope.ROPE;STREAM: TYPE = IO.STREAM;Properties: TYPE = REF PropertyRec;PropertyRec: TYPE;StructureError: SIGNAL [type: StructureErrorType, message: ROPE _ NIL, data: REF ANY _ NIL] RETURNS [newData: REF ANY _ NIL];StructureErrorType: TYPE = {DuplicateName, InvariantFailed, MissingParameter, NoSuchName};Design: TYPE = REF DesignRec;DesignRec: TYPE = RECORD [name: ROPE _ NIL,data: DesignData _ NIL,properties: Properties _ NIL];DesignData: TYPE = REF DesignDataRec;DesignDataRec: TYPE;Wire: TYPE = REF WireRec;WireRec: TYPE = RECORD [name: ROPE _ NIL,structure: WireStructure _ atom,elements: WireSequence _ NIL,properties: Properties _ NIL];WireStructure: TYPE = {sequence, record, atom};WireSequence: TYPE = REF WireSequenceRec;WireSequenceRec: TYPE = RECORD [c: SEQUENCE size: NAT OF Wire];CellClass: TYPE = REF CellClassRec;CellClassRec: TYPE = RECORD [name: ROPE,recast: RecastProc _ NIL,read: ReadProc,write: WriteProc,properties: Properties _ NIL];RecastProc: TYPE = PROC [me: CellType] RETURNS [new: CellType];WriteProc: TYPE = PROC [out: STREAM, me: CellType];ReadProc: TYPE = PROC [design: Design, in: STREAM] RETURNS [me: CellType];CellType: TYPE = REF CellTypeRec;CellTypeRec: TYPE = RECORD [name: ROPE,class: CellClass, publicWire: Wire,data: REF ANY _ NIL,	properties: Properties _ NIL];END.  ╚  Core.mesaCopyright c 1985 by Xerox Corporation.  All rights reserved.Barth, October 2, 1985 9:34:39 am PDTBertrand Serlet August 14, 1985 10:47:53 am PDTSpreitzer, September 9, 1985 11:01:46 pm PDTTheoryThis interface defines the basic data structures for the Core design automation system.  It is actually a general decomposition facility that breaks designs down into cells which are then bound together.  Any of the procedures which implement operations upon these types may raise StructureError[InvariantFailed].  This indicates that the implementation has a bug in it.  Clients should notify the maintainers should this occur. Common Types and ErrorsDesignsWireswire.structure=atom g wire.elements=NIL.wire.structure#atom g wire.elements=NIL (and wire.elements.size=0 is legal).Cell ClassesA cell class must have recast, read and write procedures (except RecordCellClass and primitive classes elide the recast proc).Returns a new cell type with the same structure as me, expressed in a more familiar way.A recast proc may or may not return a unique copy of the recast; see CoreOps for a procedure that guarantees uniqueness of result.Cell TypesCellTypes may not share any part of a publicWire. Э╩k  Ц"cedar" styleШ Ц"Cedar" styleЪЬ	Щ	JЪЬ
╧mЬ1Щ<JЩ%IcodeЩ/KЩ,ЧJШ Ъ╧k	ЬШ
JЪЮЬЮЬЮЬШJЪЬЮЬЮЬШЧJШ JЪ╧bЬЮЬЮЬЮШheadЩIbodyЪЬнЩнЧЩKЪЮЬЮЬЮЬШKЪЮЬЮЬЮЬЮЬШJШ KЪЬЮЬЮЬШ#KЪЬЮЬШKШ KЪЬЮЬ%ЮЬЮЬЮЬЮЬЮЬЮЬЮЬЮЬЮЬШ}KЪЬЮЬBШZЧЪЬЩKЪЬЮЬЮЬШЪЬЮЬЮЬШKЪЬЮЬЮЬШKЪЬЮЬШKЪЬЮЬШЧKЪЬЮЬЮЬШ%KЪЬЮЬШЧЩKЪЬЮЬЮЬ	ШЪЬ	ЮЬЮЬШKЪЬЮЬЮЬШKЪЬ Ш KЪЬЮЬШKЪЬЮЬШЧKШ KЪЬЮЬШ/KЪЬЮЬЮЬШ)KЪЬЮЬЮЬЮЬЮЬЮЬШ?KЩ KЪЬЭЬЮЬЩ(KЪЬЭЬЭЮЬ%ЩLЧЩKЪЬЮЬЮЬШ#ЪЬЮЬЮЬШKЪЬЮЬШKЪЬЮЬШKЪЬШKЪЬШKЪЬЮЬШЧKЪЬ~Щ~KШ Ъ╧n
ЬЮЬЮЬЮЬШ?KЪЬ3╧eЬ#ЩXKЪЬВЩВЧKЪа	ЬЮЬЮЬЮЬШ3KЪ
аЬЮЬЮЬЮЬЮЬШJЧЩ
KЪЬ
ЮЬЮЬШ!ЪЬЮЬЮЬШKЪЬЮЬШKЪЬШKЪЬШKЪЬЮЬЮЬЮЬШKЪЬЮЬШЧЩ1JШ ЧЧJЪЮЬШЧ ЕЧ    и  █  