SaffronAG8Def.mesa
Copyright Ó 1987 by Xerox Corporation. All rights reserved.
Generated by BJackson.pa at April 27, 1987 10:51:24 pm PDT
using ThreeCasabaFour [1.1] of April 14, 1987 6:34:07 pm PDT
DIRECTORY
SaffronTreeBucketDef,
SaffronGenericDef,
SaffronATDef;
SaffronAG8Def: CEDAR DEFINITIONS =
BEGIN
OPEN SaffronTreeBucketDef, SaffronGenericDef, SaffronATDef;
IdListoneProd
IdListoneProdData: TYPE = REF IdListoneProdDataBody;
IdListoneProdDataBody: TYPE = RECORD[
id: idNode];
IdListoneProdProcs: IdListNodeProcs;
BuildIdListoneProdNode:
PROC[position:
INT, length:
INT, id: idNode]
RETURNS[IdListNode];
IdListoneProdfoo: fooProcType;
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];
IdListmoreProdfoo: fooProcType;
OrderedyesProd
OrderedyesProdData: TYPE = REF OrderedyesProdDataBody;
OrderedyesProdDataBody: TYPE = RECORD[
];
OrderedyesProdProcs: OrderedNodeProcs;
BuildOrderedyesProdNode:
PROC[position:
INT, length:
INT]
RETURNS[OrderedNode];
OrderedyesProdfoo: fooProcType;
OrderednoProd
OrderednoProdData: TYPE = REF OrderednoProdDataBody;
OrderednoProdDataBody: TYPE = RECORD[
];
OrderednoProdProcs: OrderedNodeProcs;
BuildOrderednoProdNode:
PROC[position:
INT, length:
INT]
RETURNS[OrderedNode];
OrderednoProdfoo: fooProcType;
BaseyesProd
BaseyesProdData: TYPE = REF BaseyesProdDataBody;
BaseyesProdDataBody: TYPE = RECORD[
];
BaseyesProdProcs: BaseNodeProcs;
BuildBaseyesProdNode:
PROC[position:
INT, length:
INT]
RETURNS[BaseNode];
BaseyesProdfoo: fooProcType;
BasenoProd
BasenoProdData: TYPE = REF BasenoProdDataBody;
BasenoProdDataBody: TYPE = RECORD[
];
BasenoProdProcs: BaseNodeProcs;
BuildBasenoProdNode:
PROC[position:
INT, length:
INT]
RETURNS[BaseNode];
BasenoProdfoo: fooProcType;
PointerTypeunspecifiedProd
PointerTypeunspecifiedProdData: TYPE = REF PointerTypeunspecifiedProdDataBody;
PointerTypeunspecifiedProdDataBody: TYPE = RECORD[
OptInterval: OptIntervalNode];
PointerTypeunspecifiedProdProcs: PointerTypeNodeProcs;
BuildPointerTypeunspecifiedProdNode:
PROC[position:
INT, length:
INT,
OptInterval: OptIntervalNode]
RETURNS[PointerTypeNode];
PointerTypeunspecifiedProdfoo: fooProcType;
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];
PointerTypespecifiedProdfoo: fooProcType;
OptIntervalabsentProd
OptIntervalabsentProdData: TYPE = REF OptIntervalabsentProdDataBody;
OptIntervalabsentProdDataBody: TYPE = RECORD[
];
OptIntervalabsentProdProcs: OptIntervalNodeProcs;
BuildOptIntervalabsentProdNode:
PROC[position:
INT, length:
INT]
RETURNS[OptIntervalNode];
OptIntervalabsentProdfoo: fooProcType;
OptIntervalpresentProd
OptIntervalpresentProdData: TYPE = REF OptIntervalpresentProdDataBody;
OptIntervalpresentProdDataBody: TYPE = RECORD[
Interval: IntervalNode];
OptIntervalpresentProdProcs: OptIntervalNodeProcs;
BuildOptIntervalpresentProdNode:
PROC[position:
INT, length:
INT,
Interval: IntervalNode]
RETURNS[OptIntervalNode];
OptIntervalpresentProdfoo: fooProcType;
ReadOnlyyesProd
ReadOnlyyesProdData: TYPE = REF ReadOnlyyesProdDataBody;
ReadOnlyyesProdDataBody: TYPE = RECORD[
];
ReadOnlyyesProdProcs: ReadOnlyNodeProcs;
BuildReadOnlyyesProdNode:
PROC[position:
INT, length:
INT]
RETURNS[ReadOnlyNode];
ReadOnlyyesProdfoo: fooProcType;
ReadOnlynoProd
ReadOnlynoProdData: TYPE = REF ReadOnlynoProdDataBody;
ReadOnlynoProdDataBody: TYPE = RECORD[
];
ReadOnlynoProdProcs: ReadOnlyNodeProcs;
BuildReadOnlynoProdNode:
PROC[position:
INT, length:
INT]
RETURNS[ReadOnlyNode];
ReadOnlynoProdfoo: fooProcType;
SafeemptyProd
SafeemptyProdData: TYPE = REF SafeemptyProdDataBody;
SafeemptyProdDataBody: TYPE = RECORD[
];
SafeemptyProdProcs: SafeNodeProcs;
BuildSafeemptyProdNode:
PROC[position:
INT, length:
INT]
RETURNS[SafeNode];
SafeemptyProdfoo: fooProcType;
SafeyesProd
SafeyesProdData: TYPE = REF SafeyesProdDataBody;
SafeyesProdDataBody: TYPE = RECORD[
];
SafeyesProdProcs: SafeNodeProcs;
BuildSafeyesProdNode:
PROC[position:
INT, length:
INT]
RETURNS[SafeNode];
SafeyesProdfoo: fooProcType;
SafenoProd
SafenoProdData: TYPE = REF SafenoProdDataBody;
SafenoProdDataBody: TYPE = RECORD[
];
SafenoProdProcs: SafeNodeProcs;
BuildSafenoProdNode:
PROC[position:
INT, length:
INT]
RETURNS[SafeNode];
SafenoProdfoo: fooProcType;
TransferModeprocProd
TransferModeprocProdData: TYPE = REF TransferModeprocProdDataBody;
TransferModeprocProdDataBody: TYPE = RECORD[
];
TransferModeprocProdProcs: TransferModeNodeProcs;
BuildTransferModeprocProdNode:
PROC[position:
INT, length:
INT]
RETURNS[TransferModeNode];
TransferModeprocProdfoo: fooProcType;
TransferModeportProd
TransferModeportProdData: TYPE = REF TransferModeportProdDataBody;
TransferModeportProdDataBody: TYPE = RECORD[
];
TransferModeportProdProcs: TransferModeNodeProcs;
BuildTransferModeportProdNode:
PROC[position:
INT, length:
INT]
RETURNS[TransferModeNode];
TransferModeportProdfoo: fooProcType;
TransferModesignalProd
TransferModesignalProdData: TYPE = REF TransferModesignalProdDataBody;
TransferModesignalProdDataBody: TYPE = RECORD[
];
TransferModesignalProdProcs: TransferModeNodeProcs;
BuildTransferModesignalProdNode:
PROC[position:
INT, length:
INT]
RETURNS[TransferModeNode];
TransferModesignalProdfoo: fooProcType;
TransferModeerrorProd
TransferModeerrorProdData: TYPE = REF TransferModeerrorProdDataBody;
TransferModeerrorProdDataBody: TYPE = RECORD[
];
TransferModeerrorProdProcs: TransferModeNodeProcs;
BuildTransferModeerrorProdNode:
PROC[position:
INT, length:
INT]
RETURNS[TransferModeNode];
TransferModeerrorProdfoo: fooProcType;
TransferModeprocessProd
TransferModeprocessProdData: TYPE = REF TransferModeprocessProdDataBody;
TransferModeprocessProdDataBody: TYPE = RECORD[
];
TransferModeprocessProdProcs: TransferModeNodeProcs;
BuildTransferModeprocessProdNode:
PROC[position:
INT, length:
INT]
RETURNS[TransferModeNode];
TransferModeprocessProdfoo: fooProcType;
TransferModeprogramProd
TransferModeprogramProdData: TYPE = REF TransferModeprogramProdDataBody;
TransferModeprogramProdDataBody: TYPE = RECORD[
];
TransferModeprogramProdProcs: TransferModeNodeProcs;
BuildTransferModeprogramProdNode:
PROC[position:
INT, length:
INT]
RETURNS[TransferModeNode];
TransferModeprogramProdfoo: fooProcType;
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];
ArgumentsProdfoo: fooProcType;
ParameterListemptyProd
ParameterListemptyProdData: TYPE = REF ParameterListemptyProdDataBody;
ParameterListemptyProdDataBody: TYPE = RECORD[
];
ParameterListemptyProdProcs: ParameterListNodeProcs;
BuildParameterListemptyProdNode:
PROC[position:
INT, length:
INT]
RETURNS[ParameterListNode];
ParameterListemptyProdfoo: fooProcType;
ParameterListanyProd
ParameterListanyProdData: TYPE = REF ParameterListanyProdDataBody;
ParameterListanyProdDataBody: TYPE = RECORD[
];
ParameterListanyProdProcs: ParameterListNodeProcs;
BuildParameterListanyProdNode:
PROC[position:
INT, length:
INT]
RETURNS[ParameterListNode];
ParameterListanyProdfoo: fooProcType;
ParameterListpairlistProd
ParameterListpairlistProdData: TYPE = REF ParameterListpairlistProdDataBody;
ParameterListpairlistProdDataBody: TYPE = RECORD[
PairList: PairListNode];
ParameterListpairlistProdProcs: ParameterListNodeProcs;
BuildParameterListpairlistProdNode:
PROC[position:
INT, length:
INT,
PairList: PairListNode]
RETURNS[ParameterListNode];
ParameterListpairlistProdfoo: fooProcType;
ParameterListtypelistProd
ParameterListtypelistProdData: TYPE = REF ParameterListtypelistProdDataBody;
ParameterListtypelistProdDataBody: TYPE = RECORD[
TypeList: TypeListNode];
ParameterListtypelistProdProcs: ParameterListNodeProcs;
BuildParameterListtypelistProdNode:
PROC[position:
INT, length:
INT,
TypeList: TypeListNode]
RETURNS[ParameterListNode];
ParameterListtypelistProdfoo: fooProcType;
UncountedyesProd
UncountedyesProdData: TYPE = REF UncountedyesProdDataBody;
UncountedyesProdDataBody: TYPE = RECORD[
];
UncountedyesProdProcs: UncountedNodeProcs;
BuildUncountedyesProdNode:
PROC[position:
INT, length:
INT]
RETURNS[UncountedNode];
UncountedyesProdfoo: fooProcType;
UncountednoProd
UncountednoProdData: TYPE = REF UncountednoProdDataBody;
UncountednoProdDataBody: TYPE = RECORD[
];
UncountednoProdProcs: UncountedNodeProcs;
BuildUncountednoProdNode:
PROC[position:
INT, length:
INT]
RETURNS[UncountedNode];
UncountednoProdfoo: fooProcType;
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];
TypeApplyoneProdfoo: fooProcType;
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];
TypeApplymorelengthsProdfoo: fooProcType;
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];
TypeApplymoreidsProdfoo: fooProcType;
END..