-- SaffronAG8Def.mesa
 -- Copyright Ó 1987 by Xerox Corporation.  All rights reserved.
 -- Generated by hederman.pa at August 17, 1987 4:33:18 pm PDT
 --  using ThreeCasabaFour [1.2] of June 1, 1987 6:00:00 pm PDT

DIRECTORY
	SaffronTreeDeclsDef,
	SaffronGenericDef,
	SaffronATDef;

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

-- IdListoneProd

IdListoneProdData:	TYPE = REF IdListoneProdDataBody;
IdListoneProdDataBody:	TYPE = RECORD[
Id: IdNode];

IdListoneProdProcs:	IdListNodeProcs;

BuildIdListoneProdNode:	PROC[position: INT, length: INT, Id: IdNode]
	RETURNS[IdListNode];

IdListoneProdAddNamesToUnionList:	AddNamesToUnionListProcType;
IdListoneProdAddVariantNamesToEnumTypeTGN:	AddVariantNamesToEnumTypeTGNProcType;
IdListoneProdAddIdsToInterfaceTGN:	AddIdsToInterfaceTGNProcType;

-- IdListmoreProd

IdListmoreProdData:	TYPE = REF IdListmoreProdDataBody;
IdListmoreProdDataBody:	TYPE = RECORD[
Id: IdNode, IdList: IdListNode];

IdListmoreProdProcs:	IdListNodeProcs;

BuildIdListmoreProdNode:	PROC[position: INT, length: INT, Id: IdNode, IdList: IdListNode]
	RETURNS[IdListNode];

IdListmoreProdAddNamesToUnionList:	AddNamesToUnionListProcType;
IdListmoreProdAddVariantNamesToEnumTypeTGN:	AddVariantNamesToEnumTypeTGNProcType;
IdListmoreProdAddIdsToInterfaceTGN:	AddIdsToInterfaceTGNProcType;

-- OrderedyesProd

OrderedyesProdData:	TYPE = REF OrderedyesProdDataBody;
OrderedyesProdDataBody:	TYPE = RECORD[
];

OrderedyesProdProcs:	OrderedNodeProcs;

BuildOrderedyesProdNode:	PROC[position: INT, length: INT]
	RETURNS[OrderedNode];

OrderedyesProdGetBooleanVal:	GetBooleanValProcType;

-- OrderednoProd

OrderednoProdData:	TYPE = REF OrderednoProdDataBody;
OrderednoProdDataBody:	TYPE = RECORD[
];

OrderednoProdProcs:	OrderedNodeProcs;

BuildOrderednoProdNode:	PROC[position: INT, length: INT]
	RETURNS[OrderedNode];

OrderednoProdGetBooleanVal:	GetBooleanValProcType;

-- BaseyesProd

BaseyesProdData:	TYPE = REF BaseyesProdDataBody;
BaseyesProdDataBody:	TYPE = RECORD[
];

BaseyesProdProcs:	BaseNodeProcs;

BuildBaseyesProdNode:	PROC[position: INT, length: INT]
	RETURNS[BaseNode];

BaseyesProdGetBooleanVal:	GetBooleanValProcType;

-- BasenoProd

BasenoProdData:	TYPE = REF BasenoProdDataBody;
BasenoProdDataBody:	TYPE = RECORD[
];

BasenoProdProcs:	BaseNodeProcs;

BuildBasenoProdNode:	PROC[position: INT, length: INT]
	RETURNS[BaseNode];

BasenoProdGetBooleanVal:	GetBooleanValProcType;

-- PointerTypeunspecifiedProd

PointerTypeunspecifiedProdData:	TYPE = REF PointerTypeunspecifiedProdDataBody;
PointerTypeunspecifiedProdDataBody:	TYPE = RECORD[
OptInterval: OptIntervalNode];

PointerTypeunspecifiedProdProcs:	PointerTypeNodeProcs;

BuildPointerTypeunspecifiedProdNode:	PROC[position: INT, length: INT, OptInterval: OptIntervalNode]
	RETURNS[PointerTypeNode];

PointerTypeunspecifiedProdGetPointerTypeInfo:	GetPointerTypeInfoProcType;

-- PointerTypespecifiedProd

PointerTypespecifiedProdData:	TYPE = REF PointerTypespecifiedProdDataBody;
PointerTypespecifiedProdDataBody:	TYPE = RECORD[
OptInterval: OptIntervalNode, ReadOnly: ReadOnlyNode, TypeExp: TypeExpNode];

PointerTypespecifiedProdProcs:	PointerTypeNodeProcs;

BuildPointerTypespecifiedProdNode:	PROC[position: INT, length: INT, OptInterval: OptIntervalNode, ReadOnly: ReadOnlyNode, TypeExp: TypeExpNode]
	RETURNS[PointerTypeNode];

PointerTypespecifiedProdGetPointerTypeInfo:	GetPointerTypeInfoProcType;

-- OptIntervalabsentProd

OptIntervalabsentProdData:	TYPE = REF OptIntervalabsentProdDataBody;
OptIntervalabsentProdDataBody:	TYPE = RECORD[
];

OptIntervalabsentProdProcs:	OptIntervalNodeProcs;

BuildOptIntervalabsentProdNode:	PROC[position: INT, length: INT]
	RETURNS[OptIntervalNode];

OptIntervalabsentProdGetBoundsVal:	GetBoundsValProcType;

-- OptIntervalpresentProd

OptIntervalpresentProdData:	TYPE = REF OptIntervalpresentProdDataBody;
OptIntervalpresentProdDataBody:	TYPE = RECORD[
Interval: IntervalNode];

OptIntervalpresentProdProcs:	OptIntervalNodeProcs;

BuildOptIntervalpresentProdNode:	PROC[position: INT, length: INT, Interval: IntervalNode]
	RETURNS[OptIntervalNode];

OptIntervalpresentProdGetBoundsVal:	GetBoundsValProcType;

-- ReadOnlyyesProd

ReadOnlyyesProdData:	TYPE = REF ReadOnlyyesProdDataBody;
ReadOnlyyesProdDataBody:	TYPE = RECORD[
];

ReadOnlyyesProdProcs:	ReadOnlyNodeProcs;

BuildReadOnlyyesProdNode:	PROC[position: INT, length: INT]
	RETURNS[ReadOnlyNode];

ReadOnlyyesProdGetBooleanVal:	GetBooleanValProcType;

-- ReadOnlynoProd

ReadOnlynoProdData:	TYPE = REF ReadOnlynoProdDataBody;
ReadOnlynoProdDataBody:	TYPE = RECORD[
];

ReadOnlynoProdProcs:	ReadOnlyNodeProcs;

BuildReadOnlynoProdNode:	PROC[position: INT, length: INT]
	RETURNS[ReadOnlyNode];

ReadOnlynoProdGetBooleanVal:	GetBooleanValProcType;

-- SafeemptyProd

SafeemptyProdData:	TYPE = REF SafeemptyProdDataBody;
SafeemptyProdDataBody:	TYPE = RECORD[
];

SafeemptyProdProcs:	SafeNodeProcs;

BuildSafeemptyProdNode:	PROC[position: INT, length: INT]
	RETURNS[SafeNode];

SafeemptyProdGetBooleanVal:	GetBooleanValProcType;

-- SafeyesProd

SafeyesProdData:	TYPE = REF SafeyesProdDataBody;
SafeyesProdDataBody:	TYPE = RECORD[
];

SafeyesProdProcs:	SafeNodeProcs;

BuildSafeyesProdNode:	PROC[position: INT, length: INT]
	RETURNS[SafeNode];

SafeyesProdGetBooleanVal:	GetBooleanValProcType;

-- SafenoProd

SafenoProdData:	TYPE = REF SafenoProdDataBody;
SafenoProdDataBody:	TYPE = RECORD[
];

SafenoProdProcs:	SafeNodeProcs;

BuildSafenoProdNode:	PROC[position: INT, length: INT]
	RETURNS[SafeNode];

SafenoProdGetBooleanVal:	GetBooleanValProcType;

-- TransferModeprocProd

TransferModeprocProdData:	TYPE = REF TransferModeprocProdDataBody;
TransferModeprocProdDataBody:	TYPE = RECORD[
];

TransferModeprocProdProcs:	TransferModeNodeProcs;

BuildTransferModeprocProdNode:	PROC[position: INT, length: INT]
	RETURNS[TransferModeNode];

TransferModeprocProdMakeTransferMode:	MakeTransferModeProcType;

-- TransferModeportProd

TransferModeportProdData:	TYPE = REF TransferModeportProdDataBody;
TransferModeportProdDataBody:	TYPE = RECORD[
];

TransferModeportProdProcs:	TransferModeNodeProcs;

BuildTransferModeportProdNode:	PROC[position: INT, length: INT]
	RETURNS[TransferModeNode];

TransferModeportProdMakeTransferMode:	MakeTransferModeProcType;

-- TransferModesignalProd

TransferModesignalProdData:	TYPE = REF TransferModesignalProdDataBody;
TransferModesignalProdDataBody:	TYPE = RECORD[
];

TransferModesignalProdProcs:	TransferModeNodeProcs;

BuildTransferModesignalProdNode:	PROC[position: INT, length: INT]
	RETURNS[TransferModeNode];

TransferModesignalProdMakeTransferMode:	MakeTransferModeProcType;

-- TransferModeerrorProd

TransferModeerrorProdData:	TYPE = REF TransferModeerrorProdDataBody;
TransferModeerrorProdDataBody:	TYPE = RECORD[
];

TransferModeerrorProdProcs:	TransferModeNodeProcs;

BuildTransferModeerrorProdNode:	PROC[position: INT, length: INT]
	RETURNS[TransferModeNode];

TransferModeerrorProdMakeTransferMode:	MakeTransferModeProcType;

-- TransferModeprocessProd

TransferModeprocessProdData:	TYPE = REF TransferModeprocessProdDataBody;
TransferModeprocessProdDataBody:	TYPE = RECORD[
];

TransferModeprocessProdProcs:	TransferModeNodeProcs;

BuildTransferModeprocessProdNode:	PROC[position: INT, length: INT]
	RETURNS[TransferModeNode];

TransferModeprocessProdMakeTransferMode:	MakeTransferModeProcType;

-- TransferModeprogramProd

TransferModeprogramProdData:	TYPE = REF TransferModeprogramProdDataBody;
TransferModeprogramProdDataBody:	TYPE = RECORD[
];

TransferModeprogramProdProcs:	TransferModeNodeProcs;

BuildTransferModeprogramProdNode:	PROC[position: INT, length: INT]
	RETURNS[TransferModeNode];

TransferModeprogramProdMakeTransferMode:	MakeTransferModeProcType;

-- ArgumentsProd

ArgumentsProdData:	TYPE = REF ArgumentsProdDataBody;
ArgumentsProdDataBody:	TYPE = RECORD[
ParameterListinput: ParameterListNode, ParameterListoutput: ParameterListNode];

ArgumentsProdProcs:	ArgumentsNodeProcs;

BuildArgumentsProdNode:	PROC[position: INT, length: INT, ParameterListinput: ParameterListNode, ParameterListoutput: ParameterListNode]
	RETURNS[ArgumentsNode];

ArgumentsProdMakeArgumentLists:	MakeArgumentListsProcType;

-- ParameterListemptyProd

ParameterListemptyProdData:	TYPE = REF ParameterListemptyProdDataBody;
ParameterListemptyProdDataBody:	TYPE = RECORD[
];

ParameterListemptyProdProcs:	ParameterListNodeProcs;

BuildParameterListemptyProdNode:	PROC[position: INT, length: INT]
	RETURNS[ParameterListNode];

ParameterListemptyProdMakeFieldList:	MakeFieldListProcType;

-- ParameterListanyProd

ParameterListanyProdData:	TYPE = REF ParameterListanyProdDataBody;
ParameterListanyProdDataBody:	TYPE = RECORD[
];

ParameterListanyProdProcs:	ParameterListNodeProcs;

BuildParameterListanyProdNode:	PROC[position: INT, length: INT]
	RETURNS[ParameterListNode];

ParameterListanyProdMakeFieldList:	MakeFieldListProcType;

-- ParameterListpairlistProd

ParameterListpairlistProdData:	TYPE = REF ParameterListpairlistProdDataBody;
ParameterListpairlistProdDataBody:	TYPE = RECORD[
PairList: PairListNode];

ParameterListpairlistProdProcs:	ParameterListNodeProcs;

BuildParameterListpairlistProdNode:	PROC[position: INT, length: INT, PairList: PairListNode]
	RETURNS[ParameterListNode];

ParameterListpairlistProdMakeFieldList:	MakeFieldListProcType;

-- ParameterListtypelistProd

ParameterListtypelistProdData:	TYPE = REF ParameterListtypelistProdDataBody;
ParameterListtypelistProdDataBody:	TYPE = RECORD[
TypeList: TypeListNode];

ParameterListtypelistProdProcs:	ParameterListNodeProcs;

BuildParameterListtypelistProdNode:	PROC[position: INT, length: INT, TypeList: TypeListNode]
	RETURNS[ParameterListNode];

ParameterListtypelistProdMakeFieldList:	MakeFieldListProcType;

-- UncountedyesProd

UncountedyesProdData:	TYPE = REF UncountedyesProdDataBody;
UncountedyesProdDataBody:	TYPE = RECORD[
];

UncountedyesProdProcs:	UncountedNodeProcs;

BuildUncountedyesProdNode:	PROC[position: INT, length: INT]
	RETURNS[UncountedNode];

UncountedyesProdGetBooleanVal:	GetBooleanValProcType;

-- UncountednoProd

UncountednoProdData:	TYPE = REF UncountednoProdDataBody;
UncountednoProdDataBody:	TYPE = RECORD[
];

UncountednoProdProcs:	UncountedNodeProcs;

BuildUncountednoProdNode:	PROC[position: INT, length: INT]
	RETURNS[UncountedNode];

UncountednoProdGetBooleanVal:	GetBooleanValProcType;

-- TypeApplyoneProd

TypeApplyoneProdData:	TYPE = REF TypeApplyoneProdDataBody;
TypeApplyoneProdDataBody:	TYPE = RECORD[
TypeId: TypeIdNode, Exp: ExpNode];

TypeApplyoneProdProcs:	TypeApplyNodeProcs;

BuildTypeApplyoneProdNode:	PROC[position: INT, length: INT, TypeId: TypeIdNode, Exp: ExpNode]
	RETURNS[TypeApplyNode];

TypeApplyoneProdMakeType:	MakeTypeProcType;

-- TypeApplymorelengthsProd

TypeApplymorelengthsProdData:	TYPE = REF TypeApplymorelengthsProdDataBody;
TypeApplymorelengthsProdDataBody:	TYPE = RECORD[
TypeApply: TypeApplyNode, Exp: ExpNode];

TypeApplymorelengthsProdProcs:	TypeApplyNodeProcs;

BuildTypeApplymorelengthsProdNode:	PROC[position: INT, length: INT, TypeApply: TypeApplyNode, Exp: ExpNode]
	RETURNS[TypeApplyNode];

TypeApplymorelengthsProdMakeType:	MakeTypeProcType;

-- TypeApplymoreidsProd

TypeApplymoreidsProdData:	TYPE = REF TypeApplymoreidsProdDataBody;
TypeApplymoreidsProdDataBody:	TYPE = RECORD[
TypeApply: TypeApplyNode, Id: IdNode];

TypeApplymoreidsProdProcs:	TypeApplyNodeProcs;

BuildTypeApplymoreidsProdNode:	PROC[position: INT, length: INT, TypeApply: TypeApplyNode, Id: IdNode]
	RETURNS[TypeApplyNode];

TypeApplymoreidsProdMakeType:	MakeTypeProcType;
END..