
<<SaffronAG7Def.mesa>>
<<Copyright Ó 1987 by Xerox Corporation.  All rights reserved.>>
<<Generated by BJackson.pa at April 27, 1987 10:51:22 pm PDT>>
<<using ThreeCasabaFour [1.1] of April 14, 1987 6:34:07 pm PDT>>

DIRECTORY
SaffronTreeBucketDef,
SaffronTreeDeclsDef,
SaffronGenericDef,
SaffronATDef;

SaffronAG7Def: CEDAR DEFINITIONS = 
BEGIN
OPEN SaffronTreeBucketDef, SaffronTreeDeclsDef, SaffronGenericDef, SaffronATDef;

<<AccessemptyProd>>

AccessemptyProdData: TYPE = REF AccessemptyProdDataBody;
AccessemptyProdDataBody: TYPE = RECORD[
];

AccessemptyProdProcs: AccessNodeProcs;

BuildAccessemptyProdNode: PROC[position: INT, length: INT]
RETURNS[AccessNode];

AccessemptyProdfoo: fooProcType;

<<AccesspublicProd>>

AccesspublicProdData: TYPE = REF AccesspublicProdDataBody;
AccesspublicProdDataBody: TYPE = RECORD[
];

AccesspublicProdProcs: AccessNodeProcs;

BuildAccesspublicProdNode: PROC[position: INT, length: INT]
RETURNS[AccessNode];

AccesspublicProdfoo: fooProcType;

<<AccessprivateProd>>

AccessprivateProdData: TYPE = REF AccessprivateProdDataBody;
AccessprivateProdDataBody: TYPE = RECORD[
];

AccessprivateProdProcs: AccessNodeProcs;

BuildAccessprivateProdNode: PROC[position: INT, length: INT]
RETURNS[AccessNode];

AccessprivateProdfoo: fooProcType;

<<DefaultemptyProd>>

DefaultemptyProdData: TYPE = REF DefaultemptyProdDataBody;
DefaultemptyProdDataBody: TYPE = RECORD[
];

DefaultemptyProdProcs: DefaultNodeProcs;

BuildDefaultemptyProdNode: PROC[position: INT, length: INT]
RETURNS[DefaultNode];

DefaultemptyProdfoo: fooProcType;

<<DefaultgetsProd>>

DefaultgetsProdData: TYPE = REF DefaultgetsProdDataBody;
DefaultgetsProdDataBody: TYPE = RECORD[
];

DefaultgetsProdProcs: DefaultNodeProcs;

BuildDefaultgetsProdNode: PROC[position: INT, length: INT]
RETURNS[DefaultNode];

DefaultgetsProdfoo: fooProcType;

<<DefaultgetsexpProd>>

DefaultgetsexpProdData: TYPE = REF DefaultgetsexpProdDataBody;
DefaultgetsexpProdDataBody: TYPE = RECORD[
Exp: ExpNode];

DefaultgetsexpProdProcs: DefaultNodeProcs;

BuildDefaultgetsexpProdNode: PROC[position: INT, length: INT, Exp: ExpNode]
RETURNS[DefaultNode];

DefaultgetsexpProdfoo: fooProcType;

<<DefaultgetstrashProd>>

DefaultgetstrashProdData: TYPE = REF DefaultgetstrashProdDataBody;
DefaultgetstrashProdDataBody: TYPE = RECORD[
];

DefaultgetstrashProdProcs: DefaultNodeProcs;

BuildDefaultgetstrashProdNode: PROC[position: INT, length: INT]
RETURNS[DefaultNode];

DefaultgetstrashProdfoo: fooProcType;

<<DefaultgetsexportrashProd>>

DefaultgetsexportrashProdData: TYPE = REF DefaultgetsexportrashProdDataBody;
DefaultgetsexportrashProdDataBody: TYPE = RECORD[
Exp: ExpNode];

DefaultgetsexportrashProdProcs: DefaultNodeProcs;

BuildDefaultgetsexportrashProdNode: PROC[position: INT, length: INT, Exp: ExpNode]
RETURNS[DefaultNode];

DefaultgetsexportrashProdfoo: fooProcType;

<<IdentidProd>>

IdentidProdData: TYPE = REF IdentidProdDataBody;
IdentidProdDataBody: TYPE = RECORD[
id: idNode];

IdentidProdProcs: IdentNodeProcs;

BuildIdentidProdNode: PROC[position: INT, length: INT, id: idNode]
RETURNS[IdentNode];

IdentidProdfoo: fooProcType;
IdentidProdInsertDescriptor: InsertDescriptorProcType;
IdentidProdReplaceDescriptor: ReplaceDescriptorProcType;
IdentidProdAddToNamedFieldList: AddToNamedFieldListProcType;
IdentidProdProcessDecls: ProcessDeclsProcType;

<<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];

IdentidpositionProdfoo: fooProcType;
IdentidpositionProdInsertDescriptor: InsertDescriptorProcType;
IdentidpositionProdReplaceDescriptor: ReplaceDescriptorProcType;
IdentidpositionProdAddToNamedFieldList: AddToNamedFieldListProcType;
IdentidpositionProdProcessDecls: ProcessDeclsProcType;

<<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];

PositionProdfoo: fooProcType;

<<OptBitsabsentProd>>

OptBitsabsentProdData: TYPE = REF OptBitsabsentProdDataBody;
OptBitsabsentProdDataBody: TYPE = RECORD[
];

OptBitsabsentProdProcs: OptBitsNodeProcs;

BuildOptBitsabsentProdNode: PROC[position: INT, length: INT]
RETURNS[OptBitsNode];

OptBitsabsentProdfoo: fooProcType;

<<OptBitspresentProd>>

OptBitspresentProdData: TYPE = REF OptBitspresentProdDataBody;
OptBitspresentProdDataBody: TYPE = RECORD[
Bounds: BoundsNode];

OptBitspresentProdProcs: OptBitsNodeProcs;

BuildOptBitspresentProdNode: PROC[position: INT, length: INT, Bounds: BoundsNode]
RETURNS[OptBitsNode];

OptBitspresentProdfoo: fooProcType;

<<IdentListoneProd>>

IdentListoneProdData: TYPE = REF IdentListoneProdDataBody;
IdentListoneProdDataBody: TYPE = RECORD[
Ident: IdentNode];

IdentListoneProdProcs: IdentListNodeProcs;

BuildIdentListoneProdNode: PROC[position: INT, length: INT, Ident: IdentNode]
RETURNS[IdentListNode];

IdentListoneProdfoo: fooProcType;
IdentListoneProdProcessDecls: ProcessDeclsProcType;
IdentListoneProdInsertDescriptor: InsertDescriptorProcType;
IdentListoneProdReplaceDescriptor: ReplaceDescriptorProcType;
IdentListoneProdAddToNamedFieldList: AddToNamedFieldListProcType;

<<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];

IdentListmanyProdfoo: fooProcType;
IdentListmanyProdProcessDecls: ProcessDeclsProcType;
IdentListmanyProdInsertDescriptor: InsertDescriptorProcType;
IdentListmanyProdReplaceDescriptor: ReplaceDescriptorProcType;
IdentListmanyProdAddToNamedFieldList: AddToNamedFieldListProcType;

<<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];

TagidentProdfoo: fooProcType;

<<TagcomputedProd>>

TagcomputedProdData: TYPE = REF TagcomputedProdDataBody;
TagcomputedProdDataBody: TYPE = RECORD[
TagType: TagTypeNode];

TagcomputedProdProcs: TagNodeProcs;

BuildTagcomputedProdNode: PROC[position: INT, length: INT, TagType: TagTypeNode]
RETURNS[TagNode];

TagcomputedProdfoo: fooProcType;

<<TagoverlaidProd>>

TagoverlaidProdData: TYPE = REF TagoverlaidProdDataBody;
TagoverlaidProdDataBody: TYPE = RECORD[
TagType: TagTypeNode];

TagoverlaidProdProcs: TagNodeProcs;

BuildTagoverlaidProdNode: PROC[position: INT, length: INT, TagType: TagTypeNode]
RETURNS[TagNode];

TagoverlaidProdfoo: fooProcType;

<<TagTypestarProd>>

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

TagTypestarProdProcs: TagTypeNodeProcs;

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

TagTypestarProdfoo: fooProcType;

<<TagTypetypeexpProd>>

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

TagTypetypeexpProdProcs: TagTypeNodeProcs;

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

TagTypetypeexpProdfoo: fooProcType;

<<VariantListoneProd>>

VariantListoneProdData: TYPE = REF VariantListoneProdDataBody;
VariantListoneProdDataBody: TYPE = RECORD[
VariantItem: VariantItemNode];

VariantListoneProdProcs: VariantListNodeProcs;

BuildVariantListoneProdNode: PROC[position: INT, length: INT, VariantItem: VariantItemNode]
RETURNS[VariantListNode];

VariantListoneProdfoo: fooProcType;

<<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];

VariantListmoreProdfoo: fooProcType;

<<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];

VariantItemProdfoo: fooProcType;

<<PackedyesProd>>

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

PackedyesProdProcs: PackedNodeProcs;

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

PackedyesProdfoo: fooProcType;

<<PackednoProd>>

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

PackednoProdProcs: PackedNodeProcs;

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

PackednoProdfoo: fooProcType;
END..