-- SaffronAG7Def.mesa -- Copyright Ó 1987 by Xerox Corporation. All rights reserved. -- Generated by hederman.pa at August 17, 1987 4:33:16 pm PDT -- using ThreeCasabaFour [1.2] of June 1, 1987 6:00:00 pm PDT DIRECTORY SaffronTreeDeclsDef, SaffronGenericDef, SaffronATDef; SaffronAG7Def: CEDAR DEFINITIONS = BEGIN OPEN SaffronTreeDeclsDef, SaffronGenericDef, SaffronATDef; -- AccessemptyProd AccessemptyProdData: TYPE = REF AccessemptyProdDataBody; AccessemptyProdDataBody: TYPE = RECORD[ ]; AccessemptyProdProcs: AccessNodeProcs; BuildAccessemptyProdNode: PROC[position: INT, length: INT] RETURNS[AccessNode]; AccessemptyProdGetAccessVal: GetAccessValProcType; -- AccesspublicProd AccesspublicProdData: TYPE = REF AccesspublicProdDataBody; AccesspublicProdDataBody: TYPE = RECORD[ ]; AccesspublicProdProcs: AccessNodeProcs; BuildAccesspublicProdNode: PROC[position: INT, length: INT] RETURNS[AccessNode]; AccesspublicProdGetAccessVal: GetAccessValProcType; -- AccessprivateProd AccessprivateProdData: TYPE = REF AccessprivateProdDataBody; AccessprivateProdDataBody: TYPE = RECORD[ ]; AccessprivateProdProcs: AccessNodeProcs; BuildAccessprivateProdNode: PROC[position: INT, length: INT] RETURNS[AccessNode]; AccessprivateProdGetAccessVal: GetAccessValProcType; -- DefaultemptyProd DefaultemptyProdData: TYPE = REF DefaultemptyProdDataBody; DefaultemptyProdDataBody: TYPE = RECORD[ ]; DefaultemptyProdProcs: DefaultNodeProcs; BuildDefaultemptyProdNode: PROC[position: INT, length: INT] RETURNS[DefaultNode]; DefaultemptyProdGetDefaultExpVal: GetDefaultExpValProcType; -- DefaultgetsProd DefaultgetsProdData: TYPE = REF DefaultgetsProdDataBody; DefaultgetsProdDataBody: TYPE = RECORD[ ]; DefaultgetsProdProcs: DefaultNodeProcs; BuildDefaultgetsProdNode: PROC[position: INT, length: INT] RETURNS[DefaultNode]; DefaultgetsProdGetDefaultExpVal: GetDefaultExpValProcType; -- DefaultgetsexpProd DefaultgetsexpProdData: TYPE = REF DefaultgetsexpProdDataBody; DefaultgetsexpProdDataBody: TYPE = RECORD[ Exp: ExpNode]; DefaultgetsexpProdProcs: DefaultNodeProcs; BuildDefaultgetsexpProdNode: PROC[position: INT, length: INT, Exp: ExpNode] RETURNS[DefaultNode]; DefaultgetsexpProdGetDefaultExpVal: GetDefaultExpValProcType; -- DefaultgetstrashProd DefaultgetstrashProdData: TYPE = REF DefaultgetstrashProdDataBody; DefaultgetstrashProdDataBody: TYPE = RECORD[ ]; DefaultgetstrashProdProcs: DefaultNodeProcs; BuildDefaultgetstrashProdNode: PROC[position: INT, length: INT] RETURNS[DefaultNode]; DefaultgetstrashProdGetDefaultExpVal: GetDefaultExpValProcType; -- DefaultgetsexportrashProd DefaultgetsexportrashProdData: TYPE = REF DefaultgetsexportrashProdDataBody; DefaultgetsexportrashProdDataBody: TYPE = RECORD[ Exp: ExpNode]; DefaultgetsexportrashProdProcs: DefaultNodeProcs; BuildDefaultgetsexportrashProdNode: PROC[position: INT, length: INT, Exp: ExpNode] RETURNS[DefaultNode]; DefaultgetsexportrashProdGetDefaultExpVal: GetDefaultExpValProcType; -- IdentidProd IdentidProdData: TYPE = REF IdentidProdDataBody; IdentidProdDataBody: TYPE = RECORD[ Id: IdNode]; IdentidProdProcs: IdentNodeProcs; BuildIdentidProdNode: PROC[position: INT, length: INT, Id: IdNode] RETURNS[IdentNode]; IdentidProdAddNamesToFieldList: AddNamesToFieldListProcType; IdentidProdPutNewNamesInLocalContext1: PutNewNamesInLocalContext1ProcType; IdentidProdRecAddArcsfromLVTGNtoTGN: RecAddArcsfromLVTGNtoTGNProcType; IdentidProdGetIdentInfo: GetIdentInfoProcType; IdentidProdAddNamesToSequence: AddNamesToSequenceProcType; -- IdentidpositionProd IdentidpositionProdData: TYPE = REF IdentidpositionProdDataBody; IdentidpositionProdDataBody: TYPE = RECORD[ Id: IdNode, Position: PositionNode]; IdentidpositionProdProcs: IdentNodeProcs; BuildIdentidpositionProdNode: PROC[position: INT, length: INT, Id: IdNode, Position: PositionNode] RETURNS[IdentNode]; IdentidpositionProdAddNamesToFieldList: AddNamesToFieldListProcType; IdentidpositionProdPutNewNamesInLocalContext1: PutNewNamesInLocalContext1ProcType; IdentidpositionProdRecAddArcsfromLVTGNtoTGN: RecAddArcsfromLVTGNtoTGNProcType; IdentidpositionProdGetIdentInfo: GetIdentInfoProcType; IdentidpositionProdAddNamesToSequence: AddNamesToSequenceProcType; -- PositionProd PositionProdData: TYPE = REF PositionProdDataBody; PositionProdDataBody: TYPE = RECORD[ Exp: ExpNode, OptBits: OptBitsNode]; PositionProdProcs: PositionNodeProcs; BuildPositionProdNode: PROC[position: INT, length: INT, Exp: ExpNode, OptBits: OptBitsNode] RETURNS[PositionNode]; PositionProdGetPositionVal: GetPositionValProcType; -- OptBitsabsentProd OptBitsabsentProdData: TYPE = REF OptBitsabsentProdDataBody; OptBitsabsentProdDataBody: TYPE = RECORD[ ]; OptBitsabsentProdProcs: OptBitsNodeProcs; BuildOptBitsabsentProdNode: PROC[position: INT, length: INT] RETURNS[OptBitsNode]; OptBitsabsentProdGetBoundsVal: GetBoundsValProcType; -- OptBitspresentProd OptBitspresentProdData: TYPE = REF OptBitspresentProdDataBody; OptBitspresentProdDataBody: TYPE = RECORD[ Bounds: BoundsNode]; OptBitspresentProdProcs: OptBitsNodeProcs; BuildOptBitspresentProdNode: PROC[position: INT, length: INT, Bounds: BoundsNode] RETURNS[OptBitsNode]; OptBitspresentProdGetBoundsVal: GetBoundsValProcType; -- IdentListoneProd IdentListoneProdData: TYPE = REF IdentListoneProdDataBody; IdentListoneProdDataBody: TYPE = RECORD[ Ident: IdentNode]; IdentListoneProdProcs: IdentListNodeProcs; BuildIdentListoneProdNode: PROC[position: INT, length: INT, Ident: IdentNode] RETURNS[IdentListNode]; IdentListoneProdAddNamesToFieldList: AddNamesToFieldListProcType; IdentListoneProdPutNewNamesInLocalContext1: PutNewNamesInLocalContext1ProcType; IdentListoneProdRecAddArcsfromLVTGNtoTGN: RecAddArcsfromLVTGNtoTGNProcType; IdentListoneProdMakeNameSequence: MakeNameSequenceProcType; IdentListoneProdAddNamesToSequence: AddNamesToSequenceProcType; -- IdentListmanyProd IdentListmanyProdData: TYPE = REF IdentListmanyProdDataBody; IdentListmanyProdDataBody: TYPE = RECORD[ IdentListhead: IdentListNode, IdentListtail: IdentListNode]; IdentListmanyProdProcs: IdentListNodeProcs; BuildIdentListmanyProdNode: PROC[position: INT, length: INT, IdentListhead: IdentListNode, IdentListtail: IdentListNode] RETURNS[IdentListNode]; IdentListmanyProdAddNamesToFieldList: AddNamesToFieldListProcType; IdentListmanyProdPutNewNamesInLocalContext1: PutNewNamesInLocalContext1ProcType; IdentListmanyProdRecAddArcsfromLVTGNtoTGN: RecAddArcsfromLVTGNtoTGNProcType; IdentListmanyProdMakeNameSequence: MakeNameSequenceProcType; IdentListmanyProdAddNamesToSequence: AddNamesToSequenceProcType; -- TagidentProd TagidentProdData: TYPE = REF TagidentProdDataBody; TagidentProdDataBody: TYPE = RECORD[ Ident: IdentNode, Access: AccessNode, TagType: TagTypeNode]; TagidentProdProcs: TagNodeProcs; BuildTagidentProdNode: PROC[position: INT, length: INT, Ident: IdentNode, Access: AccessNode, TagType: TagTypeNode] RETURNS[TagNode]; TagidentProdMakeVariantFlavor: MakeVariantFlavorProcType; TagidentProdMakeTagType: MakeTagTypeProcType; TagidentProdGetSequenceTagInfo: GetSequenceTagInfoProcType; -- TagcomputedProd TagcomputedProdData: TYPE = REF TagcomputedProdDataBody; TagcomputedProdDataBody: TYPE = RECORD[ TagType: TagTypeNode]; TagcomputedProdProcs: TagNodeProcs; BuildTagcomputedProdNode: PROC[position: INT, length: INT, TagType: TagTypeNode] RETURNS[TagNode]; TagcomputedProdMakeVariantFlavor: MakeVariantFlavorProcType; TagcomputedProdMakeTagType: MakeTagTypeProcType; TagcomputedProdGetSequenceTagInfo: GetSequenceTagInfoProcType; -- TagoverlaidProd TagoverlaidProdData: TYPE = REF TagoverlaidProdDataBody; TagoverlaidProdDataBody: TYPE = RECORD[ TagType: TagTypeNode]; TagoverlaidProdProcs: TagNodeProcs; BuildTagoverlaidProdNode: PROC[position: INT, length: INT, TagType: TagTypeNode] RETURNS[TagNode]; TagoverlaidProdMakeVariantFlavor: MakeVariantFlavorProcType; TagoverlaidProdMakeTagType: MakeTagTypeProcType; TagoverlaidProdGetSequenceTagInfo: GetSequenceTagInfoProcType; -- TagTypestarProd TagTypestarProdData: TYPE = REF TagTypestarProdDataBody; TagTypestarProdDataBody: TYPE = RECORD[ ]; TagTypestarProdProcs: TagTypeNodeProcs; BuildTagTypestarProdNode: PROC[position: INT, length: INT] RETURNS[TagTypeNode]; TagTypestarProdMakeTagType: MakeTagTypeProcType; -- TagTypetypeexpProd TagTypetypeexpProdData: TYPE = REF TagTypetypeexpProdDataBody; TagTypetypeexpProdDataBody: TYPE = RECORD[ TypeExp: TypeExpNode]; TagTypetypeexpProdProcs: TagTypeNodeProcs; BuildTagTypetypeexpProdNode: PROC[position: INT, length: INT, TypeExp: TypeExpNode] RETURNS[TagTypeNode]; TagTypetypeexpProdMakeTagType: MakeTagTypeProcType; -- VariantListoneProd VariantListoneProdData: TYPE = REF VariantListoneProdDataBody; VariantListoneProdDataBody: TYPE = RECORD[ VariantItem: VariantItemNode]; VariantListoneProdProcs: VariantListNodeProcs; BuildVariantListoneProdNode: PROC[position: INT, length: INT, VariantItem: VariantItemNode] RETURNS[VariantListNode]; VariantListoneProdMakeUnionList: MakeUnionListProcType; VariantListoneProdAddVariantsToUnionList: AddVariantsToUnionListProcType; VariantListoneProdMakeStarTagType: MakeStarTagTypeProcType; VariantListoneProdAddVariantNamesToEnumTypeTGN: AddVariantNamesToEnumTypeTGNProcType; -- VariantListmoreProd VariantListmoreProdData: TYPE = REF VariantListmoreProdDataBody; VariantListmoreProdDataBody: TYPE = RECORD[ VariantList: VariantListNode, VariantItem: VariantItemNode]; VariantListmoreProdProcs: VariantListNodeProcs; BuildVariantListmoreProdNode: PROC[position: INT, length: INT, VariantList: VariantListNode, VariantItem: VariantItemNode] RETURNS[VariantListNode]; VariantListmoreProdMakeUnionList: MakeUnionListProcType; VariantListmoreProdAddVariantsToUnionList: AddVariantsToUnionListProcType; VariantListmoreProdMakeStarTagType: MakeStarTagTypeProcType; VariantListmoreProdAddVariantNamesToEnumTypeTGN: AddVariantNamesToEnumTypeTGNProcType; -- VariantItemProd VariantItemProdData: TYPE = REF VariantItemProdDataBody; VariantItemProdDataBody: TYPE = RECORD[ IdList: IdListNode, RecList: RecListNode]; VariantItemProdProcs: VariantItemNodeProcs; BuildVariantItemProdNode: PROC[position: INT, length: INT, IdList: IdListNode, RecList: RecListNode] RETURNS[VariantItemNode]; VariantItemProdAddVariantsToUnionList: AddVariantsToUnionListProcType; VariantItemProdAddVariantNamesToEnumTypeTGN: AddVariantNamesToEnumTypeTGNProcType; -- PackedyesProd PackedyesProdData: TYPE = REF PackedyesProdDataBody; PackedyesProdDataBody: TYPE = RECORD[ ]; PackedyesProdProcs: PackedNodeProcs; BuildPackedyesProdNode: PROC[position: INT, length: INT] RETURNS[PackedNode]; PackedyesProdGetBooleanVal: GetBooleanValProcType; -- PackednoProd PackednoProdData: TYPE = REF PackednoProdDataBody; PackednoProdDataBody: TYPE = RECORD[ ]; PackednoProdProcs: PackedNodeProcs; BuildPackednoProdNode: PROC[position: INT, length: INT] RETURNS[PackedNode]; PackednoProdGetBooleanVal: GetBooleanValProcType; END..