SaffronAG8Impl.mesa
Copyright Ó 1987 by Xerox Corporation. All rights reserved.
Generated by BJackson.pa at April 27, 1987 10:51:23 pm PDT
using ThreeCasabaFour [1.1] of April 14, 1987 6:34:07 pm PDT
DIRECTORY
SaffronAG8Def,
SaffronGenericDef,
SaffronATDef;
SaffronAG8Impl: CEDAR PROGRAM IMPORTS SaffronAG8Def EXPORTS SaffronAG8Def=
BEGIN
OPEN SaffronAG8Def, SaffronGenericDef, SaffronATDef;
IdListoneProd
IdListoneProdProcs:
PUBLIC IdListNodeProcs ←
NEW[IdListNodeProcsBody ← [IdListoneProdfoo]];
BuildIdListoneProdNode:
PUBLIC
PROC[position:
INT, length:
INT, id: idNode]
RETURNS[IdListNode] =
BEGIN
data: IdListoneProdData ←
NEW[IdListoneProdDataBody←[
id]];
RETURN[NEW[IdListNodeBody←[position, length, IdListoneProdProcs, data]]];
END;
IdListmoreProd
IdListmoreProdProcs:
PUBLIC IdListNodeProcs ←
NEW[IdListNodeProcsBody ← [IdListmoreProdfoo]];
BuildIdListmoreProdNode:
PUBLIC
PROC[position:
INT, length:
INT, id: idNode,
IdList: IdListNode]
RETURNS[IdListNode] =
BEGIN
data: IdListmoreProdData ←
NEW[IdListmoreProdDataBody←[
id, IdList]];
RETURN[NEW[IdListNodeBody←[position, length, IdListmoreProdProcs, data]]];
END;
OrderedyesProd
OrderedyesProdProcs:
PUBLIC OrderedNodeProcs ←
NEW[OrderedNodeProcsBody ← [OrderedyesProdfoo]];
BuildOrderedyesProdNode:
PUBLIC
PROC[position:
INT, length:
INT]
RETURNS[OrderedNode] =
BEGIN
RETURN[NEW[OrderedNodeBody←[position, length, OrderedyesProdProcs, NIL]]];
END;
OrderednoProd
OrderednoProdProcs:
PUBLIC OrderedNodeProcs ←
NEW[OrderedNodeProcsBody ← [OrderednoProdfoo]];
BuildOrderednoProdNode:
PUBLIC
PROC[position:
INT, length:
INT]
RETURNS[OrderedNode] =
BEGIN
RETURN[NEW[OrderedNodeBody←[position, length, OrderednoProdProcs, NIL]]];
END;
BaseyesProd
BaseyesProdProcs:
PUBLIC BaseNodeProcs ←
NEW[BaseNodeProcsBody ← [BaseyesProdfoo]];
BuildBaseyesProdNode:
PUBLIC
PROC[position:
INT, length:
INT]
RETURNS[BaseNode] =
BEGIN
RETURN[NEW[BaseNodeBody←[position, length, BaseyesProdProcs, NIL]]];
END;
BasenoProd
BasenoProdProcs:
PUBLIC BaseNodeProcs ←
NEW[BaseNodeProcsBody ← [BasenoProdfoo]];
BuildBasenoProdNode:
PUBLIC
PROC[position:
INT, length:
INT]
RETURNS[BaseNode] =
BEGIN
RETURN[NEW[BaseNodeBody←[position, length, BasenoProdProcs, NIL]]];
END;
PointerTypeunspecifiedProd
PointerTypeunspecifiedProdProcs:
PUBLIC PointerTypeNodeProcs ←
NEW[PointerTypeNodeProcsBody ← [PointerTypeunspecifiedProdfoo]];
BuildPointerTypeunspecifiedProdNode:
PUBLIC
PROC[position:
INT, length:
INT,
OptInterval: OptIntervalNode]
RETURNS[PointerTypeNode] =
BEGIN
data: PointerTypeunspecifiedProdData ←
NEW[PointerTypeunspecifiedProdDataBody←[
OptInterval]];
RETURN[NEW[PointerTypeNodeBody←[position, length, PointerTypeunspecifiedProdProcs, data]]];
END;
PointerTypespecifiedProd
PointerTypespecifiedProdProcs:
PUBLIC PointerTypeNodeProcs ←
NEW[PointerTypeNodeProcsBody ← [PointerTypespecifiedProdfoo]];
BuildPointerTypespecifiedProdNode:
PUBLIC
PROC[position:
INT, length:
INT,
OptInterval: OptIntervalNode,
ReadOnly: ReadOnlyNode,
TypeExp: TypeExpNode]
RETURNS[PointerTypeNode] =
BEGIN
data: PointerTypespecifiedProdData ←
NEW[PointerTypespecifiedProdDataBody←[
OptInterval, ReadOnly, TypeExp]];
RETURN[NEW[PointerTypeNodeBody←[position, length, PointerTypespecifiedProdProcs, data]]];
END;
OptIntervalabsentProd
OptIntervalabsentProdProcs:
PUBLIC OptIntervalNodeProcs ←
NEW[OptIntervalNodeProcsBody ← [OptIntervalabsentProdfoo]];
BuildOptIntervalabsentProdNode:
PUBLIC
PROC[position:
INT, length:
INT]
RETURNS[OptIntervalNode] =
BEGIN
RETURN[NEW[OptIntervalNodeBody←[position, length, OptIntervalabsentProdProcs, NIL]]];
END;
OptIntervalpresentProd
OptIntervalpresentProdProcs:
PUBLIC OptIntervalNodeProcs ←
NEW[OptIntervalNodeProcsBody ← [OptIntervalpresentProdfoo]];
BuildOptIntervalpresentProdNode:
PUBLIC
PROC[position:
INT, length:
INT,
Interval: IntervalNode]
RETURNS[OptIntervalNode] =
BEGIN
data: OptIntervalpresentProdData ←
NEW[OptIntervalpresentProdDataBody←[
Interval]];
RETURN[NEW[OptIntervalNodeBody←[position, length, OptIntervalpresentProdProcs, data]]];
END;
ReadOnlyyesProd
ReadOnlyyesProdProcs:
PUBLIC ReadOnlyNodeProcs ←
NEW[ReadOnlyNodeProcsBody ← [ReadOnlyyesProdfoo]];
BuildReadOnlyyesProdNode:
PUBLIC
PROC[position:
INT, length:
INT]
RETURNS[ReadOnlyNode] =
BEGIN
RETURN[NEW[ReadOnlyNodeBody←[position, length, ReadOnlyyesProdProcs, NIL]]];
END;
ReadOnlynoProd
ReadOnlynoProdProcs:
PUBLIC ReadOnlyNodeProcs ←
NEW[ReadOnlyNodeProcsBody ← [ReadOnlynoProdfoo]];
BuildReadOnlynoProdNode:
PUBLIC
PROC[position:
INT, length:
INT]
RETURNS[ReadOnlyNode] =
BEGIN
RETURN[NEW[ReadOnlyNodeBody←[position, length, ReadOnlynoProdProcs, NIL]]];
END;
SafeemptyProd
SafeemptyProdProcs:
PUBLIC SafeNodeProcs ←
NEW[SafeNodeProcsBody ← [SafeemptyProdfoo]];
BuildSafeemptyProdNode:
PUBLIC
PROC[position:
INT, length:
INT]
RETURNS[SafeNode] =
BEGIN
RETURN[NEW[SafeNodeBody←[position, length, SafeemptyProdProcs, NIL]]];
END;
SafeyesProd
SafeyesProdProcs:
PUBLIC SafeNodeProcs ←
NEW[SafeNodeProcsBody ← [SafeyesProdfoo]];
BuildSafeyesProdNode:
PUBLIC
PROC[position:
INT, length:
INT]
RETURNS[SafeNode] =
BEGIN
RETURN[NEW[SafeNodeBody←[position, length, SafeyesProdProcs, NIL]]];
END;
SafenoProd
SafenoProdProcs:
PUBLIC SafeNodeProcs ←
NEW[SafeNodeProcsBody ← [SafenoProdfoo]];
BuildSafenoProdNode:
PUBLIC
PROC[position:
INT, length:
INT]
RETURNS[SafeNode] =
BEGIN
RETURN[NEW[SafeNodeBody←[position, length, SafenoProdProcs, NIL]]];
END;
TransferModeprocProd
TransferModeprocProdProcs:
PUBLIC TransferModeNodeProcs ←
NEW[TransferModeNodeProcsBody ← [TransferModeprocProdfoo]];
BuildTransferModeprocProdNode:
PUBLIC
PROC[position:
INT, length:
INT]
RETURNS[TransferModeNode] =
BEGIN
RETURN[NEW[TransferModeNodeBody←[position, length, TransferModeprocProdProcs, NIL]]];
END;
TransferModeportProd
TransferModeportProdProcs:
PUBLIC TransferModeNodeProcs ←
NEW[TransferModeNodeProcsBody ← [TransferModeportProdfoo]];
BuildTransferModeportProdNode:
PUBLIC
PROC[position:
INT, length:
INT]
RETURNS[TransferModeNode] =
BEGIN
RETURN[NEW[TransferModeNodeBody←[position, length, TransferModeportProdProcs, NIL]]];
END;
TransferModesignalProd
TransferModesignalProdProcs:
PUBLIC TransferModeNodeProcs ←
NEW[TransferModeNodeProcsBody ← [TransferModesignalProdfoo]];
BuildTransferModesignalProdNode:
PUBLIC
PROC[position:
INT, length:
INT]
RETURNS[TransferModeNode] =
BEGIN
RETURN[NEW[TransferModeNodeBody←[position, length, TransferModesignalProdProcs, NIL]]];
END;
TransferModeerrorProd
TransferModeerrorProdProcs:
PUBLIC TransferModeNodeProcs ←
NEW[TransferModeNodeProcsBody ← [TransferModeerrorProdfoo]];
BuildTransferModeerrorProdNode:
PUBLIC
PROC[position:
INT, length:
INT]
RETURNS[TransferModeNode] =
BEGIN
RETURN[NEW[TransferModeNodeBody←[position, length, TransferModeerrorProdProcs, NIL]]];
END;
TransferModeprocessProd
TransferModeprocessProdProcs:
PUBLIC TransferModeNodeProcs ←
NEW[TransferModeNodeProcsBody ← [TransferModeprocessProdfoo]];
BuildTransferModeprocessProdNode:
PUBLIC
PROC[position:
INT, length:
INT]
RETURNS[TransferModeNode] =
BEGIN
RETURN[NEW[TransferModeNodeBody←[position, length, TransferModeprocessProdProcs, NIL]]];
END;
TransferModeprogramProd
TransferModeprogramProdProcs:
PUBLIC TransferModeNodeProcs ←
NEW[TransferModeNodeProcsBody ← [TransferModeprogramProdfoo]];
BuildTransferModeprogramProdNode:
PUBLIC
PROC[position:
INT, length:
INT]
RETURNS[TransferModeNode] =
BEGIN
RETURN[NEW[TransferModeNodeBody←[position, length, TransferModeprogramProdProcs, NIL]]];
END;
ArgumentsProd
ArgumentsProdProcs:
PUBLIC ArgumentsNodeProcs ←
NEW[ArgumentsNodeProcsBody ← [ArgumentsProdfoo]];
BuildArgumentsProdNode:
PUBLIC
PROC[position:
INT, length:
INT,
ParameterListinput: ParameterListNode,
ParameterListoutput: ParameterListNode]
RETURNS[ArgumentsNode] =
BEGIN
data: ArgumentsProdData ←
NEW[ArgumentsProdDataBody←[
ParameterListinput, ParameterListoutput]];
RETURN[NEW[ArgumentsNodeBody←[position, length, ArgumentsProdProcs, data]]];
END;
ParameterListemptyProd
ParameterListemptyProdProcs:
PUBLIC ParameterListNodeProcs ←
NEW[ParameterListNodeProcsBody ← [ParameterListemptyProdfoo]];
BuildParameterListemptyProdNode:
PUBLIC
PROC[position:
INT, length:
INT]
RETURNS[ParameterListNode] =
BEGIN
RETURN[NEW[ParameterListNodeBody←[position, length, ParameterListemptyProdProcs, NIL]]];
END;
ParameterListanyProd
ParameterListanyProdProcs:
PUBLIC ParameterListNodeProcs ←
NEW[ParameterListNodeProcsBody ← [ParameterListanyProdfoo]];
BuildParameterListanyProdNode:
PUBLIC
PROC[position:
INT, length:
INT]
RETURNS[ParameterListNode] =
BEGIN
RETURN[NEW[ParameterListNodeBody←[position, length, ParameterListanyProdProcs, NIL]]];
END;
ParameterListpairlistProd
ParameterListpairlistProdProcs:
PUBLIC ParameterListNodeProcs ←
NEW[ParameterListNodeProcsBody ← [ParameterListpairlistProdfoo]];
BuildParameterListpairlistProdNode:
PUBLIC
PROC[position:
INT, length:
INT,
PairList: PairListNode]
RETURNS[ParameterListNode] =
BEGIN
data: ParameterListpairlistProdData ←
NEW[ParameterListpairlistProdDataBody←[
PairList]];
RETURN[NEW[ParameterListNodeBody←[position, length, ParameterListpairlistProdProcs, data]]];
END;
ParameterListtypelistProd
ParameterListtypelistProdProcs:
PUBLIC ParameterListNodeProcs ←
NEW[ParameterListNodeProcsBody ← [ParameterListtypelistProdfoo]];
BuildParameterListtypelistProdNode:
PUBLIC
PROC[position:
INT, length:
INT,
TypeList: TypeListNode]
RETURNS[ParameterListNode] =
BEGIN
data: ParameterListtypelistProdData ←
NEW[ParameterListtypelistProdDataBody←[
TypeList]];
RETURN[NEW[ParameterListNodeBody←[position, length, ParameterListtypelistProdProcs, data]]];
END;
UncountedyesProd
UncountedyesProdProcs:
PUBLIC UncountedNodeProcs ←
NEW[UncountedNodeProcsBody ← [UncountedyesProdfoo]];
BuildUncountedyesProdNode:
PUBLIC
PROC[position:
INT, length:
INT]
RETURNS[UncountedNode] =
BEGIN
RETURN[NEW[UncountedNodeBody←[position, length, UncountedyesProdProcs, NIL]]];
END;
UncountednoProd
UncountednoProdProcs:
PUBLIC UncountedNodeProcs ←
NEW[UncountedNodeProcsBody ← [UncountednoProdfoo]];
BuildUncountednoProdNode:
PUBLIC
PROC[position:
INT, length:
INT]
RETURNS[UncountedNode] =
BEGIN
RETURN[NEW[UncountedNodeBody←[position, length, UncountednoProdProcs, NIL]]];
END;
TypeApplyoneProd
TypeApplyoneProdProcs:
PUBLIC TypeApplyNodeProcs ←
NEW[TypeApplyNodeProcsBody ← [TypeApplyoneProdfoo]];
BuildTypeApplyoneProdNode:
PUBLIC
PROC[position:
INT, length:
INT,
TypeId: TypeIdNode,
Exp: ExpNode]
RETURNS[TypeApplyNode] =
BEGIN
data: TypeApplyoneProdData ←
NEW[TypeApplyoneProdDataBody←[
TypeId, Exp]];
RETURN[NEW[TypeApplyNodeBody←[position, length, TypeApplyoneProdProcs, data]]];
END;
TypeApplymorelengthsProd
TypeApplymorelengthsProdProcs:
PUBLIC TypeApplyNodeProcs ←
NEW[TypeApplyNodeProcsBody ← [TypeApplymorelengthsProdfoo]];
BuildTypeApplymorelengthsProdNode:
PUBLIC
PROC[position:
INT, length:
INT,
TypeApply: TypeApplyNode,
Exp: ExpNode]
RETURNS[TypeApplyNode] =
BEGIN
data: TypeApplymorelengthsProdData ←
NEW[TypeApplymorelengthsProdDataBody←[
TypeApply, Exp]];
RETURN[NEW[TypeApplyNodeBody←[position, length, TypeApplymorelengthsProdProcs, data]]];
END;
TypeApplymoreidsProd
TypeApplymoreidsProdProcs:
PUBLIC TypeApplyNodeProcs ←
NEW[TypeApplyNodeProcsBody ← [TypeApplymoreidsProdfoo]];
BuildTypeApplymoreidsProdNode:
PUBLIC
PROC[position:
INT, length:
INT,
TypeApply: TypeApplyNode, id: idNode]
RETURNS[TypeApplyNode] =
BEGIN
data: TypeApplymoreidsProdData ←
NEW[TypeApplymoreidsProdDataBody←[
TypeApply, id]];
RETURN[NEW[TypeApplyNodeBody←[position, length, TypeApplymoreidsProdProcs, data]]];
END;
END..