DIRECTORY SaffronAG8Def, SaffronGenericDef, SaffronATDef; SaffronAG8Impl: CEDAR PROGRAM IMPORTS SaffronAG8Def EXPORTS SaffronAG8Def= BEGIN OPEN SaffronAG8Def, SaffronGenericDef, SaffronATDef; IdListoneProdProcs: PUBLIC IdListNodeProcs _ NEW[IdListNodeProcsBody _ [IdListoneProdfoo]]; BuildIdListoneProdNode: PUBLIC PROC[position: INT, length: INT, id: idNode] RETURNS[IdListNode] = BEGIN data: IdListoneProdData _ NEW[IdListoneProdDataBody_[ id]]; RETURN[NEW[IdListNodeBody_[position, length, IdListoneProdProcs, data]]]; END; IdListmoreProdProcs: PUBLIC IdListNodeProcs _ NEW[IdListNodeProcsBody _ [IdListmoreProdfoo]]; BuildIdListmoreProdNode: PUBLIC PROC[position: INT, length: INT, id: idNode, IdList: IdListNode] RETURNS[IdListNode] = BEGIN data: IdListmoreProdData _ NEW[IdListmoreProdDataBody_[ id, IdList]]; RETURN[NEW[IdListNodeBody_[position, length, IdListmoreProdProcs, data]]]; END; OrderedyesProdProcs: PUBLIC OrderedNodeProcs _ NEW[OrderedNodeProcsBody _ [OrderedyesProdfoo]]; BuildOrderedyesProdNode: PUBLIC PROC[position: INT, length: INT] RETURNS[OrderedNode] = BEGIN RETURN[NEW[OrderedNodeBody_[position, length, OrderedyesProdProcs, NIL]]]; END; OrderednoProdProcs: PUBLIC OrderedNodeProcs _ NEW[OrderedNodeProcsBody _ [OrderednoProdfoo]]; BuildOrderednoProdNode: PUBLIC PROC[position: INT, length: INT] RETURNS[OrderedNode] = BEGIN RETURN[NEW[OrderedNodeBody_[position, length, OrderednoProdProcs, NIL]]]; END; BaseyesProdProcs: PUBLIC BaseNodeProcs _ NEW[BaseNodeProcsBody _ [BaseyesProdfoo]]; BuildBaseyesProdNode: PUBLIC PROC[position: INT, length: INT] RETURNS[BaseNode] = BEGIN RETURN[NEW[BaseNodeBody_[position, length, BaseyesProdProcs, NIL]]]; END; BasenoProdProcs: PUBLIC BaseNodeProcs _ NEW[BaseNodeProcsBody _ [BasenoProdfoo]]; BuildBasenoProdNode: PUBLIC PROC[position: INT, length: INT] RETURNS[BaseNode] = BEGIN RETURN[NEW[BaseNodeBody_[position, length, BasenoProdProcs, NIL]]]; END; PointerTypeunspecifiedProdProcs: PUBLIC PointerTypeNodeProcs _ NEW[PointerTypeNodeProcsBody _ [PointerTypeunspecifiedProdfoo]]; BuildPointerTypeunspecifiedProdNode: PUBLIC PROC[position: INT, length: INT, OptInterval: OptIntervalNode] RETURNS[PointerTypeNode] = BEGIN data: PointerTypeunspecifiedProdData _ NEW[PointerTypeunspecifiedProdDataBody_[ OptInterval]]; RETURN[NEW[PointerTypeNodeBody_[position, length, PointerTypeunspecifiedProdProcs, data]]]; END; PointerTypespecifiedProdProcs: PUBLIC PointerTypeNodeProcs _ NEW[PointerTypeNodeProcsBody _ [PointerTypespecifiedProdfoo]]; BuildPointerTypespecifiedProdNode: PUBLIC PROC[position: INT, length: INT, OptInterval: OptIntervalNode, ReadOnly: ReadOnlyNode, TypeExp: TypeExpNode] RETURNS[PointerTypeNode] = BEGIN data: PointerTypespecifiedProdData _ NEW[PointerTypespecifiedProdDataBody_[ OptInterval, ReadOnly, TypeExp]]; RETURN[NEW[PointerTypeNodeBody_[position, length, PointerTypespecifiedProdProcs, data]]]; END; OptIntervalabsentProdProcs: PUBLIC OptIntervalNodeProcs _ NEW[OptIntervalNodeProcsBody _ [OptIntervalabsentProdfoo]]; BuildOptIntervalabsentProdNode: PUBLIC PROC[position: INT, length: INT] RETURNS[OptIntervalNode] = BEGIN RETURN[NEW[OptIntervalNodeBody_[position, length, OptIntervalabsentProdProcs, NIL]]]; END; OptIntervalpresentProdProcs: PUBLIC OptIntervalNodeProcs _ NEW[OptIntervalNodeProcsBody _ [OptIntervalpresentProdfoo]]; BuildOptIntervalpresentProdNode: PUBLIC PROC[position: INT, length: INT, Interval: IntervalNode] RETURNS[OptIntervalNode] = BEGIN data: OptIntervalpresentProdData _ NEW[OptIntervalpresentProdDataBody_[ Interval]]; RETURN[NEW[OptIntervalNodeBody_[position, length, OptIntervalpresentProdProcs, data]]]; END; ReadOnlyyesProdProcs: PUBLIC ReadOnlyNodeProcs _ NEW[ReadOnlyNodeProcsBody _ [ReadOnlyyesProdfoo]]; BuildReadOnlyyesProdNode: PUBLIC PROC[position: INT, length: INT] RETURNS[ReadOnlyNode] = BEGIN RETURN[NEW[ReadOnlyNodeBody_[position, length, ReadOnlyyesProdProcs, NIL]]]; END; ReadOnlynoProdProcs: PUBLIC ReadOnlyNodeProcs _ NEW[ReadOnlyNodeProcsBody _ [ReadOnlynoProdfoo]]; BuildReadOnlynoProdNode: PUBLIC PROC[position: INT, length: INT] RETURNS[ReadOnlyNode] = BEGIN RETURN[NEW[ReadOnlyNodeBody_[position, length, ReadOnlynoProdProcs, NIL]]]; END; SafeemptyProdProcs: PUBLIC SafeNodeProcs _ NEW[SafeNodeProcsBody _ [SafeemptyProdfoo]]; BuildSafeemptyProdNode: PUBLIC PROC[position: INT, length: INT] RETURNS[SafeNode] = BEGIN RETURN[NEW[SafeNodeBody_[position, length, SafeemptyProdProcs, NIL]]]; END; SafeyesProdProcs: PUBLIC SafeNodeProcs _ NEW[SafeNodeProcsBody _ [SafeyesProdfoo]]; BuildSafeyesProdNode: PUBLIC PROC[position: INT, length: INT] RETURNS[SafeNode] = BEGIN RETURN[NEW[SafeNodeBody_[position, length, SafeyesProdProcs, NIL]]]; END; SafenoProdProcs: PUBLIC SafeNodeProcs _ NEW[SafeNodeProcsBody _ [SafenoProdfoo]]; BuildSafenoProdNode: PUBLIC PROC[position: INT, length: INT] RETURNS[SafeNode] = BEGIN RETURN[NEW[SafeNodeBody_[position, length, SafenoProdProcs, NIL]]]; END; TransferModeprocProdProcs: PUBLIC TransferModeNodeProcs _ NEW[TransferModeNodeProcsBody _ [TransferModeprocProdfoo]]; BuildTransferModeprocProdNode: PUBLIC PROC[position: INT, length: INT] RETURNS[TransferModeNode] = BEGIN RETURN[NEW[TransferModeNodeBody_[position, length, TransferModeprocProdProcs, NIL]]]; END; TransferModeportProdProcs: PUBLIC TransferModeNodeProcs _ NEW[TransferModeNodeProcsBody _ [TransferModeportProdfoo]]; BuildTransferModeportProdNode: PUBLIC PROC[position: INT, length: INT] RETURNS[TransferModeNode] = BEGIN RETURN[NEW[TransferModeNodeBody_[position, length, TransferModeportProdProcs, NIL]]]; END; TransferModesignalProdProcs: PUBLIC TransferModeNodeProcs _ NEW[TransferModeNodeProcsBody _ [TransferModesignalProdfoo]]; BuildTransferModesignalProdNode: PUBLIC PROC[position: INT, length: INT] RETURNS[TransferModeNode] = BEGIN RETURN[NEW[TransferModeNodeBody_[position, length, TransferModesignalProdProcs, NIL]]]; END; TransferModeerrorProdProcs: PUBLIC TransferModeNodeProcs _ NEW[TransferModeNodeProcsBody _ [TransferModeerrorProdfoo]]; BuildTransferModeerrorProdNode: PUBLIC PROC[position: INT, length: INT] RETURNS[TransferModeNode] = BEGIN RETURN[NEW[TransferModeNodeBody_[position, length, TransferModeerrorProdProcs, NIL]]]; END; TransferModeprocessProdProcs: PUBLIC TransferModeNodeProcs _ NEW[TransferModeNodeProcsBody _ [TransferModeprocessProdfoo]]; BuildTransferModeprocessProdNode: PUBLIC PROC[position: INT, length: INT] RETURNS[TransferModeNode] = BEGIN RETURN[NEW[TransferModeNodeBody_[position, length, TransferModeprocessProdProcs, NIL]]]; END; TransferModeprogramProdProcs: PUBLIC TransferModeNodeProcs _ NEW[TransferModeNodeProcsBody _ [TransferModeprogramProdfoo]]; BuildTransferModeprogramProdNode: PUBLIC PROC[position: INT, length: INT] RETURNS[TransferModeNode] = BEGIN RETURN[NEW[TransferModeNodeBody_[position, length, TransferModeprogramProdProcs, NIL]]]; END; ArgumentsProdProcs: PUBLIC ArgumentsNodeProcs _ NEW[ArgumentsNodeProcsBody _ [ArgumentsProdfoo]]; BuildArgumentsProdNode: PUBLIC PROC[position: INT, length: INT, ParameterListinput: ParameterListNode, ParameterListoutput: ParameterListNode] RETURNS[ArgumentsNode] = BEGIN data: ArgumentsProdData _ NEW[ArgumentsProdDataBody_[ ParameterListinput, ParameterListoutput]]; RETURN[NEW[ArgumentsNodeBody_[position, length, ArgumentsProdProcs, data]]]; END; ParameterListemptyProdProcs: PUBLIC ParameterListNodeProcs _ NEW[ParameterListNodeProcsBody _ [ParameterListemptyProdfoo]]; BuildParameterListemptyProdNode: PUBLIC PROC[position: INT, length: INT] RETURNS[ParameterListNode] = BEGIN RETURN[NEW[ParameterListNodeBody_[position, length, ParameterListemptyProdProcs, NIL]]]; END; ParameterListanyProdProcs: PUBLIC ParameterListNodeProcs _ NEW[ParameterListNodeProcsBody _ [ParameterListanyProdfoo]]; BuildParameterListanyProdNode: PUBLIC PROC[position: INT, length: INT] RETURNS[ParameterListNode] = BEGIN RETURN[NEW[ParameterListNodeBody_[position, length, ParameterListanyProdProcs, NIL]]]; END; ParameterListpairlistProdProcs: PUBLIC ParameterListNodeProcs _ NEW[ParameterListNodeProcsBody _ [ParameterListpairlistProdfoo]]; BuildParameterListpairlistProdNode: PUBLIC PROC[position: INT, length: INT, PairList: PairListNode] RETURNS[ParameterListNode] = BEGIN data: ParameterListpairlistProdData _ NEW[ParameterListpairlistProdDataBody_[ PairList]]; RETURN[NEW[ParameterListNodeBody_[position, length, ParameterListpairlistProdProcs, data]]]; END; ParameterListtypelistProdProcs: PUBLIC ParameterListNodeProcs _ NEW[ParameterListNodeProcsBody _ [ParameterListtypelistProdfoo]]; BuildParameterListtypelistProdNode: PUBLIC PROC[position: INT, length: INT, TypeList: TypeListNode] RETURNS[ParameterListNode] = BEGIN data: ParameterListtypelistProdData _ NEW[ParameterListtypelistProdDataBody_[ TypeList]]; RETURN[NEW[ParameterListNodeBody_[position, length, ParameterListtypelistProdProcs, data]]]; END; UncountedyesProdProcs: PUBLIC UncountedNodeProcs _ NEW[UncountedNodeProcsBody _ [UncountedyesProdfoo]]; BuildUncountedyesProdNode: PUBLIC PROC[position: INT, length: INT] RETURNS[UncountedNode] = BEGIN RETURN[NEW[UncountedNodeBody_[position, length, UncountedyesProdProcs, NIL]]]; END; UncountednoProdProcs: PUBLIC UncountedNodeProcs _ NEW[UncountedNodeProcsBody _ [UncountednoProdfoo]]; BuildUncountednoProdNode: PUBLIC PROC[position: INT, length: INT] RETURNS[UncountedNode] = BEGIN RETURN[NEW[UncountedNodeBody_[position, length, UncountednoProdProcs, NIL]]]; END; TypeApplyoneProdProcs: PUBLIC TypeApplyNodeProcs _ NEW[TypeApplyNodeProcsBody _ [TypeApplyoneProdfoo]]; BuildTypeApplyoneProdNode: PUBLIC PROC[position: INT, length: INT, TypeId: TypeIdNode, Exp: ExpNode] RETURNS[TypeApplyNode] = BEGIN data: TypeApplyoneProdData _ NEW[TypeApplyoneProdDataBody_[ TypeId, Exp]]; RETURN[NEW[TypeApplyNodeBody_[position, length, TypeApplyoneProdProcs, data]]]; END; TypeApplymorelengthsProdProcs: PUBLIC TypeApplyNodeProcs _ NEW[TypeApplyNodeProcsBody _ [TypeApplymorelengthsProdfoo]]; BuildTypeApplymorelengthsProdNode: PUBLIC PROC[position: INT, length: INT, TypeApply: TypeApplyNode, Exp: ExpNode] RETURNS[TypeApplyNode] = BEGIN data: TypeApplymorelengthsProdData _ NEW[TypeApplymorelengthsProdDataBody_[ TypeApply, Exp]]; RETURN[NEW[TypeApplyNodeBody_[position, length, TypeApplymorelengthsProdProcs, data]]]; END; TypeApplymoreidsProdProcs: PUBLIC TypeApplyNodeProcs _ NEW[TypeApplyNodeProcsBody _ [TypeApplymoreidsProdfoo]]; BuildTypeApplymoreidsProdNode: PUBLIC PROC[position: INT, length: INT, TypeApply: TypeApplyNode, id: idNode] RETURNS[TypeApplyNode] = BEGIN data: TypeApplymoreidsProdData _ NEW[TypeApplymoreidsProdDataBody_[ TypeApply, id]]; RETURN[NEW[TypeApplyNodeBody_[position, length, TypeApplymoreidsProdProcs, data]]]; END; END.. SaffronAG8Impl.mesa Copyright Ó 1987 by Xerox Corporation. All rights reserved. Generated by BJackson.pa at April 27, 1987 10:51:23 pm PDT using ThreeCasabaFour [1.1] of April 14, 1987 6:34:07 pm PDT IdListoneProd IdListmoreProd OrderedyesProd OrderednoProd BaseyesProd BasenoProd PointerTypeunspecifiedProd PointerTypespecifiedProd OptIntervalabsentProd OptIntervalpresentProd ReadOnlyyesProd ReadOnlynoProd SafeemptyProd SafeyesProd SafenoProd TransferModeprocProd TransferModeportProd TransferModesignalProd TransferModeerrorProd TransferModeprocessProd TransferModeprogramProd ArgumentsProd ParameterListemptyProd ParameterListanyProd ParameterListpairlistProd ParameterListtypelistProd UncountedyesProd UncountednoProd TypeApplyoneProd TypeApplymorelengthsProd TypeApplymoreidsProd Ê·˜šœ™Jšœ<™Jšœ=˜@—J˜š ž#œœœ œ œž œ˜jšœ˜Jš˜˜&Jšœ%˜(J˜—JšœœQ˜[Jšœ˜——J˜J˜Jšœ™J˜šžœœ˜—J˜šž!œœœ œ œž œžœžœ˜–šœ˜Jš˜˜$Jšœ#˜&J˜!—JšœœO˜YJšœ˜——J˜J˜Jšœ™J˜šžœœ˜9Jšœ8˜;—J˜š žœœœ œ œ˜Gšœ˜Jš˜JšœœDœ˜UJšœ˜——J˜J˜Jšœ™J˜šžœœ˜:Jšœ9˜<—J˜š žœœœ œ œžœ˜`šœ˜Jš˜˜"Jšœ!˜$J˜ —JšœœM˜WJšœ˜——J˜J˜Jšœ™J˜šžœœ˜0Jšœ/˜2—J˜š žœœœ œ œ˜Ašœ˜Jš˜Jšœœ;œ˜LJšœ˜——J˜J˜Jšœ™J˜šžœœ˜/Jšœ.˜1—J˜š žœœœ œ œ˜@šœ˜Jš˜Jšœœ:œ˜KJšœ˜——J˜J˜Jšœ ™ J˜šžœœ˜*Jšœ)˜,—J˜š žœœœ œ œ˜?šœ ˜Jš˜Jšœœ5œ˜FJšœ˜——J˜J˜Jšœ ™ J˜šžœœ˜(Jšœ'˜*—J˜š žœœœ œ œ˜=šœ ˜Jš˜Jšœœ3œ˜DJšœ˜——J˜J˜Jšœ ™ J˜šžœœ˜'Jšœ&˜)—J˜š žœœœ œ œ˜<šœ ˜Jš˜Jšœœ2œ˜CJšœ˜——J˜J˜Jšœ™J˜šžœœ˜9Jšœ8˜;—J˜š žœœœ œ œ˜Fšœ˜Jš˜JšœœDœ˜UJšœ˜——J˜J˜Jšœ™J˜šžœœ˜9Jšœ8˜;—J˜š žœœœ œ œ˜Fšœ˜Jš˜JšœœDœ˜UJšœ˜——J˜J˜Jšœ™J˜šžœœ˜;Jšœ:˜=—J˜š žœœœ œ œ˜Hšœ˜Jš˜JšœœFœ˜WJšœ˜——J˜J˜Jšœ™J˜šžœœ˜:Jšœ9˜<—J˜š žœœœ œ œ˜Gšœ˜Jš˜JšœœEœ˜VJšœ˜——J˜J˜Jšœ™J˜šžœœ˜—J˜š ž œœœ œ œ˜Išœ˜Jš˜JšœœGœ˜XJšœ˜——J˜J˜Jšœ™J˜šžœœ˜—J˜š ž œœœ œ œ˜Išœ˜Jš˜JšœœGœ˜XJšœ˜——J˜J˜Jšœ ™ J˜šžœœ˜/Jšœ.˜1—J˜šžœœœ œ œžœžœ˜Žšœ˜Jš˜˜Jšœ˜J˜*—JšœœB˜LJšœ˜——J˜J˜Jšœ™J˜šžœœ˜—J˜š žœœœ œ œ˜Hšœ˜Jš˜JšœœGœ˜XJšœ˜——J˜J˜Jšœ™J˜šžœœ˜:Jšœ9˜<—J˜š žœœœ œ œ˜Fšœ˜Jš˜JšœœEœ˜VJšœ˜——J˜J˜Jšœ™J˜šžœœ˜?Jšœ>˜A—J˜š ž"œœœ œ œžœ˜cšœ˜Jš˜˜%Jšœ$˜'J˜ —JšœœR˜\Jšœ˜——J˜J˜Jšœ™J˜šžœœ˜?Jšœ>˜A—J˜š ž"œœœ œ œžœ˜cšœ˜Jš˜˜%Jšœ$˜'J˜ —JšœœR˜\Jšœ˜——J˜J˜Jšœ™J˜šžœœ˜2Jšœ1˜4—J˜š žœœœ œ œ˜Bšœ˜Jš˜Jšœœ=œ˜NJšœ˜——J˜J˜Jšœ™J˜šžœœ˜1Jšœ0˜3—J˜š žœœœ œ œ˜Ašœ˜Jš˜Jšœœ<œ˜MJšœ˜——J˜J˜Jšœ™J˜šžœœ˜2Jšœ1˜4—J˜šžœœœ œ œžœžœ ˜dšœ˜Jš˜˜Jšœ˜J˜—JšœœE˜OJšœ˜——J˜J˜Jšœ™J˜šžœœ˜:Jšœ9˜<—J˜šž!œœœ œ œž œžœ ˜ršœ˜Jš˜˜$Jšœ#˜&J˜—JšœœM˜WJšœ˜——J˜J˜Jšœ™J˜šžœœ˜6Jšœ5˜8—J˜š žœœœ œ œž œ˜lšœ˜Jš˜˜ Jšœ˜"J˜—JšœœI˜SJšœ˜——J˜Jšœ˜J˜—…—*L<