SaffronAG2Impl.mesa
Copyright Ó 1987 by Xerox Corporation. All rights reserved.
Generated by BJackson.pa at April 27, 1987 10:51:11 pm PDT
using ThreeCasabaFour [1.1] of April 14, 1987 6:34:07 pm PDT
DIRECTORY
SaffronAG2Def,
SaffronGenericDef,
SaffronATDef;
SaffronAG2Impl: CEDAR PROGRAM IMPORTS SaffronAG2Def EXPORTS SaffronAG2Def=
BEGIN
OPEN SaffronAG2Def, SaffronGenericDef, SaffronATDef;
RelopeqProd
RelopeqProdProcs:
PUBLIC RelopNodeProcs ←
NEW[RelopNodeProcsBody ← [RelopeqProdfoo]];
BuildRelopeqProdNode:
PUBLIC
PROC[position:
INT, length:
INT]
RETURNS[RelopNode] =
BEGIN
RETURN[NEW[RelopNodeBody←[position, length, RelopeqProdProcs, NIL]]];
END;
RelopneProd
RelopneProdProcs:
PUBLIC RelopNodeProcs ←
NEW[RelopNodeProcsBody ← [RelopneProdfoo]];
BuildRelopneProdNode:
PUBLIC
PROC[position:
INT, length:
INT]
RETURNS[RelopNode] =
BEGIN
RETURN[NEW[RelopNodeBody←[position, length, RelopneProdProcs, NIL]]];
END;
RelopltProd
RelopltProdProcs:
PUBLIC RelopNodeProcs ←
NEW[RelopNodeProcsBody ← [RelopltProdfoo]];
BuildRelopltProdNode:
PUBLIC
PROC[position:
INT, length:
INT]
RETURNS[RelopNode] =
BEGIN
RETURN[NEW[RelopNodeBody←[position, length, RelopltProdProcs, NIL]]];
END;
RelopleProd
RelopleProdProcs:
PUBLIC RelopNodeProcs ←
NEW[RelopNodeProcsBody ← [RelopleProdfoo]];
BuildRelopleProdNode:
PUBLIC
PROC[position:
INT, length:
INT]
RETURNS[RelopNode] =
BEGIN
RETURN[NEW[RelopNodeBody←[position, length, RelopleProdProcs, NIL]]];
END;
RelopgtProd
RelopgtProdProcs:
PUBLIC RelopNodeProcs ←
NEW[RelopNodeProcsBody ← [RelopgtProdfoo]];
BuildRelopgtProdNode:
PUBLIC
PROC[position:
INT, length:
INT]
RETURNS[RelopNode] =
BEGIN
RETURN[NEW[RelopNodeBody←[position, length, RelopgtProdProcs, NIL]]];
END;
RelopgeProd
RelopgeProdProcs:
PUBLIC RelopNodeProcs ←
NEW[RelopNodeProcsBody ← [RelopgeProdfoo]];
BuildRelopgeProdNode:
PUBLIC
PROC[position:
INT, length:
INT]
RETURNS[RelopNode] =
BEGIN
RETURN[NEW[RelopNodeBody←[position, length, RelopgeProdProcs, NIL]]];
END;
RangetypeidProd
RangetypeidProdProcs:
PUBLIC RangeNodeProcs ←
NEW[RangeNodeProcsBody ← [RangetypeidProdfoo]];
BuildRangetypeidProdNode:
PUBLIC
PROC[position:
INT, length:
INT,
TypeId: TypeIdNode]
RETURNS[RangeNode] =
BEGIN
data: RangetypeidProdData ←
NEW[RangetypeidProdDataBody←[
TypeId]];
RETURN[NEW[RangeNodeBody←[position, length, RangetypeidProdProcs, data]]];
END;
RangesubrangeProd
RangesubrangeProdProcs:
PUBLIC RangeNodeProcs ←
NEW[RangeNodeProcsBody ← [RangesubrangeProdfoo]];
BuildRangesubrangeProdNode:
PUBLIC
PROC[position:
INT, length:
INT,
Subrange: SubrangeNode]
RETURNS[RangeNode] =
BEGIN
data: RangesubrangeProdData ←
NEW[RangesubrangeProdDataBody←[
Subrange]];
RETURN[NEW[RangeNodeBody←[position, length, RangesubrangeProdProcs, data]]];
END;
CatchProd
CatchProdProcs:
PUBLIC CatchNodeProcs ←
NEW[CatchNodeProcsBody ← [CatchProdfoo]];
BuildCatchProdNode:
PUBLIC
PROC[position:
INT, length:
INT,
CatchCaseList: CatchCaseListNode,
CatchAny: CatchAnyNode]
RETURNS[CatchNode] =
BEGIN
data: CatchProdData ←
NEW[CatchProdDataBody←[
CatchCaseList, CatchAny]];
RETURN[NEW[CatchNodeBody←[position, length, CatchProdProcs, data]]];
END;
CatchAnyabsentProd
CatchAnyabsentProdProcs:
PUBLIC CatchAnyNodeProcs ←
NEW[CatchAnyNodeProcsBody ← [CatchAnyabsentProdfoo]];
BuildCatchAnyabsentProdNode:
PUBLIC
PROC[position:
INT, length:
INT]
RETURNS[CatchAnyNode] =
BEGIN
RETURN[NEW[CatchAnyNodeBody←[position, length, CatchAnyabsentProdProcs, NIL]]];
END;
CatchAnypresentProd
CatchAnypresentProdProcs:
PUBLIC CatchAnyNodeProcs ←
NEW[CatchAnyNodeProcsBody ← [CatchAnypresentProdfoo]];
BuildCatchAnypresentProdNode:
PUBLIC
PROC[position:
INT, length:
INT,
Statement: StatementNode]
RETURNS[CatchAnyNode] =
BEGIN
data: CatchAnypresentProdData ←
NEW[CatchAnypresentProdDataBody←[
Statement]];
RETURN[NEW[CatchAnyNodeBody←[position, length, CatchAnypresentProdProcs, data]]];
END;
CatchCaseListemptyProd
CatchCaseListemptyProdProcs:
PUBLIC CatchCaseListNodeProcs ←
NEW[CatchCaseListNodeProcsBody ← [CatchCaseListemptyProdfoo]];
BuildCatchCaseListemptyProdNode:
PUBLIC
PROC[position:
INT, length:
INT]
RETURNS[CatchCaseListNode] =
BEGIN
RETURN[NEW[CatchCaseListNodeBody←[position, length, CatchCaseListemptyProdProcs, NIL]]];
END;
CatchCaseListmoreProd
CatchCaseListmoreProdProcs:
PUBLIC CatchCaseListNodeProcs ←
NEW[CatchCaseListNodeProcsBody ← [CatchCaseListmoreProdfoo]];
BuildCatchCaseListmoreProdNode:
PUBLIC
PROC[position:
INT, length:
INT,
CatchCaseList: CatchCaseListNode,
CatchCase: CatchCaseNode]
RETURNS[CatchCaseListNode] =
BEGIN
data: CatchCaseListmoreProdData ←
NEW[CatchCaseListmoreProdDataBody←[
CatchCaseList, CatchCase]];
RETURN[NEW[CatchCaseListNodeBody←[position, length, CatchCaseListmoreProdProcs, data]]];
END;
CatchCaseProd
CatchCaseProdProcs:
PUBLIC CatchCaseNodeProcs ←
NEW[CatchCaseNodeProcsBody ← [CatchCaseProdfoo]];
BuildCatchCaseProdNode:
PUBLIC
PROC[position:
INT, length:
INT,
SignalList: SignalListNode,
Statement: StatementNode]
RETURNS[CatchCaseNode] =
BEGIN
data: CatchCaseProdData ←
NEW[CatchCaseProdDataBody←[
SignalList, Statement]];
RETURN[NEW[CatchCaseNodeBody←[position, length, CatchCaseProdProcs, data]]];
END;
SignalListoneProd
SignalListoneProdProcs:
PUBLIC SignalListNodeProcs ←
NEW[SignalListNodeProcsBody ← [SignalListoneProdfoo]];
BuildSignalListoneProdNode:
PUBLIC
PROC[position:
INT, length:
INT,
Exp: ExpNode]
RETURNS[SignalListNode] =
BEGIN
data: SignalListoneProdData ←
NEW[SignalListoneProdDataBody←[
Exp]];
RETURN[NEW[SignalListNodeBody←[position, length, SignalListoneProdProcs, data]]];
END;
SignalListmoreProd
SignalListmoreProdProcs:
PUBLIC SignalListNodeProcs ←
NEW[SignalListNodeProcsBody ← [SignalListmoreProdfoo]];
BuildSignalListmoreProdNode:
PUBLIC
PROC[position:
INT, length:
INT,
SignalList: SignalListNode,
Exp: ExpNode]
RETURNS[SignalListNode] =
BEGIN
data: SignalListmoreProdData ←
NEW[SignalListmoreProdDataBody←[
SignalList, Exp]];
RETURN[NEW[SignalListNodeBody←[position, length, SignalListmoreProdProcs, data]]];
END;
ExpListkeylistProd
ExpListkeylistProdProcs:
PUBLIC ExpListNodeProcs ←
NEW[ExpListNodeProcsBody ← [ExpListkeylistProdfoo]];
BuildExpListkeylistProdNode:
PUBLIC
PROC[position:
INT, length:
INT,
KeyList: KeyListNode]
RETURNS[ExpListNode] =
BEGIN
data: ExpListkeylistProdData ←
NEW[ExpListkeylistProdDataBody←[
KeyList]];
RETURN[NEW[ExpListNodeBody←[position, length, ExpListkeylistProdProcs, data]]];
END;
ExpListorderlistProd
ExpListorderlistProdProcs:
PUBLIC ExpListNodeProcs ←
NEW[ExpListNodeProcsBody ← [ExpListorderlistProdfoo]];
BuildExpListorderlistProdNode:
PUBLIC
PROC[position:
INT, length:
INT,
OrderList: OrderListNode]
RETURNS[ExpListNode] =
BEGIN
data: ExpListorderlistProdData ←
NEW[ExpListorderlistProdDataBody←[
OrderList]];
RETURN[NEW[ExpListNodeBody←[position, length, ExpListorderlistProdProcs, data]]];
END;
KeyListoneProd
KeyListoneProdProcs:
PUBLIC KeyListNodeProcs ←
NEW[KeyListNodeProcsBody ← [KeyListoneProdfoo]];
BuildKeyListoneProdNode:
PUBLIC
PROC[position:
INT, length:
INT,
KeyItem: KeyItemNode]
RETURNS[KeyListNode] =
BEGIN
data: KeyListoneProdData ←
NEW[KeyListoneProdDataBody←[
KeyItem]];
RETURN[NEW[KeyListNodeBody←[position, length, KeyListoneProdProcs, data]]];
END;
KeyListmoreProd
KeyListmoreProdProcs:
PUBLIC KeyListNodeProcs ←
NEW[KeyListNodeProcsBody ← [KeyListmoreProdfoo]];
BuildKeyListmoreProdNode:
PUBLIC
PROC[position:
INT, length:
INT,
KeyList: KeyListNode,
KeyItem: KeyItemNode]
RETURNS[KeyListNode] =
BEGIN
data: KeyListmoreProdData ←
NEW[KeyListmoreProdDataBody←[
KeyList, KeyItem]];
RETURN[NEW[KeyListNodeBody←[position, length, KeyListmoreProdProcs, data]]];
END;
KeyItemProd
KeyItemProdProcs:
PUBLIC KeyItemNodeProcs ←
NEW[KeyItemNodeProcsBody ← [KeyItemProdfoo]];
BuildKeyItemProdNode:
PUBLIC
PROC[position:
INT, length:
INT, id: idNode,
OptExp: OptExpNode]
RETURNS[KeyItemNode] =
BEGIN
data: KeyItemProdData ←
NEW[KeyItemProdDataBody←[
id, OptExp]];
RETURN[NEW[KeyItemNodeBody←[position, length, KeyItemProdProcs, data]]];
END;
OrderListoneProd
OrderListoneProdProcs:
PUBLIC OrderListNodeProcs ←
NEW[OrderListNodeProcsBody ← [OrderListoneProdfoo]];
BuildOrderListoneProdNode:
PUBLIC
PROC[position:
INT, length:
INT,
OptExp: OptExpNode]
RETURNS[OrderListNode] =
BEGIN
data: OrderListoneProdData ←
NEW[OrderListoneProdDataBody←[
OptExp]];
RETURN[NEW[OrderListNodeBody←[position, length, OrderListoneProdProcs, data]]];
END;
OrderListmoreProd
OrderListmoreProdProcs:
PUBLIC OrderListNodeProcs ←
NEW[OrderListNodeProcsBody ← [OrderListmoreProdfoo]];
BuildOrderListmoreProdNode:
PUBLIC
PROC[position:
INT, length:
INT,
OrderList: OrderListNode,
OptExp: OptExpNode]
RETURNS[OrderListNode] =
BEGIN
data: OrderListmoreProdData ←
NEW[OrderListmoreProdDataBody←[
OrderList, OptExp]];
RETURN[NEW[OrderListNodeBody←[position, length, OrderListmoreProdProcs, data]]];
END;
OptExpemptyProd
OptExpemptyProdProcs:
PUBLIC OptExpNodeProcs ←
NEW[OptExpNodeProcsBody ← [OptExpemptyProdfoo]];
BuildOptExpemptyProdNode:
PUBLIC
PROC[position:
INT, length:
INT]
RETURNS[OptExpNode] =
BEGIN
RETURN[NEW[OptExpNodeBody←[position, length, OptExpemptyProdProcs, NIL]]];
END;
OptExptrashProd
OptExptrashProdProcs:
PUBLIC OptExpNodeProcs ←
NEW[OptExpNodeProcsBody ← [OptExptrashProdfoo]];
BuildOptExptrashProdNode:
PUBLIC
PROC[position:
INT, length:
INT]
RETURNS[OptExpNode] =
BEGIN
RETURN[NEW[OptExpNodeBody←[position, length, OptExptrashProdProcs, NIL]]];
END;
OptExpexpProd
OptExpexpProdProcs:
PUBLIC OptExpNodeProcs ←
NEW[OptExpNodeProcsBody ← [OptExpexpProdfoo]];
BuildOptExpexpProdNode:
PUBLIC
PROC[position:
INT, length:
INT,
Exp: ExpNode]
RETURNS[OptExpNode] =
BEGIN
data: OptExpexpProdData ←
NEW[OptExpexpProdDataBody←[
Exp]];
RETURN[NEW[OptExpNodeBody←[position, length, OptExpexpProdProcs, data]]];
END;
OptTypeabsentProd
OptTypeabsentProdProcs:
PUBLIC OptTypeNodeProcs ←
NEW[OptTypeNodeProcsBody ← [OptTypeabsentProdfoo]];
BuildOptTypeabsentProdNode:
PUBLIC
PROC[position:
INT, length:
INT]
RETURNS[OptTypeNode] =
BEGIN
RETURN[NEW[OptTypeNodeBody←[position, length, OptTypeabsentProdProcs, NIL]]];
END;
OptTypepresentProd
OptTypepresentProdProcs:
PUBLIC OptTypeNodeProcs ←
NEW[OptTypeNodeProcsBody ← [OptTypepresentProdfoo]];
BuildOptTypepresentProdNode:
PUBLIC
PROC[position:
INT, length:
INT,
TypeExp: TypeExpNode]
RETURNS[OptTypeNode] =
BEGIN
data: OptTypepresentProdData ←
NEW[OptTypepresentProdDataBody←[
TypeExp]];
RETURN[NEW[OptTypeNodeBody←[position, length, OptTypepresentProdProcs, data]]];
END;
QualifierprefixopProd
QualifierprefixopProdProcs:
PUBLIC QualifierNodeProcs ←
NEW[QualifierNodeProcsBody ← [QualifierprefixopProdfoo]];
BuildQualifierprefixopProdNode:
PUBLIC
PROC[position:
INT, length:
INT,
PrefixOp: PrefixOpNode]
RETURNS[QualifierNode] =
BEGIN
data: QualifierprefixopProdData ←
NEW[QualifierprefixopProdDataBody←[
PrefixOp]];
RETURN[NEW[QualifierNodeBody←[position, length, QualifierprefixopProdProcs, data]]];
END;
QualifiertypeopProd
QualifiertypeopProdProcs:
PUBLIC QualifierNodeProcs ←
NEW[QualifierNodeProcsBody ← [QualifiertypeopProdfoo]];
BuildQualifiertypeopProdNode:
PUBLIC
PROC[position:
INT, length:
INT,
TypeOp: TypeOpNode]
RETURNS[QualifierNode] =
BEGIN
data: QualifiertypeopProdData ←
NEW[QualifiertypeopProdDataBody←[
TypeOp]];
RETURN[NEW[QualifierNodeBody←[position, length, QualifiertypeopProdProcs, data]]];
END;
QualifiersizeProd
QualifiersizeProdProcs:
PUBLIC QualifierNodeProcs ←
NEW[QualifierNodeProcsBody ← [QualifiersizeProdfoo]];
BuildQualifiersizeProdNode:
PUBLIC
PROC[position:
INT, length:
INT]
RETURNS[QualifierNode] =
BEGIN
RETURN[NEW[QualifierNodeBody←[position, length, QualifiersizeProdProcs, NIL]]];
END;
QualifierapplyProd
QualifierapplyProdProcs:
PUBLIC QualifierNodeProcs ←
NEW[QualifierNodeProcsBody ← [QualifierapplyProdfoo]];
BuildQualifierapplyProdNode:
PUBLIC
PROC[position:
INT, length:
INT,
ExpList: ExpListNode,
Catch: CatchNode]
RETURNS[QualifierNode] =
BEGIN
data: QualifierapplyProdData ←
NEW[QualifierapplyProdDataBody←[
ExpList, Catch]];
RETURN[NEW[QualifierNodeBody←[position, length, QualifierapplyProdProcs, data]]];
END;
QualifierselectProd
QualifierselectProdProcs:
PUBLIC QualifierNodeProcs ←
NEW[QualifierNodeProcsBody ← [QualifierselectProdfoo]];
BuildQualifierselectProdNode:
PUBLIC
PROC[position:
INT, length:
INT, id: idNode]
RETURNS[QualifierNode] =
BEGIN
data: QualifierselectProdData ←
NEW[QualifierselectProdDataBody←[
id]];
RETURN[NEW[QualifierNodeBody←[position, length, QualifierselectProdProcs, data]]];
END;
QualifierindirectProd
QualifierindirectProdProcs:
PUBLIC QualifierNodeProcs ←
NEW[QualifierNodeProcsBody ← [QualifierindirectProdfoo]];
BuildQualifierindirectProdNode:
PUBLIC
PROC[position:
INT, length:
INT]
RETURNS[QualifierNode] =
BEGIN
RETURN[NEW[QualifierNodeBody←[position, length, QualifierindirectProdProcs, NIL]]];
END;
PrefixOplongProd
PrefixOplongProdProcs:
PUBLIC PrefixOpNodeProcs ←
NEW[PrefixOpNodeProcsBody ← [PrefixOplongProdfoo]];
BuildPrefixOplongProdNode:
PUBLIC
PROC[position:
INT, length:
INT]
RETURNS[PrefixOpNode] =
BEGIN
RETURN[NEW[PrefixOpNodeBody←[position, length, PrefixOplongProdProcs, NIL]]];
END;
PrefixOpabsProd
PrefixOpabsProdProcs:
PUBLIC PrefixOpNodeProcs ←
NEW[PrefixOpNodeProcsBody ← [PrefixOpabsProdfoo]];
BuildPrefixOpabsProdNode:
PUBLIC
PROC[position:
INT, length:
INT]
RETURNS[PrefixOpNode] =
BEGIN
RETURN[NEW[PrefixOpNodeBody←[position, length, PrefixOpabsProdProcs, NIL]]];
END;
PrefixOppredProd
PrefixOppredProdProcs:
PUBLIC PrefixOpNodeProcs ←
NEW[PrefixOpNodeProcsBody ← [PrefixOppredProdfoo]];
BuildPrefixOppredProdNode:
PUBLIC
PROC[position:
INT, length:
INT]
RETURNS[PrefixOpNode] =
BEGIN
RETURN[NEW[PrefixOpNodeBody←[position, length, PrefixOppredProdProcs, NIL]]];
END;
PrefixOpsuccProd
PrefixOpsuccProdProcs:
PUBLIC PrefixOpNodeProcs ←
NEW[PrefixOpNodeProcsBody ← [PrefixOpsuccProdfoo]];
BuildPrefixOpsuccProdNode:
PUBLIC
PROC[position:
INT, length:
INT]
RETURNS[PrefixOpNode] =
BEGIN
RETURN[NEW[PrefixOpNodeBody←[position, length, PrefixOpsuccProdProcs, NIL]]];
END;
PrefixOpordProd
PrefixOpordProdProcs:
PUBLIC PrefixOpNodeProcs ←
NEW[PrefixOpNodeProcsBody ← [PrefixOpordProdfoo]];
BuildPrefixOpordProdNode:
PUBLIC
PROC[position:
INT, length:
INT]
RETURNS[PrefixOpNode] =
BEGIN
RETURN[NEW[PrefixOpNodeBody←[position, length, PrefixOpordProdProcs, NIL]]];
END;
PrefixOpminProd
PrefixOpminProdProcs:
PUBLIC PrefixOpNodeProcs ←
NEW[PrefixOpNodeProcsBody ← [PrefixOpminProdfoo]];
BuildPrefixOpminProdNode:
PUBLIC
PROC[position:
INT, length:
INT]
RETURNS[PrefixOpNode] =
BEGIN
RETURN[NEW[PrefixOpNodeBody←[position, length, PrefixOpminProdProcs, NIL]]];
END;
PrefixOpmaxProd
PrefixOpmaxProdProcs:
PUBLIC PrefixOpNodeProcs ←
NEW[PrefixOpNodeProcsBody ← [PrefixOpmaxProdfoo]];
BuildPrefixOpmaxProdNode:
PUBLIC
PROC[position:
INT, length:
INT]
RETURNS[PrefixOpNode] =
BEGIN
RETURN[NEW[PrefixOpNodeBody←[position, length, PrefixOpmaxProdProcs, NIL]]];
END;
PrefixOpbaseProd
PrefixOpbaseProdProcs:
PUBLIC PrefixOpNodeProcs ←
NEW[PrefixOpNodeProcsBody ← [PrefixOpbaseProdfoo]];
BuildPrefixOpbaseProdNode:
PUBLIC
PROC[position:
INT, length:
INT]
RETURNS[PrefixOpNode] =
BEGIN
RETURN[NEW[PrefixOpNodeBody←[position, length, PrefixOpbaseProdProcs, NIL]]];
END;
PrefixOplengthProd
PrefixOplengthProdProcs:
PUBLIC PrefixOpNodeProcs ←
NEW[PrefixOpNodeProcsBody ← [PrefixOplengthProdfoo]];
BuildPrefixOplengthProdNode:
PUBLIC
PROC[position:
INT, length:
INT]
RETURNS[PrefixOpNode] =
BEGIN
RETURN[NEW[PrefixOpNodeBody←[position, length, PrefixOplengthProdProcs, NIL]]];
END;
TypeOpcodeProd
TypeOpcodeProdProcs:
PUBLIC TypeOpNodeProcs ←
NEW[TypeOpNodeProcsBody ← [TypeOpcodeProdfoo]];
BuildTypeOpcodeProdNode:
PUBLIC
PROC[position:
INT, length:
INT]
RETURNS[TypeOpNode] =
BEGIN
RETURN[NEW[TypeOpNodeBody←[position, length, TypeOpcodeProdProcs, NIL]]];
END;
TypeOpfirstProd
TypeOpfirstProdProcs:
PUBLIC TypeOpNodeProcs ←
NEW[TypeOpNodeProcsBody ← [TypeOpfirstProdfoo]];
BuildTypeOpfirstProdNode:
PUBLIC
PROC[position:
INT, length:
INT]
RETURNS[TypeOpNode] =
BEGIN
RETURN[NEW[TypeOpNodeBody←[position, length, TypeOpfirstProdProcs, NIL]]];
END;
TypeOplastProd
TypeOplastProdProcs:
PUBLIC TypeOpNodeProcs ←
NEW[TypeOpNodeProcsBody ← [TypeOplastProdfoo]];
BuildTypeOplastProdNode:
PUBLIC
PROC[position:
INT, length:
INT]
RETURNS[TypeOpNode] =
BEGIN
RETURN[NEW[TypeOpNodeBody←[position, length, TypeOplastProdProcs, NIL]]];
END;
TypeOpnilProd
TypeOpnilProdProcs:
PUBLIC TypeOpNodeProcs ←
NEW[TypeOpNodeProcsBody ← [TypeOpnilProdfoo]];
BuildTypeOpnilProdNode:
PUBLIC
PROC[position:
INT, length:
INT]
RETURNS[TypeOpNode] =
BEGIN
RETURN[NEW[TypeOpNodeBody←[position, length, TypeOpnilProdProcs, NIL]]];
END;
END..