DIRECTORY
SaffronTreeBucketDef,
SaffronGenericDef,
SaffronATDef;

SaffronAG8Def: CEDAR DEFINITIONS = 
BEGIN
OPEN SaffronTreeBucketDef, SaffronGenericDef, SaffronATDef;


IdListoneProdData: TYPE = REF IdListoneProdDataBody;
IdListoneProdDataBody: TYPE = RECORD[
id: idNode];

IdListoneProdProcs: IdListNodeProcs;

BuildIdListoneProdNode: PROC[position: INT, length: INT, id: idNode]
RETURNS[IdListNode];

IdListoneProdfoo: fooProcType;


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;


OrderedyesProdData: TYPE = REF OrderedyesProdDataBody;
OrderedyesProdDataBody: TYPE = RECORD[
];

OrderedyesProdProcs: OrderedNodeProcs;

BuildOrderedyesProdNode: PROC[position: INT, length: INT]
RETURNS[OrderedNode];

OrderedyesProdfoo: fooProcType;


OrderednoProdData: TYPE = REF OrderednoProdDataBody;
OrderednoProdDataBody: TYPE = RECORD[
];

OrderednoProdProcs: OrderedNodeProcs;

BuildOrderednoProdNode: PROC[position: INT, length: INT]
RETURNS[OrderedNode];

OrderednoProdfoo: fooProcType;


BaseyesProdData: TYPE = REF BaseyesProdDataBody;
BaseyesProdDataBody: TYPE = RECORD[
];

BaseyesProdProcs: BaseNodeProcs;

BuildBaseyesProdNode: PROC[position: INT, length: INT]
RETURNS[BaseNode];

BaseyesProdfoo: fooProcType;


BasenoProdData: TYPE = REF BasenoProdDataBody;
BasenoProdDataBody: TYPE = RECORD[
];

BasenoProdProcs: BaseNodeProcs;

BuildBasenoProdNode: PROC[position: INT, length: INT]
RETURNS[BaseNode];

BasenoProdfoo: fooProcType;


PointerTypeunspecifiedProdData: TYPE = REF PointerTypeunspecifiedProdDataBody;
PointerTypeunspecifiedProdDataBody: TYPE = RECORD[
OptInterval: OptIntervalNode];

PointerTypeunspecifiedProdProcs: PointerTypeNodeProcs;

BuildPointerTypeunspecifiedProdNode: PROC[position: INT, length: INT, OptInterval: OptIntervalNode]
RETURNS[PointerTypeNode];

PointerTypeunspecifiedProdfoo: fooProcType;


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;


OptIntervalabsentProdData: TYPE = REF OptIntervalabsentProdDataBody;
OptIntervalabsentProdDataBody: TYPE = RECORD[
];

OptIntervalabsentProdProcs: OptIntervalNodeProcs;

BuildOptIntervalabsentProdNode: PROC[position: INT, length: INT]
RETURNS[OptIntervalNode];

OptIntervalabsentProdfoo: fooProcType;


OptIntervalpresentProdData: TYPE = REF OptIntervalpresentProdDataBody;
OptIntervalpresentProdDataBody: TYPE = RECORD[
Interval: IntervalNode];

OptIntervalpresentProdProcs: OptIntervalNodeProcs;

BuildOptIntervalpresentProdNode: PROC[position: INT, length: INT, Interval: IntervalNode]
RETURNS[OptIntervalNode];

OptIntervalpresentProdfoo: fooProcType;


ReadOnlyyesProdData: TYPE = REF ReadOnlyyesProdDataBody;
ReadOnlyyesProdDataBody: TYPE = RECORD[
];

ReadOnlyyesProdProcs: ReadOnlyNodeProcs;

BuildReadOnlyyesProdNode: PROC[position: INT, length: INT]
RETURNS[ReadOnlyNode];

ReadOnlyyesProdfoo: fooProcType;


ReadOnlynoProdData: TYPE = REF ReadOnlynoProdDataBody;
ReadOnlynoProdDataBody: TYPE = RECORD[
];

ReadOnlynoProdProcs: ReadOnlyNodeProcs;

BuildReadOnlynoProdNode: PROC[position: INT, length: INT]
RETURNS[ReadOnlyNode];

ReadOnlynoProdfoo: fooProcType;


SafeemptyProdData: TYPE = REF SafeemptyProdDataBody;
SafeemptyProdDataBody: TYPE = RECORD[
];

SafeemptyProdProcs: SafeNodeProcs;

BuildSafeemptyProdNode: PROC[position: INT, length: INT]
RETURNS[SafeNode];

SafeemptyProdfoo: fooProcType;


SafeyesProdData: TYPE = REF SafeyesProdDataBody;
SafeyesProdDataBody: TYPE = RECORD[
];

SafeyesProdProcs: SafeNodeProcs;

BuildSafeyesProdNode: PROC[position: INT, length: INT]
RETURNS[SafeNode];

SafeyesProdfoo: fooProcType;


SafenoProdData: TYPE = REF SafenoProdDataBody;
SafenoProdDataBody: TYPE = RECORD[
];

SafenoProdProcs: SafeNodeProcs;

BuildSafenoProdNode: PROC[position: INT, length: INT]
RETURNS[SafeNode];

SafenoProdfoo: fooProcType;


TransferModeprocProdData: TYPE = REF TransferModeprocProdDataBody;
TransferModeprocProdDataBody: TYPE = RECORD[
];

TransferModeprocProdProcs: TransferModeNodeProcs;

BuildTransferModeprocProdNode: PROC[position: INT, length: INT]
RETURNS[TransferModeNode];

TransferModeprocProdfoo: fooProcType;


TransferModeportProdData: TYPE = REF TransferModeportProdDataBody;
TransferModeportProdDataBody: TYPE = RECORD[
];

TransferModeportProdProcs: TransferModeNodeProcs;

BuildTransferModeportProdNode: PROC[position: INT, length: INT]
RETURNS[TransferModeNode];

TransferModeportProdfoo: fooProcType;


TransferModesignalProdData: TYPE = REF TransferModesignalProdDataBody;
TransferModesignalProdDataBody: TYPE = RECORD[
];

TransferModesignalProdProcs: TransferModeNodeProcs;

BuildTransferModesignalProdNode: PROC[position: INT, length: INT]
RETURNS[TransferModeNode];

TransferModesignalProdfoo: fooProcType;


TransferModeerrorProdData: TYPE = REF TransferModeerrorProdDataBody;
TransferModeerrorProdDataBody: TYPE = RECORD[
];

TransferModeerrorProdProcs: TransferModeNodeProcs;

BuildTransferModeerrorProdNode: PROC[position: INT, length: INT]
RETURNS[TransferModeNode];

TransferModeerrorProdfoo: fooProcType;


TransferModeprocessProdData: TYPE = REF TransferModeprocessProdDataBody;
TransferModeprocessProdDataBody: TYPE = RECORD[
];

TransferModeprocessProdProcs: TransferModeNodeProcs;

BuildTransferModeprocessProdNode: PROC[position: INT, length: INT]
RETURNS[TransferModeNode];

TransferModeprocessProdfoo: fooProcType;


TransferModeprogramProdData: TYPE = REF TransferModeprogramProdDataBody;
TransferModeprogramProdDataBody: TYPE = RECORD[
];

TransferModeprogramProdProcs: TransferModeNodeProcs;

BuildTransferModeprogramProdNode: PROC[position: INT, length: INT]
RETURNS[TransferModeNode];

TransferModeprogramProdfoo: fooProcType;


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;


ParameterListemptyProdData: TYPE = REF ParameterListemptyProdDataBody;
ParameterListemptyProdDataBody: TYPE = RECORD[
];

ParameterListemptyProdProcs: ParameterListNodeProcs;

BuildParameterListemptyProdNode: PROC[position: INT, length: INT]
RETURNS[ParameterListNode];

ParameterListemptyProdfoo: fooProcType;


ParameterListanyProdData: TYPE = REF ParameterListanyProdDataBody;
ParameterListanyProdDataBody: TYPE = RECORD[
];

ParameterListanyProdProcs: ParameterListNodeProcs;

BuildParameterListanyProdNode: PROC[position: INT, length: INT]
RETURNS[ParameterListNode];

ParameterListanyProdfoo: fooProcType;


ParameterListpairlistProdData: TYPE = REF ParameterListpairlistProdDataBody;
ParameterListpairlistProdDataBody: TYPE = RECORD[
PairList: PairListNode];

ParameterListpairlistProdProcs: ParameterListNodeProcs;

BuildParameterListpairlistProdNode: PROC[position: INT, length: INT, PairList: PairListNode]
RETURNS[ParameterListNode];

ParameterListpairlistProdfoo: fooProcType;


ParameterListtypelistProdData: TYPE = REF ParameterListtypelistProdDataBody;
ParameterListtypelistProdDataBody: TYPE = RECORD[
TypeList: TypeListNode];

ParameterListtypelistProdProcs: ParameterListNodeProcs;

BuildParameterListtypelistProdNode: PROC[position: INT, length: INT, TypeList: TypeListNode]
RETURNS[ParameterListNode];

ParameterListtypelistProdfoo: fooProcType;


UncountedyesProdData: TYPE = REF UncountedyesProdDataBody;
UncountedyesProdDataBody: TYPE = RECORD[
];

UncountedyesProdProcs: UncountedNodeProcs;

BuildUncountedyesProdNode: PROC[position: INT, length: INT]
RETURNS[UncountedNode];

UncountedyesProdfoo: fooProcType;


UncountednoProdData: TYPE = REF UncountednoProdDataBody;
UncountednoProdDataBody: TYPE = RECORD[
];

UncountednoProdProcs: UncountedNodeProcs;

BuildUncountednoProdNode: PROC[position: INT, length: INT]
RETURNS[UncountedNode];

UncountednoProdfoo: fooProcType;


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;


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;


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..

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
IdListoneProd
IdListmoreProd
OrderedyesProd
OrderednoProd
BaseyesProd
BasenoProd
PointerTypeunspecifiedProd
PointerTypespecifiedProd
OptIntervalabsentProd
OptIntervalpresentProd
ReadOnlyyesProd
ReadOnlynoProd
SafeemptyProd
SafeyesProd
SafenoProd
TransferModeprocProd
TransferModeportProd
TransferModesignalProd
TransferModeerrorProd
TransferModeprocessProd
TransferModeprogramProd
ArgumentsProd
ParameterListemptyProd
ParameterListanyProd
ParameterListpairlistProd
ParameterListtypelistProd
UncountedyesProd
UncountednoProd
TypeApplyoneProd
TypeApplymorelengthsProd
TypeApplymoreidsProd
�Êꘚ
œ™Jš
œ<™<Jš
œ:™:Jš
œ<™<—J˜š
Ïk	˜	J˜J˜J˜
—J˜JšÏn
œ�œ
�œ˜#Jš
�˜Jš�œ7˜;J˜Jš
œ
™
J˜Jšœ�œ�œ˜4Jšœ�œ�œ
˜%J˜J˜Jšžœ˜$J˜šžœ�œ�œ
�œ
˜DJš�œ
˜—J˜J˜J˜Jš
œ™J˜Jšœ�œ�œ˜6Jšœ�œ�œ
˜&Jšœžœ˜ J˜Jšžœ˜%J˜š
žœ�œ�œ
�œžœ
˜YJš�œ
˜—J˜J˜J˜Jš
œ™J˜Jšœ�œ�œ˜6Jšœ�œ�œ
˜&J˜J˜Jšžœ˜&J˜šžœ�œ�œ
�œ
˜9Jš�œ˜—J˜J˜J˜Jš
œ
™
J˜Jšœ�œ�œ˜4Jšœ�œ�œ
˜%J˜J˜Jšžœ˜%J˜šžœ�œ�œ
�œ
˜8Jš�œ˜—J˜J˜J˜Jš
œ™J˜Jšœ�œ�œ˜0Jšœ�œ�œ
˜#J˜J˜Jšžœ˜ J˜šžœ�œ�œ
�œ
˜6Jš�œ˜—J˜J˜J˜Jš
œ
™
J˜Jšœ�œ�œ˜.Jšœ�œ�œ
˜"J˜J˜Jšžœ˜J˜šžœ�œ�œ
�œ
˜5Jš�œ˜—J˜J˜J˜Jš
œ™J˜Jšœ �œ�œ$˜NJšœ$�œ�œ
˜2Jšžœ˜J˜Jšžœ˜6J˜š
ž#œ�œ�œ
�œžœ˜cJš�œ˜—J˜J˜+J˜Jš
œ™J˜Jšœ�œ�œ"˜JJšœ"�œ�œ
˜0Jšžœžœžœ˜LJ˜Jšžœ˜4J˜šž!œ�œ�œ
�œžœžœžœ˜�
Jš�œ˜—J˜J˜)J˜Jš
œ™J˜Jšœ�œ�œ˜DJšœ�œ�œ
˜-J˜J˜Jšžœ˜1J˜šžœ�œ�œ
�œ
˜@Jš�œ˜—J˜J˜&J˜Jš
œ™J˜Jšœ�œ�œ ˜FJšœ �œ�œ
˜.Jšžœ˜J˜Jšžœ˜2J˜š
žœ�œ�œ
�œžœ˜YJš�œ˜—J˜J˜'J˜Jš
œ™J˜Jšœ�œ�œ˜8Jšœ�œ�œ
˜'J˜J˜Jšžœ˜(J˜šžœ�œ�œ
�œ
˜:Jš�œ˜—J˜J˜ J˜Jš
œ™J˜Jšœ�œ�œ˜6Jšœ�œ�œ
˜&J˜J˜Jšžœ˜'J˜šžœ�œ�œ
�œ
˜9Jš�œ˜—J˜J˜J˜Jš
œ
™
J˜Jšœ�œ�œ˜4Jšœ�œ�œ
˜%J˜J˜Jšžœ˜"J˜šžœ�œ�œ
�œ
˜8Jš�œ˜—J˜J˜J˜Jš
œ™J˜Jšœ�œ�œ˜0Jšœ�œ�œ
˜#J˜J˜Jšžœ˜ J˜šžœ�œ�œ
�œ
˜6Jš�œ˜—J˜J˜J˜Jš
œ
™
J˜Jšœ�œ�œ˜.Jšœ�œ�œ
˜"J˜J˜Jšžœ˜J˜šžœ�œ�œ
�œ
˜5Jš�œ˜—J˜J˜J˜Jš
œ™J˜Jšœ�œ�œ˜BJšœ�œ�œ
˜,J˜J˜Jšžœ˜1J˜šžœ�œ�œ
�œ
˜?Jš�œ˜—J˜J˜%J˜Jš
œ™J˜Jšœ�œ�œ˜BJšœ�œ�œ
˜,J˜J˜Jšžœ˜1J˜šžœ�œ�œ
�œ
˜?Jš�œ˜—J˜J˜%J˜Jš
œ™J˜Jšœ�œ�œ ˜FJšœ �œ�œ
˜.J˜J˜Jšžœ˜3J˜šžœ�œ�œ
�œ
˜AJš�œ˜—J˜J˜'J˜Jš
œ™J˜Jšœ�œ�œ˜DJšœ�œ�œ
˜-J˜J˜Jšžœ˜2J˜šžœ�œ�œ
�œ
˜@Jš�œ˜—J˜J˜&J˜Jš
œ™J˜Jšœ�œ�œ!˜HJšœ!�œ�œ
˜/J˜J˜Jšžœ˜4J˜šž œ�œ�œ
�œ
˜BJš�œ˜—J˜J˜(J˜Jš
œ™J˜Jšœ�œ�œ!˜HJšœ!�œ�œ
˜/J˜J˜Jšžœ˜4J˜šž œ�œ�œ
�œ
˜BJš�œ˜—J˜J˜(J˜Jš
œ
™
J˜Jšœ�œ�œ˜4Jšœ�œ�œ
˜%Jšžœžœ˜OJ˜Jšžœ˜'J˜šžœ�œ�œ
�œžœžœ˜‡
Jš�œ˜—J˜J˜J˜Jš
œ™J˜Jšœ�œ�œ ˜FJšœ �œ�œ
˜.J˜J˜Jšžœ˜4J˜šžœ�œ�œ
�œ
˜AJš�œ˜—J˜J˜'J˜Jš
œ™J˜Jšœ�œ�œ˜BJšœ�œ�œ
˜,J˜J˜Jšžœ˜2J˜šžœ�œ�œ
�œ
˜?Jš�œ˜—J˜J˜%J˜Jš
œ™J˜Jšœ�œ�œ#˜LJšœ#�œ�œ
˜1Jšžœ˜J˜Jšžœ˜7J˜š
ž"œ�œ�œ
�œžœ˜\Jš�œ˜—J˜J˜*J˜Jš
œ™J˜Jšœ�œ�œ#˜LJšœ#�œ�œ
˜1Jšžœ˜J˜Jšžœ˜7J˜š
ž"œ�œ�œ
�œžœ˜\Jš�œ˜—J˜J˜*J˜Jš
œ™J˜Jšœ�œ�œ˜:Jšœ�œ�œ
˜(J˜J˜Jšžœ˜*J˜šžœ�œ�œ
�œ
˜;Jš�œ˜—J˜J˜!J˜Jš
œ™J˜Jšœ�œ�œ˜8Jšœ�œ�œ
˜'J˜J˜Jšžœ˜)J˜šžœ�œ�œ
�œ
˜:Jš�œ˜—J˜J˜ J˜Jš
œ™J˜Jšœ�œ�œ˜:Jšœ�œ�œ
˜(Jšžœžœ˜"J˜Jšžœ˜*J˜šžœ�œ�œ
�œžœžœ
˜]Jš�œ˜—J˜J˜!J˜Jš
œ™J˜Jšœ�œ�œ"˜JJšœ"�œ�œ
˜0Jšž	œžœ˜(J˜Jšžœ˜2J˜šž!œ�œ�œ
�œž	œžœ
˜kJš�œ˜—J˜J˜)J˜Jš
œ™J˜Jšœ�œ�œ˜BJšœ�œ�œ
˜,Jšž	œ˜&J˜Jšžœ˜.J˜š
žœ�œ�œ
�œž	œ˜eJš�œ˜—J˜J˜%Jš�œ˜J˜—…—%Ú5Þ