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

DIRECTORY
	SaffronTreeDeclsDef,
	SaffronGenericDef,
	SaffronATDef;

SaffronAG6cDef: CEDAR DEFINITIONS = 
BEGIN
OPEN SaffronTreeDeclsDef, SaffronGenericDef, SaffronATDef;

-- MachineDependentyesProd

MachineDependentyesProdData:	TYPE = REF MachineDependentyesProdDataBody;
MachineDependentyesProdDataBody:	TYPE = RECORD[
];

MachineDependentyesProdProcs:	MachineDependentNodeProcs;

BuildMachineDependentyesProdNode:	PROC[position: INT, length: INT]
	RETURNS[MachineDependentNode];

MachineDependentyesProdIsKeywordPresent:	IsKeywordPresentProcType;

-- MachineDependentnoProd

MachineDependentnoProdData:	TYPE = REF MachineDependentnoProdDataBody;
MachineDependentnoProdDataBody:	TYPE = RECORD[
];

MachineDependentnoProdProcs:	MachineDependentNodeProcs;

BuildMachineDependentnoProdNode:	PROC[position: INT, length: INT]
	RETURNS[MachineDependentNode];

MachineDependentnoProdIsKeywordPresent:	IsKeywordPresentProcType;

-- MonitoredyesProd

MonitoredyesProdData:	TYPE = REF MonitoredyesProdDataBody;
MonitoredyesProdDataBody:	TYPE = RECORD[
];

MonitoredyesProdProcs:	MonitoredNodeProcs;

BuildMonitoredyesProdNode:	PROC[position: INT, length: INT]
	RETURNS[MonitoredNode];

MonitoredyesProdIsKeywordPresent:	IsKeywordPresentProcType;

-- MonitorednoProd

MonitorednoProdData:	TYPE = REF MonitorednoProdDataBody;
MonitorednoProdDataBody:	TYPE = RECORD[
];

MonitorednoProdProcs:	MonitoredNodeProcs;

BuildMonitorednoProdNode:	PROC[position: INT, length: INT]
	RETURNS[MonitoredNode];

MonitorednoProdIsKeywordPresent:	IsKeywordPresentProcType;

-- ElementListemptyProd

ElementListemptyProdData:	TYPE = REF ElementListemptyProdDataBody;
ElementListemptyProdDataBody:	TYPE = RECORD[
];

ElementListemptyProdProcs:	ElementListNodeProcs;

BuildElementListemptyProdNode:	PROC[position: INT, length: INT]
	RETURNS[ElementListNode];

ElementListemptyProdMakeElementList:	MakeElementListProcType;
ElementListemptyProdAddSizeDependencies:	AddSizeDependenciesProcType;
ElementListemptyProdAddFirstDependencies:	AddFirstDependenciesProcType;
ElementListemptyProdAddLastDependencies:	AddLastDependenciesProcType;

-- ElementListmoreProd

ElementListmoreProdData:	TYPE = REF ElementListmoreProdDataBody;
ElementListmoreProdDataBody:	TYPE = RECORD[
ElementList: ElementListNode, Element: ElementNode];

ElementListmoreProdProcs:	ElementListNodeProcs;

BuildElementListmoreProdNode:	PROC[position: INT, length: INT, ElementList: ElementListNode, Element: ElementNode]
	RETURNS[ElementListNode];

ElementListmoreProdMakeElementList:	MakeElementListProcType;
ElementListmoreProdAddSizeDependencies:	AddSizeDependenciesProcType;
ElementListmoreProdAddFirstDependencies:	AddFirstDependenciesProcType;
ElementListmoreProdAddLastDependencies:	AddLastDependenciesProcType;

-- ElementidProd

ElementidProdData:	TYPE = REF ElementidProdDataBody;
ElementidProdDataBody:	TYPE = RECORD[
Id: IdNode];

ElementidProdProcs:	ElementNodeProcs;

BuildElementidProdNode:	PROC[position: INT, length: INT, Id: IdNode]
	RETURNS[ElementNode];

ElementidProdElementInfo:	ElementInfoProcType;
ElementidProdAddSizeDependencies:	AddSizeDependenciesProcType;
ElementidProdAddFirstDependencies:	AddFirstDependenciesProcType;
ElementidProdAddLastDependencies:	AddLastDependenciesProcType;

-- ElementidwithrepProd

ElementidwithrepProdData:	TYPE = REF ElementidwithrepProdDataBody;
ElementidwithrepProdDataBody:	TYPE = RECORD[
Id: IdNode, Exp: ExpNode];

ElementidwithrepProdProcs:	ElementNodeProcs;

BuildElementidwithrepProdNode:	PROC[position: INT, length: INT, Id: IdNode, Exp: ExpNode]
	RETURNS[ElementNode];

ElementidwithrepProdElementInfo:	ElementInfoProcType;
ElementidwithrepProdAddSizeDependencies:	AddSizeDependenciesProcType;
ElementidwithrepProdAddFirstDependencies:	AddFirstDependenciesProcType;
ElementidwithrepProdAddLastDependencies:	AddLastDependenciesProcType;

-- ElementanonymousrepProd

ElementanonymousrepProdData:	TYPE = REF ElementanonymousrepProdDataBody;
ElementanonymousrepProdDataBody:	TYPE = RECORD[
Exp: ExpNode];

ElementanonymousrepProdProcs:	ElementNodeProcs;

BuildElementanonymousrepProdNode:	PROC[position: INT, length: INT, Exp: ExpNode]
	RETURNS[ElementNode];

ElementanonymousrepProdElementInfo:	ElementInfoProcType;
ElementanonymousrepProdAddSizeDependencies:	AddSizeDependenciesProcType;
ElementanonymousrepProdAddFirstDependencies:	AddFirstDependenciesProcType;
ElementanonymousrepProdAddLastDependencies:	AddLastDependenciesProcType;

-- RecListemptyProd

RecListemptyProdData:	TYPE = REF RecListemptyProdDataBody;
RecListemptyProdDataBody:	TYPE = RECORD[
];

RecListemptyProdProcs:	RecListNodeProcs;

BuildRecListemptyProdNode:	PROC[position: INT, length: INT]
	RETURNS[RecListNode];

RecListemptyProdMakeFieldList:	MakeFieldListProcType;
RecListemptyProdAddSizeDependencies:	AddSizeDependenciesProcType;

-- RecListpairlistProd

RecListpairlistProdData:	TYPE = REF RecListpairlistProdDataBody;
RecListpairlistProdDataBody:	TYPE = RECORD[
PairList: PairListNode];

RecListpairlistProdProcs:	RecListNodeProcs;

BuildRecListpairlistProdNode:	PROC[position: INT, length: INT, PairList: PairListNode]
	RETURNS[RecListNode];

RecListpairlistProdMakeFieldList:	MakeFieldListProcType;
RecListpairlistProdAddSizeDependencies:	AddSizeDependenciesProcType;

-- RecListtypelistProd

RecListtypelistProdData:	TYPE = REF RecListtypelistProdDataBody;
RecListtypelistProdDataBody:	TYPE = RECORD[
TypeList: TypeListNode];

RecListtypelistProdProcs:	RecListNodeProcs;

BuildRecListtypelistProdNode:	PROC[position: INT, length: INT, TypeList: TypeListNode]
	RETURNS[RecListNode];

RecListtypelistProdMakeFieldList:	MakeFieldListProcType;
RecListtypelistProdAddSizeDependencies:	AddSizeDependenciesProcType;

-- PairListoneProd

PairListoneProdData:	TYPE = REF PairListoneProdDataBody;
PairListoneProdDataBody:	TYPE = RECORD[
PairItem: PairItemNode];

PairListoneProdProcs:	PairListNodeProcs;

BuildPairListoneProdNode:	PROC[position: INT, length: INT, PairItem: PairItemNode]
	RETURNS[PairListNode];

PairListoneProdAddPairsToFieldList:	AddPairsToFieldListProcType;
PairListoneProdAddSizeDependencies:	AddSizeDependenciesProcType;

-- PairListmanyProd

PairListmanyProdData:	TYPE = REF PairListmanyProdDataBody;
PairListmanyProdDataBody:	TYPE = RECORD[
PairListhead: PairListNode, PairListtail: PairListNode];

PairListmanyProdProcs:	PairListNodeProcs;

BuildPairListmanyProdNode:	PROC[position: INT, length: INT, PairListhead: PairListNode, PairListtail: PairListNode]
	RETURNS[PairListNode];

PairListmanyProdAddPairsToFieldList:	AddPairsToFieldListProcType;
PairListmanyProdAddSizeDependencies:	AddSizeDependenciesProcType;

-- PairItemProd

PairItemProdData:	TYPE = REF PairItemProdDataBody;
PairItemProdDataBody:	TYPE = RECORD[
IdentList: IdentListNode, Access: AccessNode, TypeExp: TypeExpNode, Default: DefaultNode];

PairItemProdProcs:	PairItemNodeProcs;

BuildPairItemProdNode:	PROC[position: INT, length: INT, IdentList: IdentListNode, Access: AccessNode, TypeExp: TypeExpNode, Default: DefaultNode]
	RETURNS[PairItemNode];

PairItemProdAddPairsToFieldList:	AddPairsToFieldListProcType;
PairItemProdAddSizeDependencies:	AddSizeDependenciesProcType;

-- TypeListoneProd

TypeListoneProdData:	TYPE = REF TypeListoneProdDataBody;
TypeListoneProdDataBody:	TYPE = RECORD[
TypeItem: TypeItemNode];

TypeListoneProdProcs:	TypeListNodeProcs;

BuildTypeListoneProdNode:	PROC[position: INT, length: INT, TypeItem: TypeItemNode]
	RETURNS[TypeListNode];

TypeListoneProdAddToFieldList:	AddToFieldListProcType;
TypeListoneProdAddSizeDependencies:	AddSizeDependenciesProcType;

-- TypeListmanyProd

TypeListmanyProdData:	TYPE = REF TypeListmanyProdDataBody;
TypeListmanyProdDataBody:	TYPE = RECORD[
TypeListhead: TypeListNode, TypeListtail: TypeListNode];

TypeListmanyProdProcs:	TypeListNodeProcs;

BuildTypeListmanyProdNode:	PROC[position: INT, length: INT, TypeListhead: TypeListNode, TypeListtail: TypeListNode]
	RETURNS[TypeListNode];

TypeListmanyProdAddToFieldList:	AddToFieldListProcType;
TypeListmanyProdAddSizeDependencies:	AddSizeDependenciesProcType;

-- TypeItemProd

TypeItemProdData:	TYPE = REF TypeItemProdDataBody;
TypeItemProdDataBody:	TYPE = RECORD[
TypeExp: TypeExpNode, Default: DefaultNode];

TypeItemProdProcs:	TypeItemNodeProcs;

BuildTypeItemProdNode:	PROC[position: INT, length: INT, TypeExp: TypeExpNode, Default: DefaultNode]
	RETURNS[TypeItemNode];

TypeItemProdAddToFieldList:	AddToFieldListProcType;
TypeItemProdAddSizeDependencies:	AddSizeDependenciesProcType;
END..