-- SaffronAG7bDef.mesa
 -- Copyright Ó 1987 by Xerox Corporation.  All rights reserved.
 -- Generated by Rauen.pa at September 1, 1988 2:46:03 pm PDT
 --  using ThreeCasabaFour [1.2] of June 1, 1987 6:00:00 pm PDT

DIRECTORY
	SaffronTreeDeclsDef,
	SaffronATDef;

SaffronAG7bDef: CEDAR DEFINITIONS = 
BEGIN
OPEN SaffronTreeDeclsDef, SaffronATDef;

-- 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;
IdentListoneProdMakeCodeToStoreTOSInVariousLocalFrameSlots:	MakeCodeToStoreTOSInVariousLocalFrameSlotsProcType;

-- 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;
IdentListmanyProdMakeCodeToStoreTOSInVariousLocalFrameSlots:	MakeCodeToStoreTOSInVariousLocalFrameSlotsProcType;

-- 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;
TagidentProdAddSizeDependencies:	AddSizeDependenciesProcType;

-- 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;
TagcomputedProdAddSizeDependencies:	AddSizeDependenciesProcType;

-- 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;
TagoverlaidProdAddSizeDependencies:	AddSizeDependenciesProcType;

-- TagTypestarProd

TagTypestarProdData:	TYPE = REF TagTypestarProdDataBody;
TagTypestarProdDataBody:	TYPE = RECORD[
];

TagTypestarProdProcs:	TagTypeNodeProcs;

BuildTagTypestarProdNode:	PROC[position: INT, length: INT]
	RETURNS[TagTypeNode];

TagTypestarProdMakeTagType:	MakeTagTypeProcType;
TagTypestarProdAddSizeDependencies:	AddSizeDependenciesProcType;

-- TagTypetypeexpProd

TagTypetypeexpProdData:	TYPE = REF TagTypetypeexpProdDataBody;
TagTypetypeexpProdDataBody:	TYPE = RECORD[
TypeExp: TypeExpNode];

TagTypetypeexpProdProcs:	TagTypeNodeProcs;

BuildTagTypetypeexpProdNode:	PROC[position: INT, length: INT, TypeExp: TypeExpNode]
	RETURNS[TagTypeNode];

TagTypetypeexpProdMakeTagType:	MakeTagTypeProcType;
TagTypetypeexpProdAddSizeDependencies:	AddSizeDependenciesProcType;

-- 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;
VariantListoneProdAddSizeDependencies:	AddSizeDependenciesProcType;

-- 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;
VariantListmoreProdAddSizeDependencies:	AddSizeDependenciesProcType;

-- 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;
VariantItemProdAddSizeDependencies:	AddSizeDependenciesProcType;

-- PackedyesProd

PackedyesProdData:	TYPE = REF PackedyesProdDataBody;
PackedyesProdDataBody:	TYPE = RECORD[
];

PackedyesProdProcs:	PackedNodeProcs;

BuildPackedyesProdNode:	PROC[position: INT, length: INT]
	RETURNS[PackedNode];

PackedyesProdIsKeywordPresent:	IsKeywordPresentProcType;

-- PackednoProd

PackednoProdData:	TYPE = REF PackednoProdDataBody;
PackednoProdDataBody:	TYPE = RECORD[
];

PackednoProdProcs:	PackedNodeProcs;

BuildPackednoProdNode:	PROC[position: INT, length: INT]
	RETURNS[PackedNode];

PackednoProdIsKeywordPresent:	IsKeywordPresentProcType;
END..