DIRECTORYCD,CDCommandOps,CDProperties,CDSequencer,SX,SXAccess,SXAtoms,SXAccessInternal,TerminalIO;SXAccessImpl: CEDAR PROGRAMIMPORTS CDCommandOps, CDProperties, SXAtoms, SXAccessInternal, TerminalIOEXPORTS SXAccess =BEGINdesign: PUBLIC CD.Design _ NIL;formatKey: PUBLIC REF _ NIL;invocation: PUBLIC REF _ NIL;stopFlag: PUBLIC REF BOOL _ NIL;sxTech: PUBLIC REF SX.TechHandle _ NIL;CallingRec: TYPE = RECORD [design: CD.Design,hierarchyRoots: CD.ApplicationList,formatKey: REF,stopFlag: REF BOOL];Analyze: PUBLIC PROC [design: CD.Design, hierarchyRoots: CD.ApplicationList, formatKey: REF, stopFlag: REF BOOL_NIL] RETURNS [skipped: BOOL_FALSE] =BEGINik: REF CallingRec;comm: CDSequencer.Command;IF stopFlag=NIL THEN stopFlag _ NEW[BOOL_FALSE];ik _ NEW[CallingRec_[design: design, hierarchyRoots: hierarchyRoots, formatKey: formatKey, stopFlag: stopFlag]];comm _ NEW[CDSequencer.CommandRec _[a: $SX,design: design,ref: ik]];skipped _ CDCommandOps.CallWithResource[PseudoCommand, comm, $SX, stopFlag];IF skipped THEN TerminalIO.WriteRope["**analyze skipped\n"]END;PseudoCommand: PROC [comm: CDSequencer.Command] =BEGINGetSXTech: PROC [technology: CD.Technology] RETURNS [th: REF SX.TechHandle] =BEGINWITH CDProperties.GetProp[technology, SXAtoms.spinifex] SELECT FROMx: REF SX.TechHandle => th _ x;ENDCASE => th _ NIL;IF th=NIL THENTerminalIO.WriteRope["technology not implemented for Spinifex\n"];END;callParameters: REF CallingRec = NARROW[comm.ref];design _ callParameters.design;formatKey _ callParameters.formatKey;invocation _ callParameters;stopFlag _ callParameters.stopFlag;stopFlag^ _ FALSE;sxTech _ GetSXTech[design.technology];IF sxTech#NIL THEN ProtectedAnalyze[callParameters.hierarchyRoots];design _ NIL;invocation _ NIL;formatKey _ NIL;sxTech _ NIL;END;ProtectedAnalyze: PROC [hierarchyRoots: CD.ApplicationList] =BEGINSXAccessInternal.Analyze[hierarchyRoots];END;END.   v  SXAccessImpl.mesaCopyright c 1984, 1985 by Xerox Corporation.  All rights reserved.Written by Jacobi, April 2, 1985 5:11:35 pm PSTLast Edited by: Jacobi, April 2, 1985 5:11:39 pm PST--variables only valid inside an analysis invocation--if stopFlag^ gets true, analysis might be aborted--OldSpinifexAccess.Analyze[design, hierarchyRoots, formatKey, stopFlag];- Êµ  ˜ code™Kšœ
Ïmœ7™BK™/K™4—K˜ šÏk	˜	Jšžœ˜Jšœ˜Jšœ˜Jšœ˜Jšœ˜Jšœ	˜	Jšœ˜Jšœ˜Jšœ˜—J˜ šÏbœžœž˜JšžœB˜IJšžœ˜—Jšž˜J˜ Jšœ4™4Jšœžœžœ	žœ˜Jšœžœžœžœ˜Jšœžœžœžœ˜Jš	œ
žœžœžœžœ˜ Jšœžœžœžœžœžœ˜'J˜ šœžœžœ˜Jšœžœ˜Jšœžœ˜#Jšœžœ˜Jšœ
žœž˜Jšœ˜—J˜ šÏnœžœžœ
žœžœžœžœžœžœžœžœžœ˜”Jšœ3™3Jšž˜Jšœžœ˜Jšœ˜Jšžœ
žœžœžœžœžœ˜0šœžœ˜Jšœ˜Jšœ ˜ Jšœ˜Jšœ˜Jšœ˜—šœžœ˜$Jšœ˜Jšœ˜Jšœ˜Jšœ˜—JšœL˜LJšžœ	žœ,˜;Jšžœ˜—J˜ š œžœ˜1Jšž˜š 	œžœžœžœžœžœ˜MJšž˜šžœ4žœž˜CKšœžœžœ˜Kšžœ	žœ˜—šžœžœž˜JšœB˜B—Jšžœ˜—Iunitšœžœžœ˜2Jšœ˜Jšœ%˜%Jšœ˜Jšœ#˜#Jšœžœ˜Jšœ&˜&šžœžœžœ˜Jšœ0˜0—Jšœ	žœ˜Jšœžœ˜Jšœžœ˜Jšœ	žœ˜Jšžœ˜—J˜ š œžœžœ˜=Jšž˜Jšœ)˜)JšœJ™JJšžœ˜—J˜ Jšžœ˜J™ J˜ — …—    ¬  ×  