DIRECTORY CD, Rope;PWDescr: CEDAR DEFINITIONS =BEGIN ROPE: TYPE = Rope.ROPE;allOnes: INT = LAST[INT];	-- same as 2B10-1=2147483647Descriptor: TYPE = REF DescriptorRec;DescriptorRec: TYPE = RECORD[genRef: REF, items: SEQUENCE size: CARDINAL OF Item];					-- which generator to useItem: TYPE = REF ItemRec;ItemRec: TYPE = RECORD [name: ROPE _ NIL, 	-- name of the field, e.g. cAdrdata: REF _ NIL, 	-- think of it as a propertyspecificRef: REF _ NIL];BitRef: TYPE = REF BitRec;		-- coded on one wireBitRec: TYPE = RECORD[val: BOOL _ FALSE];BoolRef: TYPE = REF BoolRec;	-- coded on two wiresBoolRec: TYPE = RECORD[val0, val1: BOOL];IntRef: TYPE = REF IntRec;		-- every bit is coded as a booleanIntRec: TYPE = RECORD[val, mask: INT, bools: SEQUENCE nbBits: CARDINAL OF BoolRef];PadRef: TYPE = REF PadRec;		-- no value, but positionsPadRec: TYPE = RECORD[SEQUENCE size: CARDINAL OF INT];RopesToDescr: PUBLIC PROC [names: LIST OF ROPE, genRef: REF _ NIL] RETURNS [descr: Descriptor];SetTypeBit: PUBLIC PROC [descr: Descriptor, name: ROPE, initVal: BOOL _ FALSE, data: REF _ NIL];SetTypeBool: PUBLIC PROC [descr: Descriptor, name: ROPE, initVal: BOOL _ FALSE, complement: BOOL _ FALSE, data: REF _ NIL];SetTypeInt: PUBLIC PROC [descr: Descriptor, name: ROPE, nbBits: INT, initVal: INT _ 0, complement: INT _ 0, data: REF _ NIL];SetTypePad: PUBLIC PROC [descr: Descriptor, name: ROPE, padRef: PadRef, data: REF _ NIL];SetBit: PUBLIC PROC [descr: Descriptor, name: ROPE, val: BOOL];SetBool: PUBLIC PROC [descr: Descriptor, name: ROPE, val: BOOL, complement: BOOL _ TRUE];SetInt: PUBLIC PROC [descr: Descriptor, name: ROPE, val: INT, complement: INT _ allOnes];SetData: PUBLIC PROC [descr: Descriptor, name: ROPE, data: REF];NameToItem: PUBLIC PROC [descr: Descriptor, name: ROPE] RETURNS [item: Item];IsInDescr: PUBLIC PROC [descr: Descriptor, name: ROPE] RETURNS [yes: BOOL];ForEachItemProc: TYPE = PROC [item: Item];EnumerateItems: PUBLIC PROC [descr: Descriptor, forEachItemDo: ForEachItemProc];END.  К  PWDescr.mesa	Copyright c 1984 by Xerox Corporation.  All rights reversed.Created by Louis Monier, July 19, 1985 11:55:35 am PDTLast Edited by: Monier, May 29, 1985 9:58:30 am PDTBertrand Serlet November 26, 1985 11:47:40 am PST-- Types for describing control parts-- Specific refs-- A single bit (clock)-- A pair of bits (usually complementary values)-- A sequence of booleans, high order bit=0 "on the left"-- A set of "things"--Turn a list of ropes in a vanilla descriptor of the appropriate size-- Set the type of an item, with an initial value if you wish and a data (usually an atom)-- Set the value of an item; complement has to be interpeted bitwise as follows: if set to TRUE, then [val0, val1] _ [val, ~val], otherwise [val0, val1] _ [val, val] SetMask: PUBLIC PROC [descr: Descriptor, name: ROPE, mask: INT];-- Find an item by name-- Enumeration procs (the order matters) Э╩╞  Ш Ц"Cedar" styleЪЬЩJЪЬ
╧mЬ1Щ<JЩ6ЧЩ3IcodeЩ1ЧJШ Ъ╧k	ЬШ
JШ JЪЮЬШ	JШ ЧЪ╧nЬЮЬЮШJШ JЪЮЬШJЪЮЬЮЬЮЬШJЪЬ	ЮЬЮЬЮЬ╧cШ6Щ%JЪЯ
ЬЮЬЮЬШ%ЪЬЮЬЮЬШJЪЬЮЬШJЪЬЮЬЮЬЮЬаШFЧJЪЯЬЮЬЮЬ	ШЪЬ	ЮЬЮЬШJЪЬЮЬЮЬаШ2JЪЬЮЬЮЬаШ.JЪЬЮЬЮЬШЧЧЩJЩJЪЯЬЮЬЮЬ
аШ0JЪ	ЬЮЬЮЬЮЬЮЬШ)JЩ0JЪЯЬЮЬЮЬ
аШ2JЪЬ	ЮЬЮЬЮЬШ)JЩ9JЪЯЬЮЬЮЬ
а"Ш>JЪЬЮЬЮЬЮЬ	ЮЬ	ЮЬЮЬ
ШSJЩJЪЯЬЮЬЮЬ
аШ6JЪЬЮЬЮЬЮЬЮЬЮЬЮЬШ6ЧJЩ ЪЯЬDЩFJЪЯЬЮЬ	ЮЬЮЬЮЬЮЬЮЬЮЬШ_ЧЩZJЪЯ
ЬЮЬЮЬЮЬЮЬЮЬЮЬЯШ`JЪЯЬЮЬЮЬЮЬЮЬЮЬЮЬЮЬЮЬЮЬШ{JЪЯ
ЬЮЬЮЬЮЬ
ЮЬЮЬЮЬЮЬЮЬШ}JЪЯ
ЬЮЬЮЬЮЬЮЬЮЬШYЧЪЬжЩжJЪ
ЯЬЮЬЮЬЮЬЮЬШ?JЪЯЬЮЬЮЬЮЬЮЬЮЬЮЬШYJЪ
ЯЬЮЬЮЬЮЬЮЬШYJЪЯЬЮЬЮЬЮЬЩ@JЪЯЬЮЬЮЬЮЬШ@ЧЩJЪ
Я
ЬЮЬЮЬЮЬЮЬШMJЪЯ	ЬЮЬЮЬЮЬЮЬЮЬШKЧЩ(JЪЯЬЮЬЮЬШ*JЪЯЬЮЬ5ШPЧJШ JШ ЧJЪЮЬШЧ ЕЧ    Ї  D  