DIRECTORY CedarBaseContext, CedarBaseValue, CedarBaseType; SaffronTreeDeclsDef: CEDAR DEFINITIONS = BEGIN OPEN CedarBaseContext, CedarBaseValue, CedarBaseType; DoTopProcType: TYPE = PROC[REF ANY] RETURNS[BOOLEAN]; NewScopeProcType: TYPE = PROC[REF ANY, RibContext, TypeGraph] RETURNS[ContextTree, TypeGraph]; PreprocessDeclsProcType: TYPE = PROC[REF ANY, LocalContext, TypeGraph] RETURNS[LocalContext, TypeGraph]; InsertDescriptorProcType: TYPE = PROC[REF ANY, Descriptor, LocalContext] RETURNS[LocalContext]; ReplaceDescriptorProcType: TYPE = PROC[REF ANY, Descriptor, LocalContext] RETURNS[LocalContext]; ProcessDeclsProcType: TYPE = PROC[REF ANY, LocalContext, RibContext, TypeGraph] RETURNS[LocalContext, TypeGraph]; ProcessOneDeclProcType: TYPE = PROC[REF ANY, TypeIndex, LocalContext, RibContext, TypeGraph] RETURNS[LocalContext, TypeGraph]; MakeTypeProcType: TYPE = PROC[REF ANY, LocalContext, RibContext, TypeGraph, TypeIndex] RETURNS[TypeIndex, LocalContext, TypeGraph]; MakeValueProcType: TYPE = PROC[REF ANY, LocalContext, RibContext, TypeGraph, TypeIndex] RETURNS[Value, LocalContext, TypeGraph]; MakeFieldListProcType: TYPE = PROC[REF ANY, LocalContext, RibContext, TypeGraph] RETURNS[FieldList, LocalContext, TypeGraph]; MakeNamedFieldListProcType: TYPE = PROC[REF ANY, NamedFieldList, LocalContext, RibContext, TypeGraph] RETURNS[NamedFieldList, LocalContext, TypeGraph]; MakeUnnamedFieldListProcType: TYPE = PROC[REF ANY, UnnamedFieldList, LocalContext, RibContext, TypeGraph] RETURNS[UnnamedFieldList, LocalContext, TypeGraph]; AddToNamedFieldListProcType: TYPE = PROC[REF ANY, TypeIndex, NamedFieldList] RETURNS[NamedFieldList]; MakeEltListProcType: TYPE = PROC[REF ANY] RETURNS[EltList]; InsertElementProcType: TYPE = PROC[REF ANY, EltList] RETURNS[EltList]; MakeTypeIntervalProcType: TYPE = PROC[REF ANY, TypeIndex, LocalContext, RibContext, TypeGraph] RETURNS[TypeNode, TypeBounds, LocalContext, TypeGraph]; MakeTypeBoundsProcType: TYPE = PROC[REF ANY, BOOLEAN, BOOLEAN, TypeIndex, LocalContext, RibContext, TypeGraph] RETURNS[TypeNode, TypeBounds, LocalContext, TypeGraph]; MakeTypeBoundProcType: TYPE = PROC[REF ANY, TypeIndex, LocalContext, RibContext, TypeGraph] RETURNS[OrdinalValue, LocalContext, TypeGraph]; END.. ÔSaffronTreeDeclsDef.mesa Copyright Ó 1987 by Xerox Corporation. All rights reserved. Generated by BJackson.pa at April 27, 1987 10:48:40 pm PDT using ThreeCasabaFour [1.1] of April 14, 1987 6:34:07 pm PDT Ê«˜šœ™Jšœ<™