<> <> <> <> <> DIRECTORY CD USING [Design, InstanceList], SX USING [TechHandle]; SXAccess: CEDAR DEFINITIONS = BEGIN Analyze: PROC [design: CD.Design, hierarchyRoots: CD.InstanceList, formatKey: REF, stopFlag: REF BOOL_NIL] RETURNS [skipped: BOOL]; <<--if stopFlag^ gets true, analysis might be aborted>> <<--change later CD.InstanceList TO LIST OF CD.ObPtr>> <<--verbose to TerminalIO>> <<--only one analysis invocation at any time will come through>> <<--variables only valid inside an analysis invocation>> design: READONLY CD.Design; formatKey: READONLY REF; invocation: READONLY REF; stopFlag: READONLY REF BOOL; sxTech: READONLY REF SX.TechHandle; END. <<>>