SaffronAG3Def.mesa
Copyright Ó 1987 by Xerox Corporation. All rights reserved.
Generated by BJackson.pa at April 27, 1987 10:51:15 pm PDT
using ThreeCasabaFour [1.1] of April 14, 1987 6:34:07 pm PDT
DIRECTORY
SaffronTreeBucketDef,
SaffronTreeDeclsDef,
SaffronATDef;
SaffronAG3Def: CEDAR DEFINITIONS =
BEGIN
OPEN SaffronTreeBucketDef, SaffronTreeDeclsDef, SaffronATDef;
NewplainProd
NewplainProdData: TYPE = REF NewplainProdDataBody;
NewplainProdDataBody: TYPE = RECORD[
];
NewplainProdProcs: NewNodeProcs;
BuildNewplainProdNode:
PROC[position:
INT, length:
INT]
RETURNS[NewNode];
NewplainProdfoo: fooProcType;
NewzonedProd
NewzonedProdData: TYPE = REF NewzonedProdDataBody;
NewzonedProdDataBody: TYPE = RECORD[
Exp: ExpNode];
NewzonedProdProcs: NewNodeProcs;
BuildNewzonedProdNode:
PROC[position:
INT, length:
INT,
Exp: ExpNode]
RETURNS[NewNode];
NewzonedProdfoo: fooProcType;
ConsplainProd
ConsplainProdData: TYPE = REF ConsplainProdDataBody;
ConsplainProdDataBody: TYPE = RECORD[
];
ConsplainProdProcs: ConsNodeProcs;
BuildConsplainProdNode:
PROC[position:
INT, length:
INT]
RETURNS[ConsNode];
ConsplainProdfoo: fooProcType;
ConszonedProd
ConszonedProdData: TYPE = REF ConszonedProdDataBody;
ConszonedProdDataBody: TYPE = RECORD[
Exp: ExpNode];
ConszonedProdProcs: ConsNodeProcs;
BuildConszonedProdNode:
PROC[position:
INT, length:
INT,
Exp: ExpNode]
RETURNS[ConsNode];
ConszonedProdfoo: fooProcType;
ListConsplainProd
ListConsplainProdData: TYPE = REF ListConsplainProdDataBody;
ListConsplainProdDataBody: TYPE = RECORD[
];
ListConsplainProdProcs: ListConsNodeProcs;
BuildListConsplainProdNode:
PROC[position:
INT, length:
INT]
RETURNS[ListConsNode];
ListConsplainProdfoo: fooProcType;
ListConszonedProd
ListConszonedProdData: TYPE = REF ListConszonedProdDataBody;
ListConszonedProdDataBody: TYPE = RECORD[
Exp: ExpNode];
ListConszonedProdProcs: ListConsNodeProcs;
BuildListConszonedProdNode:
PROC[position:
INT, length:
INT,
Exp: ExpNode]
RETURNS[ListConsNode];
ListConszonedProdfoo: fooProcType;
DescListexplicitlengthProd
DescListexplicitlengthProdData: TYPE = REF DescListexplicitlengthProdDataBody;
DescListexplicitlengthProdDataBody: TYPE = RECORD[
Expbase: ExpNode, Explength: ExpNode, OptType: OptTypeNode];
DescListexplicitlengthProdProcs: DescListNodeProcs;
BuildDescListexplicitlengthProdNode:
PROC[position:
INT, length:
INT,
Expbase: ExpNode,
Explength: ExpNode,
OptType: OptTypeNode]
RETURNS[DescListNode];
DescListexplicitlengthProdfoo: fooProcType;
DescListdefaultlengthProd
DescListdefaultlengthProdData: TYPE = REF DescListdefaultlengthProdDataBody;
DescListdefaultlengthProdDataBody: TYPE = RECORD[
Exp: ExpNode];
DescListdefaultlengthProdProcs: DescListNodeProcs;
BuildDescListdefaultlengthProdNode:
PROC[position:
INT, length:
INT,
Exp: ExpNode]
RETURNS[DescListNode];
DescListdefaultlengthProdfoo: fooProcType;
InitializationemptyProd
InitializationemptyProdData: TYPE = REF InitializationemptyProdDataBody;
InitializationemptyProdDataBody: TYPE = RECORD[
];
InitializationemptyProdProcs: InitializationNodeProcs;
BuildInitializationemptyProdNode:
PROC[position:
INT, length:
INT]
RETURNS[InitializationNode];
InitializationemptyProdfoo: fooProcType;
InitializationemptyProdMakeValue: MakeValueProcType;
InitializationbindingProd
InitializationbindingProdData: TYPE = REF InitializationbindingProdDataBody;
InitializationbindingProdDataBody: TYPE = RECORD[
InitialValue: InitialValueNode];
InitializationbindingProdProcs: InitializationNodeProcs;
BuildInitializationbindingProdNode:
PROC[position:
INT, length:
INT,
InitialValue: InitialValueNode]
RETURNS[InitializationNode];
InitializationbindingProdfoo: fooProcType;
InitializationbindingProdMakeValue: MakeValueProcType;
InitializationassignmentProd
InitializationassignmentProdData: TYPE = REF InitializationassignmentProdDataBody;
InitializationassignmentProdDataBody: TYPE = RECORD[
InitialValue: InitialValueNode];
InitializationassignmentProdProcs: InitializationNodeProcs;
BuildInitializationassignmentProdNode:
PROC[position:
INT, length:
INT,
InitialValue: InitialValueNode]
RETURNS[InitializationNode];
InitializationassignmentProdfoo: fooProcType;
InitializationassignmentProdMakeValue: MakeValueProcType;
InitialValuetrashProd
InitialValuetrashProdData: TYPE = REF InitialValuetrashProdDataBody;
InitialValuetrashProdDataBody: TYPE = RECORD[
];
InitialValuetrashProdProcs: InitialValueNodeProcs;
BuildInitialValuetrashProdNode:
PROC[position:
INT, length:
INT]
RETURNS[InitialValueNode];
InitialValuetrashProdfoo: fooProcType;
InitialValuetrashProdMakeValue: MakeValueProcType;
InitialValuecodeProd
InitialValuecodeProdData: TYPE = REF InitialValuecodeProdDataBody;
InitialValuecodeProdDataBody: TYPE = RECORD[
];
InitialValuecodeProdProcs: InitialValueNodeProcs;
BuildInitialValuecodeProdNode:
PROC[position:
INT, length:
INT]
RETURNS[InitialValueNode];
InitialValuecodeProdfoo: fooProcType;
InitialValuecodeProdMakeValue: MakeValueProcType;
InitialValueexpProd
InitialValueexpProdData: TYPE = REF InitialValueexpProdDataBody;
InitialValueexpProdDataBody: TYPE = RECORD[
Exp: ExpNode];
InitialValueexpProdProcs: InitialValueNodeProcs;
BuildInitialValueexpProdNode:
PROC[position:
INT, length:
INT,
Exp: ExpNode]
RETURNS[InitialValueNode];
InitialValueexpProdfoo: fooProcType;
InitialValueexpProdMakeValue: MakeValueProcType;
InitialValueblockProd
InitialValueblockProdData: TYPE = REF InitialValueblockProdDataBody;
InitialValueblockProdDataBody: TYPE = RECORD[
Checked: CheckedNode, Inline: InlineNode, Block: BlockNode];
InitialValueblockProdProcs: InitialValueNodeProcs;
BuildInitialValueblockProdNode:
PROC[position:
INT, length:
INT,
Checked: CheckedNode,
Inline: InlineNode,
Block: BlockNode]
RETURNS[InitialValueNode];
InitialValueblockProdfoo: fooProcType;
InitialValueblockProdMakeValue: MakeValueProcType;
InitialValuemachinecodeProd
InitialValuemachinecodeProdData: TYPE = REF InitialValuemachinecodeProdDataBody;
InitialValuemachinecodeProdDataBody: TYPE = RECORD[
Checked: CheckedNode, CodeList: CodeListNode];
InitialValuemachinecodeProdProcs: InitialValueNodeProcs;
BuildInitialValuemachinecodeProdNode:
PROC[position:
INT, length:
INT,
Checked: CheckedNode,
CodeList: CodeListNode]
RETURNS[InitialValueNode];
InitialValuemachinecodeProdfoo: fooProcType;
InitialValuemachinecodeProdMakeValue: MakeValueProcType;
CheckedemptyProd
CheckedemptyProdData: TYPE = REF CheckedemptyProdDataBody;
CheckedemptyProdDataBody: TYPE = RECORD[
];
CheckedemptyProdProcs: CheckedNodeProcs;
BuildCheckedemptyProdNode:
PROC[position:
INT, length:
INT]
RETURNS[CheckedNode];
CheckedemptyProdfoo: fooProcType;
CheckedcheckedProd
CheckedcheckedProdData: TYPE = REF CheckedcheckedProdDataBody;
CheckedcheckedProdDataBody: TYPE = RECORD[
];
CheckedcheckedProdProcs: CheckedNodeProcs;
BuildCheckedcheckedProdNode:
PROC[position:
INT, length:
INT]
RETURNS[CheckedNode];
CheckedcheckedProdfoo: fooProcType;
CheckedtrustedProd
CheckedtrustedProdData: TYPE = REF CheckedtrustedProdDataBody;
CheckedtrustedProdDataBody: TYPE = RECORD[
];
CheckedtrustedProdProcs: CheckedNodeProcs;
BuildCheckedtrustedProdNode:
PROC[position:
INT, length:
INT]
RETURNS[CheckedNode];
CheckedtrustedProdfoo: fooProcType;
CheckeduncheckedProd
CheckeduncheckedProdData: TYPE = REF CheckeduncheckedProdDataBody;
CheckeduncheckedProdDataBody: TYPE = RECORD[
];
CheckeduncheckedProdProcs: CheckedNodeProcs;
BuildCheckeduncheckedProdNode:
PROC[position:
INT, length:
INT]
RETURNS[CheckedNode];
CheckeduncheckedProdfoo: fooProcType;
InlineyesProd
InlineyesProdData: TYPE = REF InlineyesProdDataBody;
InlineyesProdDataBody: TYPE = RECORD[
];
InlineyesProdProcs: InlineNodeProcs;
BuildInlineyesProdNode:
PROC[position:
INT, length:
INT]
RETURNS[InlineNode];
InlineyesProdfoo: fooProcType;
InlinenoProd
InlinenoProdData: TYPE = REF InlinenoProdDataBody;
InlinenoProdDataBody: TYPE = RECORD[
];
InlinenoProdProcs: InlineNodeProcs;
BuildInlinenoProdNode:
PROC[position:
INT, length:
INT]
RETURNS[InlineNode];
InlinenoProdfoo: fooProcType;
CodeListoneProd
CodeListoneProdData: TYPE = REF CodeListoneProdDataBody;
CodeListoneProdDataBody: TYPE = RECORD[
OrderList: OrderListNode];
CodeListoneProdProcs: CodeListNodeProcs;
BuildCodeListoneProdNode:
PROC[position:
INT, length:
INT,
OrderList: OrderListNode]
RETURNS[CodeListNode];
CodeListoneProdfoo: fooProcType;
CodeListmoreProd
CodeListmoreProdData: TYPE = REF CodeListmoreProdDataBody;
CodeListmoreProdDataBody: TYPE = RECORD[
CodeList: CodeListNode, OrderList: OrderListNode];
CodeListmoreProdProcs: CodeListNodeProcs;
BuildCodeListmoreProdNode:
PROC[position:
INT, length:
INT,
CodeList: CodeListNode,
OrderList: OrderListNode]
RETURNS[CodeListNode];
CodeListmoreProdfoo: fooProcType;
TransferOpsignalProd
TransferOpsignalProdData: TYPE = REF TransferOpsignalProdDataBody;
TransferOpsignalProdDataBody: TYPE = RECORD[
];
TransferOpsignalProdProcs: TransferOpNodeProcs;
BuildTransferOpsignalProdNode:
PROC[position:
INT, length:
INT]
RETURNS[TransferOpNode];
TransferOpsignalProdfoo: fooProcType;
TransferOperrorProd
TransferOperrorProdData: TYPE = REF TransferOperrorProdDataBody;
TransferOperrorProdDataBody: TYPE = RECORD[
];
TransferOperrorProdProcs: TransferOpNodeProcs;
BuildTransferOperrorProdNode:
PROC[position:
INT, length:
INT]
RETURNS[TransferOpNode];
TransferOperrorProdfoo: fooProcType;
TransferOpstartProd
TransferOpstartProdData: TYPE = REF TransferOpstartProdDataBody;
TransferOpstartProdDataBody: TYPE = RECORD[
];
TransferOpstartProdProcs: TransferOpNodeProcs;
BuildTransferOpstartProdNode:
PROC[position:
INT, length:
INT]
RETURNS[TransferOpNode];
TransferOpstartProdfoo: fooProcType;
TransferOpjoinProd
TransferOpjoinProdData: TYPE = REF TransferOpjoinProdDataBody;
TransferOpjoinProdDataBody: TYPE = RECORD[
];
TransferOpjoinProdProcs: TransferOpNodeProcs;
BuildTransferOpjoinProdNode:
PROC[position:
INT, length:
INT]
RETURNS[TransferOpNode];
TransferOpjoinProdfoo: fooProcType;
TransferOpnewProd
TransferOpnewProdData: TYPE = REF TransferOpnewProdDataBody;
TransferOpnewProdDataBody: TYPE = RECORD[
];
TransferOpnewProdProcs: TransferOpNodeProcs;
BuildTransferOpnewProdNode:
PROC[position:
INT, length:
INT]
RETURNS[TransferOpNode];
TransferOpnewProdfoo: fooProcType;
TransferOpforkProd
TransferOpforkProdData: TYPE = REF TransferOpforkProdDataBody;
TransferOpforkProdDataBody: TYPE = RECORD[
];
TransferOpforkProdProcs: TransferOpNodeProcs;
BuildTransferOpforkProdNode:
PROC[position:
INT, length:
INT]
RETURNS[TransferOpNode];
TransferOpforkProdfoo: fooProcType;
END..