DIRECTORYConvertUnsafe: TYPE USING [EqualSubStrings, SubString],ReplOps: TYPE USING [BodyHandle, IdHandle, MatchAttr],SymbolTable: TYPE USING [Base],Symbols: TYPE USING [Linkage,SEIndex, ISEIndex, CSEIndex, RecordSEIndex, CTXIndex, CBTIndex,nullName, SENull, ISENull, typeTYPE],Types: TYPE USING [Handle, Assignable, Equivalent];ReplPack: PROGRAM IMPORTS ConvertUnsafe, Types EXPORTS ReplOps = {OPEN Symbols;IdHandle: TYPE = ReplOps.IdHandle;MatchedNames: PROC [id1, id2: IdHandle] RETURNS [BOOL] = {OPEN b1: id1.stb, b2: id2.stb;ss1, ss2: ConvertUnsafe.SubString;IF id1.sei = ISENull OR id2.sei = ISENull THEN RETURN [FALSE];ss1 _ b1.SubStringForName[b1.seb[id1.sei].hash];ss2 _ b2.SubStringForName[b2.seb[id2.sei].hash];RETURN [ConvertUnsafe.EqualSubStrings[ss1, ss2]]};MatchMode: PROC [id: IdHandle] RETURNS [Linkage] = {OPEN b: id.stb;RETURN [IF b.seb[id.sei].idType = typeTYPE AND b.seb[id.sei].publicTHEN typeELSEIF b.seb[id.sei].constant THENSELECT b.XferMode[b.seb[id.sei].idType] FROMproc, program, signal, error => val,ENDCASE => manifestELSE ref]};MatchedAttrs: PROC [idL, idR: IdHandle] RETURNS [BOOL] = {OPEN bL: idL.stb, bR: idR.stb;typeL: CSEIndex = bL.UnderType[bL.seb[idL.sei].idType];mode: Linkage = MatchMode[idL];matched: BOOL;IF idR.sei # ISENull THEN {typeR: CSEIndex = bR.UnderType[bR.seb[idR.sei].idType];matched _ SELECT mode FROMval =>Types.Assignable[[idL.stb, typeL], [idR.stb, typeR]]AND(bL.seb[idL.sei].idValue = bR.seb[idR.sei].idValue),ref =>Types.Equivalent[[idL.stb, typeL], [idR.stb, typeR]]AND(bL.seb[idL.sei].idValue = bR.seb[idR.sei].idValue)	-- offsetsAND(bL.seb[idL.sei].idInfo = bR.seb[idR.sei].idInfo),	-- sizestype =>(bR.seb[idR.sei].idType = typeTYPE) AND (bR.seb[idR.sei].public)ANDTypes.Equivalent[[idL.stb, bL.UnderType[idL.sei]], [idR.stb, bR.UnderType[idR.sei]]],ENDCASE => TRUE}ELSE matched _ mode # manifest;IF ~matched THEN SIGNAL Unmatched[id, idL];RETURN [matched]};CTXHandle: TYPE = RECORD [stb: SymbolTable.Base,ctx: CTXIndex];MatchedContexts: PROC [ctxL, ctxR: CTXHandle] RETURNS [BOOL] = {OPEN bL: ctxL.stb, bR: ctxR.stb;n: CARDINAL _ 0;FOR sei: ISEIndex _ bL.FirstCtxSe[ctxL.ctx], bL.NextSe[sei]UNTIL sei = ISENull OR n > 4 DOIF bL.seb[sei].hash # nullName THEN {ss: ConvertUnsafe.SubString;ss _ bL.SubStringForName[bL.seb[sei].hash];IF ~MatchedAttrs[[ctxL.stb, sei],[ctxR.stb, bR.SearchContext[bR.FindString[ss], ctxR.ctx]]] THENn _ n+1};ENDLOOP;RETURN [n = 0]};RecordHandle: TYPE = RECORD [stb: SymbolTable.Base,sei: RecordSEIndex];MatchedRecords: PROC [recL, recR: RecordHandle] RETURNS [BOOL] = {OPEN bL: recL.stb, bR: recR.stb;RETURN [IF recL.sei = SENull OR recR.sei = SENullTHEN recL.sei = recR.seiELSE MatchedContexts[ [recL.stb, bL.seb[recL.sei].fieldCtx],[recR.stb, bR.seb[recR.sei].fieldCtx]]]};MatchedArgLists: PROC [argL, argR: Types.Handle] RETURNS [BOOL] = {OPEN bL: argL.stb, bR: argR.stb;inL, inR, outL, outR: RecordSEIndex;[inL, outL] _ bL.TransferTypes[argL.sei];[inR, outR] _ bR.TransferTypes[argR.sei];RETURN [MatchedRecords[[argL.stb, inL], [argR.stb, inR]]ANDMatchedRecords[[argL.stb, outL], [argR.stb, outR]]]};BodyHandle: TYPE = ReplOps.BodyHandle;Unmatched: PUBLIC SIGNAL [ReplOps.MatchAttr, IdHandle] = CODE;MatchedBodies: PUBLIC PROC [bodyL, bodyR: BodyHandle] RETURNS [BOOL] = {OPEN bL: bodyL.stb, bR: bodyR.stb;matched: BOOL _ TRUE;IF ~bL.bb[bodyL.bti].hints.noStrings THEN {SIGNAL Unmatched[strings, [bodyL.stb, bL.bb[bodyL.bti].id]];matched _ FALSE};IF ~bR.bb[bodyR.bti].hints.noStrings THEN {IF ~matched THEN SIGNAL Unmatched[strings, [bodyR.stb, bR.bb[bodyR.bti].id]];matched _ FALSE};IF ~(MatchedNames[[bodyL.stb, bL.bb[bodyL.bti].id], [bodyR.stb, bR.bb[bodyR.bti].id]]AND(bL.bb[bodyL.bti].entryIndex = bR.bb[bodyR.bti].entryIndex)ANDTypes.Assignable[[bodyL.stb, bL.bb[bodyL.bti].ioType],[bodyR.stb, bR.bb[bodyR.bti].ioType]]ANDMatchedArgLists[[bodyL.stb, bL.bb[bodyL.bti].ioType],[bodyR.stb, bR.bb[bodyR.bti].ioType]])THEN {SIGNAL Unmatched[id, [bodyL.stb, bL.bb[bodyL.bti].id]];matched _ FALSE};IF ~MatchedContexts[[bodyL.stb, bL.bb[bodyL.bti].localCtx],[bodyR.stb, bR.bb[bodyR.bti].localCtx]] THEN matched _ FALSE;RETURN [matched]};}.    ┬  file ReplPack.mesalast modified by Satterthwaite, February 17, 1983 5:02 pmLast Edited by: Maxwell, August 1, 1983 3:02 pmmatching fieldsLinkMode for a virtual defs modulemain entry Э╩Ї  Ш JЪЬЩJЪЬ9Щ9JЩ/JШ Ъ╧k	Ш	JЪЬЭЬЭЬШ7JЪЬ	ЭЬЭЬ#Ш6JЪЬЭЬЭЬШЪЬ	ЭЬЭЬШJШJШ?JШ%ЧJЪЬЭЬЭЬ"Ш3JШ ЧЪЬ
ЭЬЭЬЭЬШBJЪЭЬ	ШJШ JЪЬ
ЭЬШ"JШ Ъ╧nЬЭЬЭЬЭЬШ:JЪЭЬШJЪЬ"Ш"JЪ
ЭЬЭЬЭЬЭЬЭЬШ>JШ0JШ0JЪЭЬ,Ш2JШ ЧЧJЪЬЩШ ЪЮ	ЬЭЬЭЬШ4JЪЬ"Щ"JЪЭЬШЪЭЬЭЬ!ЭЬШCJЪЭЬШ	ЪЭШЪЭЬЭШЪЭЬ"ЭШ,JШ$JЪЭЬШЧJЪЭЬШJШ ЧЧЧЧЪЮЬЭЬЭЬЭЬШ:JЪЭЬШJШ7JШJЪЬ	ЭЬШЪЭЬЭЬШJШ7ЪЬ
ЭЬЭШШШ4JЪЭШЧJШ4ЧШШ4JЪЭШЧЪЬ4╧c
Ш>JЪЭШЧJЪЬ3ЯШ;ЧШЪЬ$ЭЬШ@JЪЭШЧШJШDЧЧJЪЭЬЭЬШЧЧJЪЭЬШJЪЭЬ
ЭЬЭЬШ+JЪЭЬШJШ JШ ЧЪЬЭЬЭЬШJШJШJШ ЧЪЮЬЭЬЭЬЭЬШ@JЪЭЬШ JЪЬЭЬШЪЭЬ8Ш;ЪЭЬЭЬЭШЪЭЬЭЬШ%JШJШ+ЪЭЬШJШJЪЬ;ЭШ?JШ	ЧЧJЪЭЬШЧЧJЪЭЬ
ШJШ JШ ЧЪЬЭЬЭЬШJШJШJШ ЧЪЮЬЭЬЭЬЭЬШBJЪЭЬШ ЪЭЬЭЬЭЬШ1JЪЭЬШЪЭЬШJШ&JШ)JШ ЧЧЧЪЮЬЭЬЭЬЭЬШCJЪЭЬШ JШ$JШ)JШ)ЪЭЬШШ0JЪЭШЧJШ5JШ JШ ЧЧЧJЪЬ
Щ
Ш JЪЬЭЬШ&JШ JЪЬЭЬЭЬ!ЭЬШ>JШ Ъ
ЮЬЭЬЭЬЭЬЭЬШHJЪЭЬШ"JЪЬ	ЭЬЭЬШЪЭЬ#ЭЬШ+JЪЭЬ6Ш<JЪЬ
ЭЬШЧЪЭЬ#ЭЬШ+JЪЭЬ
ЭЬЭЬ6ШMJЪЬ
ЭЬШЧЪЭЬШШШCJЪЭШЧЧШ;JЪЭШЧШJШ%Ш%JЪЭШЧЧШJШ%JШ&ЧЪЭЬШJЪЭЬ1Ш7JЪЬ
ЭЬШЧЧЪЭЬШJШ'JЪЬ(ЭЬЭЬШ=ЧJЪЭЬШJШ ЧJШJШ ЧЧ ЕЧ    ╢  l  