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

DIRECTORY
SaffronAG3Def,
SaffronATDef;

SaffronAG3Impl: CEDAR PROGRAM IMPORTS SaffronAG3Def EXPORTS SaffronAG3Def= 
BEGIN
OPEN SaffronAG3Def, SaffronATDef;

<<NewplainProd>>

NewplainProdProcs: PUBLIC NewNodeProcs _
NEW[NewNodeProcsBody _ [NewplainProdfoo]];

BuildNewplainProdNode: PUBLIC PROC[position: INT, length: INT]
RETURNS[NewNode] =
BEGIN
RETURN[NEW[NewNodeBody_[position, length, NewplainProdProcs, NIL]]];
END;


<<NewzonedProd>>

NewzonedProdProcs: PUBLIC NewNodeProcs _
NEW[NewNodeProcsBody _ [NewzonedProdfoo]];

BuildNewzonedProdNode: PUBLIC PROC[position: INT, length: INT, Exp: ExpNode]
RETURNS[NewNode] =
BEGIN
data: NewzonedProdData _
NEW[NewzonedProdDataBody_[
Exp]];
RETURN[NEW[NewNodeBody_[position, length, NewzonedProdProcs, data]]];
END;


<<ConsplainProd>>

ConsplainProdProcs: PUBLIC ConsNodeProcs _
NEW[ConsNodeProcsBody _ [ConsplainProdfoo]];

BuildConsplainProdNode: PUBLIC PROC[position: INT, length: INT]
RETURNS[ConsNode] =
BEGIN
RETURN[NEW[ConsNodeBody_[position, length, ConsplainProdProcs, NIL]]];
END;


<<ConszonedProd>>

ConszonedProdProcs: PUBLIC ConsNodeProcs _
NEW[ConsNodeProcsBody _ [ConszonedProdfoo]];

BuildConszonedProdNode: PUBLIC PROC[position: INT, length: INT, Exp: ExpNode]
RETURNS[ConsNode] =
BEGIN
data: ConszonedProdData _
NEW[ConszonedProdDataBody_[
Exp]];
RETURN[NEW[ConsNodeBody_[position, length, ConszonedProdProcs, data]]];
END;


<<ListConsplainProd>>

ListConsplainProdProcs: PUBLIC ListConsNodeProcs _
NEW[ListConsNodeProcsBody _ [ListConsplainProdfoo]];

BuildListConsplainProdNode: PUBLIC PROC[position: INT, length: INT]
RETURNS[ListConsNode] =
BEGIN
RETURN[NEW[ListConsNodeBody_[position, length, ListConsplainProdProcs, NIL]]];
END;


<<ListConszonedProd>>

ListConszonedProdProcs: PUBLIC ListConsNodeProcs _
NEW[ListConsNodeProcsBody _ [ListConszonedProdfoo]];

BuildListConszonedProdNode: PUBLIC PROC[position: INT, length: INT, Exp: ExpNode]
RETURNS[ListConsNode] =
BEGIN
data: ListConszonedProdData _
NEW[ListConszonedProdDataBody_[
Exp]];
RETURN[NEW[ListConsNodeBody_[position, length, ListConszonedProdProcs, data]]];
END;


<<DescListexplicitlengthProd>>

DescListexplicitlengthProdProcs: PUBLIC DescListNodeProcs _
NEW[DescListNodeProcsBody _ [DescListexplicitlengthProdfoo]];

BuildDescListexplicitlengthProdNode: PUBLIC PROC[position: INT, length: INT, Expbase: ExpNode, Explength: ExpNode, OptType: 
OptTypeNode]
RETURNS[DescListNode] =
BEGIN
data: DescListexplicitlengthProdData _
NEW[DescListexplicitlengthProdDataBody_[
Expbase, Explength, OptType]];
RETURN[NEW[DescListNodeBody_[position, length, DescListexplicitlengthProdProcs, data]]];
END;


<<DescListdefaultlengthProd>>

DescListdefaultlengthProdProcs: PUBLIC DescListNodeProcs _
NEW[DescListNodeProcsBody _ [DescListdefaultlengthProdfoo]];

BuildDescListdefaultlengthProdNode: PUBLIC PROC[position: INT, length: INT, Exp: ExpNode]
RETURNS[DescListNode] =
BEGIN
data: DescListdefaultlengthProdData _
NEW[DescListdefaultlengthProdDataBody_[
Exp]];
RETURN[NEW[DescListNodeBody_[position, length, DescListdefaultlengthProdProcs, data]]];
END;


<<InitializationemptyProd>>

InitializationemptyProdProcs: PUBLIC InitializationNodeProcs _
NEW[InitializationNodeProcsBody _ [InitializationemptyProdfoo, InitializationemptyProdMakeValue]];

BuildInitializationemptyProdNode: PUBLIC PROC[position: INT, length: INT]
RETURNS[InitializationNode] =
BEGIN
RETURN[NEW[InitializationNodeBody_[position, length, InitializationemptyProdProcs, NIL]]];
END;


<<InitializationbindingProd>>

InitializationbindingProdProcs: PUBLIC InitializationNodeProcs _
NEW[InitializationNodeProcsBody _ [InitializationbindingProdfoo, InitializationbindingProdMakeValue]];

BuildInitializationbindingProdNode: PUBLIC PROC[position: INT, length: INT, InitialValue: InitialValueNode]
RETURNS[InitializationNode] =
BEGIN
data: InitializationbindingProdData _
NEW[InitializationbindingProdDataBody_[
InitialValue]];
RETURN[NEW[InitializationNodeBody_[position, length, InitializationbindingProdProcs, data]]];
END;


<<InitializationassignmentProd>>

InitializationassignmentProdProcs: PUBLIC InitializationNodeProcs _
NEW[InitializationNodeProcsBody _ [InitializationassignmentProdfoo, InitializationassignmentProdMakeValue]];

BuildInitializationassignmentProdNode: PUBLIC PROC[position: INT, length: INT, InitialValue: InitialValueNode]
RETURNS[InitializationNode] =
BEGIN
data: InitializationassignmentProdData _
NEW[InitializationassignmentProdDataBody_[
InitialValue]];
RETURN[NEW[InitializationNodeBody_[position, length, InitializationassignmentProdProcs, data]]];
END;


<<InitialValuetrashProd>>

InitialValuetrashProdProcs: PUBLIC InitialValueNodeProcs _
NEW[InitialValueNodeProcsBody _ [InitialValuetrashProdfoo, InitialValuetrashProdMakeValue]];

BuildInitialValuetrashProdNode: PUBLIC PROC[position: INT, length: INT]
RETURNS[InitialValueNode] =
BEGIN
RETURN[NEW[InitialValueNodeBody_[position, length, InitialValuetrashProdProcs, NIL]]];
END;


<<InitialValuecodeProd>>

InitialValuecodeProdProcs: PUBLIC InitialValueNodeProcs _
NEW[InitialValueNodeProcsBody _ [InitialValuecodeProdfoo, InitialValuecodeProdMakeValue]];

BuildInitialValuecodeProdNode: PUBLIC PROC[position: INT, length: INT]
RETURNS[InitialValueNode] =
BEGIN
RETURN[NEW[InitialValueNodeBody_[position, length, InitialValuecodeProdProcs, NIL]]];
END;


<<InitialValueexpProd>>

InitialValueexpProdProcs: PUBLIC InitialValueNodeProcs _
NEW[InitialValueNodeProcsBody _ [InitialValueexpProdfoo, InitialValueexpProdMakeValue]];

BuildInitialValueexpProdNode: PUBLIC PROC[position: INT, length: INT, Exp: ExpNode]
RETURNS[InitialValueNode] =
BEGIN
data: InitialValueexpProdData _
NEW[InitialValueexpProdDataBody_[
Exp]];
RETURN[NEW[InitialValueNodeBody_[position, length, InitialValueexpProdProcs, data]]];
END;


<<InitialValueblockProd>>

InitialValueblockProdProcs: PUBLIC InitialValueNodeProcs _
NEW[InitialValueNodeProcsBody _ [InitialValueblockProdfoo, InitialValueblockProdMakeValue]];

BuildInitialValueblockProdNode: PUBLIC PROC[position: INT, length: INT, Checked: CheckedNode, Inline: InlineNode, Block: BlockNode]
RETURNS[InitialValueNode] =
BEGIN
data: InitialValueblockProdData _
NEW[InitialValueblockProdDataBody_[
Checked, Inline, Block]];
RETURN[NEW[InitialValueNodeBody_[position, length, InitialValueblockProdProcs, data]]];
END;


<<InitialValuemachinecodeProd>>

InitialValuemachinecodeProdProcs: PUBLIC InitialValueNodeProcs _
NEW[InitialValueNodeProcsBody _ [InitialValuemachinecodeProdfoo, InitialValuemachinecodeProdMakeValue]];

BuildInitialValuemachinecodeProdNode: PUBLIC PROC[position: INT, length: INT, Checked: CheckedNode, CodeList: CodeListNode]
RETURNS[InitialValueNode] =
BEGIN
data: InitialValuemachinecodeProdData _
NEW[InitialValuemachinecodeProdDataBody_[
Checked, CodeList]];
RETURN[NEW[InitialValueNodeBody_[position, length, InitialValuemachinecodeProdProcs, data]]];
END;


<<CheckedemptyProd>>

CheckedemptyProdProcs: PUBLIC CheckedNodeProcs _
NEW[CheckedNodeProcsBody _ [CheckedemptyProdfoo]];

BuildCheckedemptyProdNode: PUBLIC PROC[position: INT, length: INT]
RETURNS[CheckedNode] =
BEGIN
RETURN[NEW[CheckedNodeBody_[position, length, CheckedemptyProdProcs, NIL]]];
END;


<<CheckedcheckedProd>>

CheckedcheckedProdProcs: PUBLIC CheckedNodeProcs _
NEW[CheckedNodeProcsBody _ [CheckedcheckedProdfoo]];

BuildCheckedcheckedProdNode: PUBLIC PROC[position: INT, length: INT]
RETURNS[CheckedNode] =
BEGIN
RETURN[NEW[CheckedNodeBody_[position, length, CheckedcheckedProdProcs, NIL]]];
END;


<<CheckedtrustedProd>>

CheckedtrustedProdProcs: PUBLIC CheckedNodeProcs _
NEW[CheckedNodeProcsBody _ [CheckedtrustedProdfoo]];

BuildCheckedtrustedProdNode: PUBLIC PROC[position: INT, length: INT]
RETURNS[CheckedNode] =
BEGIN
RETURN[NEW[CheckedNodeBody_[position, length, CheckedtrustedProdProcs, NIL]]];
END;


<<CheckeduncheckedProd>>

CheckeduncheckedProdProcs: PUBLIC CheckedNodeProcs _
NEW[CheckedNodeProcsBody _ [CheckeduncheckedProdfoo]];

BuildCheckeduncheckedProdNode: PUBLIC PROC[position: INT, length: INT]
RETURNS[CheckedNode] =
BEGIN
RETURN[NEW[CheckedNodeBody_[position, length, CheckeduncheckedProdProcs, NIL]]];
END;


<<InlineyesProd>>

InlineyesProdProcs: PUBLIC InlineNodeProcs _
NEW[InlineNodeProcsBody _ [InlineyesProdfoo]];

BuildInlineyesProdNode: PUBLIC PROC[position: INT, length: INT]
RETURNS[InlineNode] =
BEGIN
RETURN[NEW[InlineNodeBody_[position, length, InlineyesProdProcs, NIL]]];
END;


<<InlinenoProd>>

InlinenoProdProcs: PUBLIC InlineNodeProcs _
NEW[InlineNodeProcsBody _ [InlinenoProdfoo]];

BuildInlinenoProdNode: PUBLIC PROC[position: INT, length: INT]
RETURNS[InlineNode] =
BEGIN
RETURN[NEW[InlineNodeBody_[position, length, InlinenoProdProcs, NIL]]];
END;


<<CodeListoneProd>>

CodeListoneProdProcs: PUBLIC CodeListNodeProcs _
NEW[CodeListNodeProcsBody _ [CodeListoneProdfoo]];

BuildCodeListoneProdNode: PUBLIC PROC[position: INT, length: INT, OrderList: OrderListNode]
RETURNS[CodeListNode] =
BEGIN
data: CodeListoneProdData _
NEW[CodeListoneProdDataBody_[
OrderList]];
RETURN[NEW[CodeListNodeBody_[position, length, CodeListoneProdProcs, data]]];
END;


<<CodeListmoreProd>>

CodeListmoreProdProcs: PUBLIC CodeListNodeProcs _
NEW[CodeListNodeProcsBody _ [CodeListmoreProdfoo]];

BuildCodeListmoreProdNode: PUBLIC PROC[position: INT, length: INT, CodeList: CodeListNode, OrderList: OrderListNode]
RETURNS[CodeListNode] =
BEGIN
data: CodeListmoreProdData _
NEW[CodeListmoreProdDataBody_[
CodeList, OrderList]];
RETURN[NEW[CodeListNodeBody_[position, length, CodeListmoreProdProcs, data]]];
END;


<<TransferOpsignalProd>>

TransferOpsignalProdProcs: PUBLIC TransferOpNodeProcs _
NEW[TransferOpNodeProcsBody _ [TransferOpsignalProdfoo]];

BuildTransferOpsignalProdNode: PUBLIC PROC[position: INT, length: INT]
RETURNS[TransferOpNode] =
BEGIN
RETURN[NEW[TransferOpNodeBody_[position, length, TransferOpsignalProdProcs, NIL]]];
END;


<<TransferOperrorProd>>

TransferOperrorProdProcs: PUBLIC TransferOpNodeProcs _
NEW[TransferOpNodeProcsBody _ [TransferOperrorProdfoo]];

BuildTransferOperrorProdNode: PUBLIC PROC[position: INT, length: INT]
RETURNS[TransferOpNode] =
BEGIN
RETURN[NEW[TransferOpNodeBody_[position, length, TransferOperrorProdProcs, NIL]]];
END;


<<TransferOpstartProd>>

TransferOpstartProdProcs: PUBLIC TransferOpNodeProcs _
NEW[TransferOpNodeProcsBody _ [TransferOpstartProdfoo]];

BuildTransferOpstartProdNode: PUBLIC PROC[position: INT, length: INT]
RETURNS[TransferOpNode] =
BEGIN
RETURN[NEW[TransferOpNodeBody_[position, length, TransferOpstartProdProcs, NIL]]];
END;


<<TransferOpjoinProd>>

TransferOpjoinProdProcs: PUBLIC TransferOpNodeProcs _
NEW[TransferOpNodeProcsBody _ [TransferOpjoinProdfoo]];

BuildTransferOpjoinProdNode: PUBLIC PROC[position: INT, length: INT]
RETURNS[TransferOpNode] =
BEGIN
RETURN[NEW[TransferOpNodeBody_[position, length, TransferOpjoinProdProcs, NIL]]];
END;


<<TransferOpnewProd>>

TransferOpnewProdProcs: PUBLIC TransferOpNodeProcs _
NEW[TransferOpNodeProcsBody _ [TransferOpnewProdfoo]];

BuildTransferOpnewProdNode: PUBLIC PROC[position: INT, length: INT]
RETURNS[TransferOpNode] =
BEGIN
RETURN[NEW[TransferOpNodeBody_[position, length, TransferOpnewProdProcs, NIL]]];
END;


<<TransferOpforkProd>>

TransferOpforkProdProcs: PUBLIC TransferOpNodeProcs _
NEW[TransferOpNodeProcsBody _ [TransferOpforkProdfoo]];

BuildTransferOpforkProdNode: PUBLIC PROC[position: INT, length: INT]
RETURNS[TransferOpNode] =
BEGIN
RETURN[NEW[TransferOpNodeBody_[position, length, TransferOpforkProdProcs, NIL]]];
END;

END..