DIRECTORYIO USING [ STREAM ],Rope USING [ ROPE ],SiroccoCGDef USING [ Generic, ItemKind, ValueKind ],SymTab USING [ EachPairAction, Pairs, Ref ],ThreeC4Support USING [ GetReportStream ],SiroccoBaseDef USING [ ItemFromContext ],SiroccoPrivate,SiroccoPrivateTypes;SiroccoGraphOpsImpl: CEDAR PROGRAMIMPORTS SiroccoBaseDef, SiroccoPrivate, SymTab, ThreeC4SupportEXPORTS SiroccoBaseDef ~ {OPEN SiroccoBaseDef, SiroccoCGDef, SiroccoPrivate, SiroccoPrivateTypes;ROPE: TYPE ~ Rope.ROPE;STREAM: TYPE ~ IO.STREAM;AssertTypeGraphAcyclic: PUBLIC PROC [ graph: TypeGraph ]RETURNS [ acyclic: BOOLEAN ] ~ {s: STREAM ~ ThreeC4Support.GetReportStream[];WalkTypeGraph[s, graph];acyclic _ TRUE;};AssertValueGraphAcyclic: PUBLIC PROC [ graph: TypeGraph ]RETURNS [ acyclic: BOOLEAN ] ~ {DumpTypeGraph[graph];acyclic _ TRUE;};WalkTypeGraph: PUBLIC PROC [ s: STREAM, graph: TypeGraph ] ~ {EachItem: SymTab.EachPairAction ~ {item: ITEM ~ NARROW[val]; -- guaranteed to be indirect!WalkItemTG[s, item, context];};context: CONTEXT ~ graph.context;scope: SCOPE ~ context.scope;items: SymTab.Ref ~ scope.items;[] _ SymTab.Pairs[items, EachItem];};WalkItemTG: TGNWalkProc ~ {ENABLE { UNWIND => NULL };item: ITEM ~ NARROW[node];name: ROPE ~ item.name;position: CARD ~ item.position;kind: SiroccoCGDef.ItemKind ~ item.kind;type: TypeGraphNode ~ item.type;value: AbstractValue ~ item.value;state: GraphTraversalState ~ item.state;SELECT TRUE FROM( state = completed ) => { RETURN };( state = unvisited ) => { item.state _ inprogress };( state = inprogress ) => { CycleInGraph[name]; RETURN };ENDCASE;SELECT kind FROMtype => {WalkTGN[s, type, context];};const => {WalkTGN[s, type, context];WalkAVN[s, value, context];};ENDCASE => { ERROR }; -- impossible?item.state _ completed;};MarkTypeGraphNode: PROC [ node: TypeGraphNode ] ~ {};WalkTGN: PUBLIC TGNWalkProc ~ {IF ( node = NIL ) THEN RETURN;MarkTypeGraphNode[node]; -- unneccessary?WITH node SELECT FROMtgn: REF NodeRep	=> { WalkIndirectTGN[s, tgn, context]; };tgn: HackTGN	=> { WalkHackTGN[s, tgn, context]; };tgn: ArrayTGN	=> { WalkArrayTGN[s, tgn, context]; };tgn: BaseTypeTGN	=> { WalkBaseTypeTGN [s, tgn, context]; };tgn: ChoiceTGN	=> { WalkChoiceTGN [s, tgn, context]; };tgn: DerefTGN	=> { WalkDerefTGN [s, tgn, context]; };tgn: EnumTGN	=> { WalkEnumTGN [s, tgn, context]; };tgn: ErrorTGN	=> { WalkErrorTGN [s, tgn, context]; };tgn: LinkTGN	=> { WalkLinkTGN [s, tgn, context]; };tgn: ProcTGN	=> { WalkProcTGN [s, tgn, context]; };tgn: RecordTGN	=> { WalkRecordTGN [s, tgn, context]; };tgn: SequenceTGN	=> { WalkSequenceTGN [s, tgn, context]; };tgn: FieldListTGN	=> { WalkFieldListTGN [s, tgn, context]; };tgn: UnionTGN	=> { WalkUnionTGN [s, tgn, context]; };tgn: FieldTGN	=> { WalkFieldTGN [s, tgn, context]; };ENDCASE		=> { UnknownNodeType[node] };};WalkIndirectTGN: PUBLIC TGNWalkProc ~ {tgn: REF NodeRep ~ NARROW[node];WalkTGN[s, tgn.specifics, context];};WalkHackTGN: PUBLIC TGNWalkProc ~ {tgn: HackTGN ~ NARROW[node];WalkTGN[s, tgn.value, context];WalkTGN[s, tgn.next, context];};WalkEmptyTGN: PUBLIC TGNWalkProc ~ {};WalkPrimitiveTGN: PUBLIC TGNWalkProc ~ {};WalkArrayTGN: PUBLIC TGNWalkProc ~ {atgn: ArrayTGN ~ NARROW[node];WalkAVN[s, atgn.length, context];WalkTGN[s, atgn.itemType, context];};WalkBaseTypeTGN: PUBLIC TGNWalkProc ~ {btgn: BaseTypeTGN ~ NARROW[node];};WalkChoiceTGN: PUBLIC TGNWalkProc ~ {ctgn: ChoiceTGN ~ NARROW[node];WalkTGN[s, ctgn.ktype, context];WalkTGN[s, ctgn.union, context];};WalkDerefTGN: PUBLIC TGNWalkProc ~ {tgn: DerefTGN ~ NARROW[node];referent: ITEM _ ItemFromContext[context, tgn.item];WalkItemTG[s, referent, context];};WalkEnumTGN: PUBLIC TGNWalkProc ~ {etgn: EnumTGN ~ NARROW[node];WalkTGN[s, etgn.enum, context];};WalkErrorTGN: PUBLIC TGNWalkProc ~ {etgn: ErrorTGN ~ NARROW[node];WalkTGN[s, etgn.fieldlist, context];};WalkLinkTGN: PUBLIC TGNWalkProc ~ {tgn: LinkTGN ~ NARROW[node];imports: CONTEXT ~ context; -- RemoteContext[context, interface];referent: ITEM _ ItemFromContext[imports, tgn.item];WalkItemTG[s, referent, context];};WalkProcTGN: PUBLIC TGNWalkProc ~ {tgn: ProcTGN ~ NARROW[node];WalkTGN[s, tgn.args, context];WalkTGN[s, tgn.results, context];WalkTGN[s, tgn.errors, context];};WalkRecordTGN: PUBLIC TGNWalkProc ~ {tgn: RecordTGN ~ NARROW[node];WalkTGN[s, tgn.fieldlist, context];};WalkSequenceTGN: PUBLIC TGNWalkProc ~ {tgn: SequenceTGN ~ NARROW[node];WalkAVN[s, tgn.maxlength, context];WalkTGN[s, tgn.subtype, context];};WalkFieldListTGN: PUBLIC TGNWalkProc ~ {tgn: FieldListTGN ~ NARROW[node];WalkAVN[s, tgn.ordinal, context];};WalkUnionTGN: PUBLIC TGNWalkProc ~ {tgn: UnionTGN ~ NARROW[node];WalkTGN[s, tgn.namelist, context];WalkTGN[s, tgn.type, context];};WalkFieldTGN: PUBLIC TGNWalkProc ~ {tgn: FieldTGN ~ NARROW[node];WalkTGN[s, tgn.namelist, context];WalkTGN[s, tgn.type, context];};WalkEmptyFieldTGN: PUBLIC TGNWalkProc ~ {};WalkGenericAVN: PUBLIC AVNWalkProc ~ {};MarkAbstractValue: PROC [value: AbstractValue] ~ {};WalkAVN: PUBLIC AVNWalkProc ~ {IF ( value = NIL ) THEN RETURN;MarkAbstractValue[value]; -- unneccessary?WITH value SELECT FROMavn: REF AbstractValueObject	=> { WalkIndirectAVN[s, avn, context]; };avn: HackAVN	=> { WalkHackAVN[s, avn, context]; };avn: LogicalAVN	=> { WalkLogicalAVN [s, avn, context]; };avn: NumericalAVN	=> { WalkNumericalAVN [s, avn, context]; };avn: RopeAVN	=> { WalkRopeAVN [s, avn, context]; };avn: BindingAVN	=> { WalkBindingAVN [s, avn, context]; };avn: ConstructorAVN	=> { WalkConstructorAVN [s, avn, context]; };avn: DerefAVN	=> { WalkDerefAVN [s, avn, context]; };avn: GroupingAVN	=> { WalkGroupingAVN [s, avn, context]; };avn: LinkAVN	=> { WalkLinkAVN [s, avn, context]; };avn: VariantAVN	=> { WalkVariantAVN [s, avn, context]; };ENDCASE		=> { UnknownNodeType[value] };};WalkIndirectAVN: PUBLIC AVNWalkProc ~ {avn: REF AbstractValueObject ~ NARROW[value];WalkAVN[s, avn.specifics, context];};WalkHackAVN: PUBLIC AVNWalkProc ~ {avn: HackAVN ~ NARROW[value];WalkAVN[s, avn.value, context];WalkAVN[s, avn.next, context];};WalkNullAVN: PUBLIC AVNWalkProc ~ {};WalkLogicalAVN: PUBLIC AVNWalkProc ~ {};WalkNumericalAVN: PUBLIC AVNWalkProc ~ {};WalkRopeAVN: PUBLIC AVNWalkProc ~ {};WalkBindingAVN: PUBLIC AVNWalkProc ~ {avn: BindingAVN ~ NARROW[value];WalkTGN[s, avn.tgn, context];WalkAVN[s, avn.node, context];};WalkConstructorAVN: PUBLIC AVNWalkProc ~ {avn: ConstructorAVN ~ NARROW[value];WalkAVN[s, avn.node, context];};WalkDerefAVN: PUBLIC AVNWalkProc ~ {avn: DerefAVN ~ NARROW[value];referent: ITEM _ ItemFromContext[context, avn.item];WalkItemTG[s, referent, context];};WalkGroupingAVN: PUBLIC AVNWalkProc ~ {avn: GroupingAVN ~ NARROW[value];WalkAVN[s, avn.node, context];};WalkLinkAVN: PUBLIC AVNWalkProc ~ {avn: LinkAVN ~ NARROW[value];imports: CONTEXT ~ context; -- RemoteContext[context, interface];referent: ITEM _ ItemFromContext[imports, avn.item];WalkItemTG[s, referent, context];};WalkVariantAVN: PUBLIC AVNWalkProc ~ {avn: VariantAVN ~ NARROW[value];WalkAVN[s, avn.node, context];};Something: SIGNAL ~ CODE;UndefinedSymbol: PROC [ name: ROPE ] ~ {SIGNAL Something;};CycleInGraph: PROC [ name: ROPE ] ~ {SIGNAL Something;};UnknownNodeType: PROC [ node: REF ] ~ {SIGNAL Something;};}.  ┤  SiroccoGraphOpsImpl.MesaCopyright ╙ 1986, 1987 by Xerox Corporation.  All rights reserved.Bill Jackson (bj) August 27, 1987 0:55:45 am PDTGraph SearchingWalk/Snarf Object filesType Graph/Node Creatorsinternal for now!Primitive CreatorsPrimary CreatorsSecondary CreatorsAbstract Value Node Creatorsinternal for now!avn: NullAVN	=> { WalkNullAVN [s, avn, context]; };Primary CreatorsSecondary CreatorsError Handling Э╩
  Ш codeЪЬЩKЪЬBЩBKЪЬ0Щ0ЧKШ Ъ╧k	Ш	KЪЭЬЭЬЭЬШKЪЬЭЬЭЬШKЪЬЭЬ"Ш4KЪЬЭЬ Ш,KЪЬЭЬШ)KЪЬЭЬШ)KЪЬШKЪЬШЧKШ Ъ╧nЬЭЬЭШ"KЪЭЬ7Ш>KЪЭЬШKЪЭЬCШGKЪЭЬЭЬЭЬШKЪЭЬЭЬЭЬЭЬШheadЪ╧zЩЪ
ЮЬЭЬЭЬЭЬЭЬШYKЪЬЭЬ$Ш-KЪЬШKЪЬ
ЭЬШKЪЬШЧЪЮЬЭЬЭЬЭЬЭЬ	ЭЬШZKЪЬШKЪЬ
ЭЬШKЪЬШЧЧЪЯЩЪЮЬЭЬЭЬЭЬШ>ЪЮЬШ#KЪЬЭЬЭЬ╧cШ7KЪЬШKЪЬШЧJЪЬ	ЭЬШ!KЪЬЭЬШKЪЬ Ш KЪЬ#Ш#KЪЬШKШ ЧЪЮ
ЬШKЪЭЬЭЬЭЬШJЪЬЭЬЭЬШJЪЬЭЬШKЪЬ
ЭЬШJЪЬ(Ш(JЪЬ Ш JЪЬ"Ш"KЪЬ(Ш(ЪЭЬЭЬЭШKЪЬЭЬШ$KЪЬ5Ш5KЪЬ0ЭЬШ9KЪЭЬШЧЪЭЬЭШЪЬ	Ш	KЪЬШKЪЬШЧЪЬ
Ш
KЪЬШKЪЬШKЪЬШЧKЪЭЬЭЬаШ$ЧKЪЬШKЪЬШЧЧЪЯЩKЩЪЮЬЭЬШ3KЪЬШKШ ЧЪЮЬЭЬШKЪЭЬ
ЭЬЭЬЭЬШKЪЬаШ)ЪЭЬЭЬЭШKЪЬЭЬ2Ш:KЪЬ2Ш2KШ KЪЬ4Ш4KЪЬ;Ш;KЪЬ7Ш7KЪЬ5Ш5KЪЬ3Ш3KЪЬ5Ш5KЪЬ3Ш3KЪЬ3Ш3KЪЬ7Ш7KЪЬ;Ш;KЪЬ=Ш=KЪЬ5Ш5KЪЬ5Ш5KЪЭЬ╧bЬ	Ш&ЧKЪЬШKШ ЧЪЮЬЭЬШ'KЪЬЭЬЭЬШ JЪЬ#Ш#KЪЬШKШ ЧЪЮЬЭЬШ#KЪЬЭЬШJЪЬШJЪЬШKЪЬШЧLЪЯЩЪЮЬЭЬШ$KЪЬШЧЪЮЬЭЬШ(KЪЬШЧLЪЯЩЪЮЬЭЬШ$KЪЬЭЬШJЪЬ!Ш!JЪЬ#Ш#KЪЬШЧЪЮЬЭЬШ'KЪЬЭЬШ!KЪЬШЧЪЮЬЭЬШ%KЪЬЭЬШJЪЬ Ш JЪЬ Ш KЪЬШЧЪЮЬЭЬШ$KЪЬЭЬШKЪЬ
ЭЬ&Ш4JЪЬ!Ш!KЪЬШЧЪЮЬЭЬШ#KЪЬЭЬШJЪЬШKЪЬШЧЪЮЬЭЬШ$KЪЬЭЬШJЪЬ$Ш$KЪЬШЧЪЮЬЭЬШ#KЪЬЭЬШKЪЬ	ЭЬа%ШAKЪЬ
ЭЬ&Ш4JЪЬ!Ш!KЪЬШЧЪЮЬЭЬШ#KЪЬЭЬШJЪЬШJЪЬ!Ш!JЪЬ Ш KЪЬШЧЪЮЬЭЬШ%KЪЬЭЬШJЪЬ#Ш#KЪЬШЧЪЮЬЭЬШ'KЪЬЭЬШ JЪЬ#Ш#JЪЬ!Ш!KЪЬШЧLЪЯЩЪ╨bnЬЭЬШ(KЪЬЭЬШ!JЪЬ!Ш!KЪЬШЧЪвЬЭЬШ$KЪЬЭЬШJЪЬ"Ш"JЪЬШKЪЬШЧЪвЬЭЬШ$KЪЬЭЬШJЪЬ"Ш"JЪЬШKЪЬШЧЪвЬЭЬШ)KЪЬШЧЧЪЯЩKЩЪЮЬЭЬШ&KЪЬШЧЪЮЬЭЬШ2KЪЬШKШ ЧЪЮЬЭЬШKЪЭЬЭЬЭЬЭЬШKЪЬаШ*ЪЭЬЭЬЭШKЪЬЭЬ>ШFKЪЬ2Ш2KШ KЪЬ3Щ3KЪЬ9Ш9KЪЬ=Ш=KЪЬ3Ш3KШ KЪЬ9Ш9KЪЬAШAKЪЬ5Ш5KЪЬ;Ш;KЪЬ3Ш3KЪЬ9Ш9KЪЭЬбЬ
Ш'ЧKЪЬШKШ ЧЪЮЬЭЬШ'KЪЬЭЬЭЬШ-JЪЬ#Ш#KЪЬШKШ ЧЪЮЬЭЬШ#KЪЬЭЬШJЪЬШJЪЬШKЪЬШЧLЪЯЩЪЮЬЭЬШ#KЪЬШKШ ЧЪвЮ
ЬЭЬШ&KЪЬШЧЪвЮЬЭЬШ(KЪЬШЧЪвЮЬЭЬШ#KЪЬШЧLЪЯЩЪЮЬЭЬШ&KЪЬЭЬШ JЪЬШJЪЬШKЪЬШЧЪЮЬЭЬШ*KЪЬЭЬШ$JЪЬШKЪЬШЧЪЮЬЭЬШ$KЪЬЭЬШKЪЬ
ЭЬ&Ш4JЪЬ!Ш!KЪЬШЧЪЮЬЭЬШ'KЪЬЭЬШ!JЪЬШKЪЬШЧЪЮЬЭЬШ#KЪЬЭЬШKЪЬ	ЭЬа%ШAKЪЬ
ЭЬ&Ш4JЪЬ!Ш!KЪЬШЧЪЮЬЭЬШ&KЪЬЭЬШ JЪЬШKЪЬШЧЧЪЯЩKЪЮ	ЬЭЬЭЬШKШ ЪЮЬЭЬ	ЭЬШ(KЪЭЬШKЪЬШKШ ЧЪЮЬЭЬ	ЭЬШ%KЪЭЬШKЪЬШKШ ЧЪЮЬЭЬ	ЭЬШ'KЪЭЬШKЪЬШKШ ЧЧKЪЬШKШ ЧЧ ЕЧ    ┌  (Ю  