-- SaffronAG7Def.mesa
 -- Copyright Ó 1987 by Xerox Corporation.  All rights reserved.
 -- Generated by Rauen.pa at August 3, 1988 10:52:38 am 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;
IdentidProdGetIdentInfo:	GetIdentInfoProcType;
IdentidProdAddNamesToSequence:	AddNamesToSequenceProcType;
IdentidProdAddValueDeclarationToFieldList:	AddValueDeclarationToFieldListProcType;
IdentidProdAddTypeDeclarationToFieldList:	AddTypeDeclarationToFieldListProcType;

-- 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;
IdentidpositionProdGetIdentInfo:	GetIdentInfoProcType;
IdentidpositionProdAddNamesToSequence:	AddNamesToSequenceProcType;
IdentidpositionProdAddValueDeclarationToFieldList:	AddValueDeclarationToFieldListProcType;
IdentidpositionProdAddTypeDeclarationToFieldList:	AddTypeDeclarationToFieldListProcType;

-- 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;
IdentListoneProdMakeNameSequence:	MakeNameSequenceProcType;
IdentListoneProdAddNamesToSequence:	AddNamesToSequenceProcType;
IdentListoneProdAddValueDeclarationToFieldList:	AddValueDeclarationToFieldListProcType;
IdentListoneProdAddTypeDeclarationToFieldList:	AddTypeDeclarationToFieldListProcType;

-- 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;
IdentListmanyProdMakeNameSequence:	MakeNameSequenceProcType;
IdentListmanyProdAddNamesToSequence:	AddNamesToSequenceProcType;
IdentListmanyProdAddValueDeclarationToFieldList:	AddValueDeclarationToFieldListProcType;
IdentListmanyProdAddTypeDeclarationToFieldList:	AddTypeDeclarationToFieldListProcType;

-- 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..