Include [ SaffronBaseDecls ]; SaffronTreeDecls: Module = Begin DoTop: TreeRecursiveFunction [ Tree ] Returns [ BOOLEAN ]; NewScope: TreeRecursiveFunction [ Tree, RibContext, TypeGraph.a ] Returns [ ContextTree, TypeGraph ] DamagedReps [ TypeGraph.a ]; PreprocessDecls: TreeRecursiveFunction [ Tree, LocalContext.a, TypeGraph.a ] Returns [ LocalContext.b, TypeGraph.b ] DamagedReps [ LocalContext.a, TypeGraph.a ]; InsertDescriptor: TreeRecursiveFunction [ Tree, Descriptor, LocalContext.a ] Returns [ LocalContext.b ] DamagedReps [ LocalContext.a ]; ReplaceDescriptor: TreeRecursiveFunction [ Tree, Descriptor, LocalContext.a ] Returns [ LocalContext.b ] DamagedReps [ LocalContext.a ]; ProcessDecls: TreeRecursiveFunction [ Tree, LocalContext.a, RibContext, TypeGraph.a ] Returns [ LocalContext.b, TypeGraph.b ] DamagedReps [ LocalContext.a, TypeGraph.a ]; ProcessOneDecl: TreeRecursiveFunction [ Tree, TypeIndex, LocalContext.a, RibContext, TypeGraph.a ] Returns [ LocalContext.b, TypeGraph.b ] DamagedReps [ LocalContext.a, TypeGraph.a ]; MakeType: TreeRecursiveFunction [ Tree, LocalContext.a, RibContext, TypeGraph.a, TypeIndex.opt ] Returns [ TypeIndex, LocalContext.b, TypeGraph.b ] DamagedReps [ LocalContext.a, TypeGraph.a ]; MakeValue: TreeRecursiveFunction [ Tree, LocalContext.a, RibContext, TypeGraph.a, TypeIndex ] Returns [ Value, LocalContext.b, TypeGraph.b ] DamagedReps [ LocalContext.a, TypeGraph.a ]; MakeFieldList: TreeRecursiveFunction [ Tree, LocalContext.a, RibContext, TypeGraph.a ] Returns [ FieldList, LocalContext.b, TypeGraph.b ] DamagedReps [ LocalContext.a, TypeGraph.a ]; MakeNamedFieldList: TreeRecursiveFunction [ Tree, NamedFieldList.a, LocalContext.a, RibContext, TypeGraph.a ] Returns [ NamedFieldList.b, LocalContext.b, TypeGraph.b ] DamagedReps [ NamedFieldList.a, LocalContext.a, TypeGraph.a ]; MakeUnnamedFieldList: TreeRecursiveFunction [ Tree, UnnamedFieldList.a, LocalContext.a, RibContext, TypeGraph.a ] Returns [ UnnamedFieldList.b, LocalContext.b, TypeGraph.b ] DamagedReps [ UnnamedFieldList.a, LocalContext.a, TypeGraph.a ]; AddToNamedFieldList: TreeRecursiveFunction [ Tree, TypeIndex, NamedFieldList.a ] Returns [ NamedFieldList.b ] DamagedReps [ NamedFieldList.a ]; MakeEltList: TreeRecursiveFunction [ Tree ] Returns [ EltList ]; InsertElement: TreeRecursiveFunction [ Tree, EltList.a ] Returns [ EltList.b ] DamagedReps [ EltList.a ]; MakeTypeInterval: TreeRecursiveFunction [ Tree, TypeIndex, LocalContext.a, RibContext, TypeGraph.a ] Returns [ TypeNode, TypeBounds, LocalContext.b, TypeGraph.b ] DamagedReps [ LocalContext.a, TypeGraph.a ]; MakeTypeBounds: TreeRecursiveFunction [ Tree, BOOLEAN.leftClosed, BOOLEAN.rightClosed, TypeIndex.a, LocalContext.a, RibContext, TypeGraph.a ] Returns [ TypeNode, TypeBounds, LocalContext.b, TypeGraph.b ] DamagedReps [ LocalContext.a, TypeGraph.a ]; MakeTypeBound: TreeRecursiveFunction [ Tree, TypeIndex, LocalContext.a, RibContext, TypeGraph.a ] Returns [ OrdinalValue, LocalContext.b, TypeGraph.b ] DamagedReps [ LocalContext.a, TypeGraph.a ]; End. Έ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 eof... Κ1– "cedar" style˜codešœ™K™;Kšœ$™$K™/—K˜K˜K˜šΟnœ˜ K˜šΟbœ˜KšΠizœ ˜KšŸœΟkœ˜—K˜šžœ˜ KšŸœ"˜7KšŸœ˜"KšŸ œ˜K˜—šžœ˜KšŸœ&˜;KšŸœ ˜'KšŸ œ!˜,K˜—šžœ˜KšŸœ%˜:KšŸœ˜KšŸ œ˜K˜—šžœ˜KšŸœ%˜:KšŸœ˜KšŸ œ˜K˜—šž œ˜ KšŸœ2˜GKšŸœ ˜'KšŸ œ!˜,K˜—šžœ˜KšŸœ=˜RKšŸœ ˜'KšŸ œ!˜,K˜—šžœ˜ KšŸœA˜VKšŸœ+˜2KšŸ œ!˜,K˜—šž œ˜ KšŸœ=˜RKšŸœ'˜.KšŸ œ!˜,K˜—šž œ˜KšŸœ2˜GKšŸœ+˜2KšŸ œ!˜,K˜—šžœ˜KšŸœD˜YKšŸœ2˜9KšŸ œ3˜>K˜—šžœ˜KšŸœF˜[KšŸœ4˜;KšŸ œ5˜@K˜—šžœ˜KšŸœ&˜;KšŸœ˜KšŸ œ˜!K˜—šž œ˜ KšŸœ ˜KšŸœ ˜K˜—šž œ˜KšŸœ˜)KšŸœ˜KšŸ œ˜K˜—šžœ˜KšŸœ=˜RKšŸœ6˜=KšŸ œ!˜,K˜—šžœ˜KšŸœ  œ  œD˜}KšŸœ6˜=KšŸ œ!˜,K˜—šž œ˜KšŸœ=˜RKšŸœ.˜5KšŸ œ!˜,—K˜K˜—K˜K™—…— λ