SaffronTreeDecls.ThreeC4
Copyright Ó 1987 by Xerox Corporation. All rights reserved.
Shoup, August 8, 1986 5:34:38 pm PDT
Bill Jackson (bj) April 27, 1987 3:51:50 pm PDT
Lucy Hederman July 17, 1987 5:12:07 pm PDT
Sturgis, July 21, 1987 3:23:25 pm PDT
SaffronTreeDecls: Module = Begin
DoTop:
TreeRecursiveFunction [ Tree ]
Returns [ LocalContext, TypeGraphNode ];
MakeType:
TreeRecursiveFunction [ Tree, BOOLEAN.PaintRecords, LocalContext.a ]
Returns [ LocalContext.b, TypeGraphNode ]
DamagedReps [ LocalContext.a ];
MakeFieldList:
TreeRecursiveFunction [ Tree, BOOLEAN.PaintRecords, LocalContext.a ]
Returns [ LocalContext.b, FieldList ]
DamagedReps [ LocalContext.a ];
AddToFieldList:
TreeRecursiveFunction [ Tree, FieldList.a,
BOOLEAN.PaintRecords, LocalContext.a ]
Returns [ LocalContext.b, FieldList.b ]
DamagedReps [ LocalContext.a, FieldList.a ];
AddPairsToFieldList:
TreeRecursiveFunction [ Tree, FieldList.a,
BOOLEAN.PaintRecords, LocalContext.a ]
Returns [ LocalContext.b, FieldList.b ]
DamagedReps [ LocalContext.a, FieldList.a ];
AddNamesToFieldList:
TreeRecursiveFunction [ Tree, TypeGraphNode, FieldList.a ]
Returns [ FieldList.b ]
DamagedReps [ FieldList.a ];
MakeElementList:
TreeRecursiveFunction [ Tree, LocalContext.arg ]
Returns [ LocalContext.res, TypeGraphNode ]
DamagedReps [ LocalContext.arg ];
ElementName:
TreeRecursiveFunction [ Tree ]
Returns [ Id ];
End.