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