DIRECTORYIO, Rope, RoseTranslateTypes;IntTypesTranslation: CEDAR PROGRAMIMPORTS IO, RoseTranslateTypes =BEGINROPE: TYPE = Rope.ROPE;IntSignalType: TYPE = REF IntSignalTypeRep;IntSignalTypeRep: TYPE = RECORD [bits: CARDINAL];intTypes: LIST OF RoseTranslateTypes.SignalType _ NIL;one: REF ANY _ NEW [INT _ 1];IntSignalTypeConstructor: RoseTranslateTypes.SignalTypeConstructor =BEGINasAny: REF ANY _ RoseTranslateTypes.GetParm[1, "bits", parms, one];bits: CARDINAL;type _ NIL;WITH asAny SELECT FROMri: REF INT => bits _ ri^;ENDCASE => ERROR RoseTranslateTypes.TypeConstructionError["Signal Type INT not given an integer"];FOR stl: LIST OF RoseTranslateTypes.SignalType _ intTypes, stl.rest WHILE stl # NIL DOistd: IntSignalType _ NARROW[stl.first.data];IF istd.bits = bits THEN {type _ stl.first; EXIT};ENDLOOP;IF type = NIL THENintTypes _ CONS[type _ NEW [RoseTranslateTypes.SignalTypeRep _ [intTypeProcs,NEW[IntSignalTypeRep _ [bits]] ]],intTypes];END;intTypeProcs: RoseTranslateTypes.SignalTypeProcs _NEW [RoseTranslateTypes.SignalTypeProcsRep _ [Info: IntTypeInfo,Describe: DescribeIntType,Cannonize: CannonizeIntType,MesaTypeDecl: MesaForIntType]];IntTypeInfo: PROC [data: REF ANY] RETURNS [bitWidth: INT, roseType, mesaType: ROPE] =BEGINintSignalType: IntSignalType _ NARROW[data];bitWidth _ IF intSignalType.bits <= 16 THEN intSignalType.bits ELSE ((intSignalType.bits+15)/16)*16;roseType _ IO.PutFR["IntType[%g]", IO.int[intSignalType.bits]];mesaType _ IF intSignalType.bits = 1 THEN "BOOLEAN" ELSE IF intSignalType.bits <= 16 THEN IO.PutFR["[0..%g]", IO.card[uppers[intSignalType.bits]]] ELSE IF intSignalType.bits <= 32 THEN "LONG CARDINAL" ELSE IO.PutFR["ARRAY [0 .. %g) OF CARDINAL", IO.card[(intSignalType.bits+15)/16]];END;DescribeIntType: PROC [data: REF ANY] RETURNS [description: ROPE] =BEGINintSignalType: IntSignalType _ NARROW[data];description _ IO.PutFR["INT[%g]", IO.card[intSignalType.bits]];END;CannonizeIntType: PROC [data: REF ANY] RETURNS [cannonized: REF ANY] ={cannonized _ data};MesaForIntType: PROC [data: REF ANY] RETURNS [mesaTypeDecl: ROPE] ={mesaTypeDecl _ NIL};uppers: ARRAY [1..16] OF CARDINAL = [1, 3, 7, 15, 31, 63, 127, 255, 511, 1023, 2047, 4095, 8191, 16383, 32767, 65535];RoseTranslateTypes.RegisterSignalTypeConstructor["INT", IntSignalTypeConstructor];RoseTranslateTypes.SetDefaultSignalType[IntSignalTypeConstructor[NEW [RoseTranslateTypes.ArgsRep _ [LIST[NEW [INT _ 1]]]]]];END.   R  IntTypesTranslation.MesaLast Edited by: Spreitzer, April 20, 1983 11:16 amЭ╩j  Ш JЩJЩ2JШ codeЪ╧k	Ш	KЪЭЬШЧKШ Ъ╨bxЬЭЬЭШ"KЪЭЬЭЬШ ЧKШ KЪЭШKШ KЪЭЬЭЬЭЬШKШ KЪЬЭЬЭЬШ+ЪЬЭЬЭЬШ!KЪЬЭЬШЧKШ KЪЬ
ЭЬЭЬ!ЭЬШ6KШ KЪ	ЬЭЬЭЬЭЬЭЬШKШ Ъ╧nЬ,ШDKЪЭШKЪЬЭЬЭЬ5ШCKЪЬЭЬШKЪЬЭЬШЪЭЬЭЬЭШKЪЬЭЬЭЬШKЪЭЬЭЬRШbЧЪЭЬЭЬЭЬ4ЭЬЭЬЭШVKЪЬЭЬШ-KЪЭЬЭЬЭЬШ2KЪЭЬШЧЪЭЬЭЬЭШЪЬЭЬШЪЬЭЬ&Ш0KЪЬШKЪЭЬШ"ЧKЪЬ
Ш
ЧЧKЪЭЬШЧKШ ЪЬ2Ш2ЪЭЬ+Ш.KШKШKШKЪЬШЧЧKШ ЪЯЬЭЬЭЬЭЬЭЬЭЬЭЬШUKЪЭШKЪЬЭЬШ,KЪЬЭЬЭЬЭЬ!ШdKЪЬЭЬЭЬШ?KЪЬЭЬЭЬЭЬЭЬЭЬЭЬЭЬ#ЭЬЭЬЭЬЭЬЭЬ&ЭЬ#ШЫKЪЭЬШЧKШ ЪЯЬЭЬЭЬЭЬЭЬЭЬШCKЪЭШKЪЬЭЬШ,KЪЬЭЬЭЬШ?KЪЭЬШЧKШ ЪЯЬЭЬЭЬЭЬЭЬЭЬЭЬШFKШЧKШ ЪЯЬЭЬЭЬЭЬЭЬЭЬШCKЪЬЭЬШЧKШ KЪЬЭЬ	ЭЬЭЬUШvKШ KЪЬRШRKЪ	ЬAЭЬ ЭЬЭЬЭЬШ|KШ KЪЭЬШЧ ЕЧ    	└  |  