-- SaffronTreeDeclsDef.mesa
 -- Copyright Ó 1987 by Xerox Corporation.  All rights reserved.
 -- Generated by hederman.pa at August 17, 1987 3:51:07 pm PDT
 --  using ThreeCasabaFour [1.2] of June 1, 1987 6:00:00 pm PDT

DIRECTORY
	SaffronGenericDef,
	Rope,
	SaffronBaseDef;

SaffronTreeDeclsDef: CEDAR DEFINITIONS = 
BEGIN
OPEN SaffronGenericDef, Rope, SaffronBaseDef;
GetBooleanValProcType:	TYPE = PROC[REF ANY] RETURNS[BOOLEAN];

DoTopProcType:	TYPE = PROC[REF ANY, ROPE, EnvironmentNode] RETURNS[EnvironmentNode, InterfaceValNode];

ExploreProcType:	TYPE = PROC[REF ANY, ROPE, EnvironmentNode] RETURNS[EnvironmentNode, InterfaceValNode];

MakeEnvironmentProcType:	TYPE = PROC[REF ANY, ROPE, EnvironmentNode] RETURNS[EnvironmentNode, InterfaceValNode];

MakeInterfaceTGNProcType:	TYPE = PROC[REF ANY, LocalContextNode, InterfaceValNode] RETURNS[LocalContextNode, TypeGraphNodeNode];

ExploreDirectoryClauseProcType:	TYPE = PROC[REF ANY, EnvironmentNode] RETURNS[EnvironmentNode];

ProcessDirectoryClauseProcType:	TYPE = PROC[REF ANY, LocalContextNode, EnvironmentNode] RETURNS[LocalContextNode, EnvironmentNode];

AddIdsToInterfaceTGNProcType:	TYPE = PROC[REF ANY, LocalContextNode, TypeGraphNodeNode, InterfaceValNode] RETURNS[LocalContextNode];

MakeContextTreeProcType:	TYPE = PROC[REF ANY, ContextRibNode, BOOLEAN] RETURNS[ContextTreeNode];

MakeContextTree1ProcType:	TYPE = PROC[REF ANY, ContextRibNode, BOOLEAN] RETURNS[ContextTreeNode];

MakeBindListContextTreeWithScopeProcType:	TYPE = PROC[REF ANY, ScopePTreeNode, ContextRibNode, BOOLEAN] RETURNS[ContextTreeNode];

MakeBindListContextTreeWithDefBodyProcType:	TYPE = PROC[REF ANY, DefBodyPTreeNode, ContextRibNode, BOOLEAN] RETURNS[ContextTreeNode];

HangContextsFromContextTreeProcType:	TYPE = PROC[REF ANY, ContextTreeNode, ContextRibNode, BOOLEAN] RETURNS[ContextTreeNode];

UpdateLocalContextProcType:	TYPE = PROC[REF ANY, LocalContextNode, BOOLEAN] RETURNS[LocalContextNode];

PutNewNamesInLocalContextProcType:	TYPE = PROC[REF ANY, LocalContextNode] RETURNS[LocalContextNode];

PutNewNamesInLocalContext1ProcType:	TYPE = PROC[REF ANY, LocalContextNode, AccessValNode] RETURNS[LocalContextNode];

FillInLocalContextProcType:	TYPE = PROC[REF ANY, LocalContextNode, BOOLEAN] RETURNS[LocalContextNode];

RecAddArcsfromLVTGNtoTGNProcType:	TYPE = PROC[REF ANY, LocalContextNode, AccessValNode, TypeGraphNodeNode, DefaultExpNode] RETURNS[LocalContextNode];

MakeTypeProcType:	TYPE = PROC[REF ANY, LocalContextNode, BOOLEAN] RETURNS[LocalContextNode, TypeGraphNodeNode];

LookupTypeIdProcType:	TYPE = PROC[REF ANY, LocalContextNode] RETURNS[LocalContextNode, TypeGraphNodeNode];

MakeArgumentListsProcType:	TYPE = PROC[REF ANY, LocalContextNode, BOOLEAN] RETURNS[LocalContextNode, FrozenFieldListNode, FrozenFieldListNode];

MakeFieldListProcType:	TYPE = PROC[REF ANY, LocalContextNode, BOOLEAN] RETURNS[LocalContextNode, FieldListNode];

AddPairsToFieldListProcType:	TYPE = PROC[REF ANY, LocalContextNode, FieldListNode, BOOLEAN] RETURNS[LocalContextNode, FieldListNode];

AddToFieldListProcType:	TYPE = PROC[REF ANY, LocalContextNode, FieldListNode, BOOLEAN] RETURNS[LocalContextNode, FieldListNode];

AddNamesToFieldListProcType:	TYPE = PROC[REF ANY, AccessValNode, TypeGraphNodeNode, DefaultExpNode, FieldListNode] RETURNS[FieldListNode];

MakeUnionListProcType:	TYPE = PROC[REF ANY, LocalContextNode, BOOLEAN] RETURNS[LocalContextNode, UnionListNode];

AddVariantsToUnionListProcType:	TYPE = PROC[REF ANY, LocalContextNode, UnionListNode, BOOLEAN] RETURNS[LocalContextNode, UnionListNode];

AddNamesToUnionListProcType:	TYPE = PROC[REF ANY, FrozenFieldListNode, UnionListNode] RETURNS[UnionListNode];

MakeTagTypeProcType:	TYPE = PROC[REF ANY, LocalContextNode, BOOLEAN] RETURNS[LocalContextNode, TypeGraphNodeNode, BOOLEAN];

MakeStarTagTypeProcType:	TYPE = PROC[REF ANY, LocalContextNode] RETURNS[LocalContextNode, TypeGraphNodeNode];

AddVariantNamesToEnumTypeTGNProcType:	TYPE = PROC[REF ANY, LocalContextNode, TypeGraphNodeNode] RETURNS[LocalContextNode];

MakeVariantFlavorProcType:	TYPE = PROC[REF ANY] RETURNS[VariantFlavorNode];

GetIdentInfoProcType:	TYPE = PROC[REF ANY] RETURNS[IdNode, PositionValNode];

GetSequenceTagInfoProcType:	TYPE = PROC[REF ANY] RETURNS[IdNode, PositionValNode, AccessValNode];

MakeElementListProcType:	TYPE = PROC[REF ANY, LocalContextNode, BOOLEAN] RETURNS[LocalContextNode, TypeGraphNodeNode];

ElementInfoProcType:	TYPE = PROC[REF ANY] RETURNS[IdNode, ExpPTreeNode];

GetPointerTypeInfoProcType:	TYPE = PROC[REF ANY, LocalContextNode, BOOLEAN] RETURNS[LocalContextNode, BoundsValNode, BOOLEAN, TypeGraphNodeNode];

MakeTransferModeProcType:	TYPE = PROC[REF ANY] RETURNS[ROPE];

GetBoundsValProcType:	TYPE = PROC[REF ANY] RETURNS[BoundsValNode];

GetLowerAndUpperProcType:	TYPE = PROC[REF ANY] RETURNS[ExpPTreeNode, ExpPTreeNode];

GetExpValProcType:	TYPE = PROC[REF ANY] RETURNS[ExpPTreeNode];

GetPositionValProcType:	TYPE = PROC[REF ANY] RETURNS[PositionValNode];

GetAccessValProcType:	TYPE = PROC[REF ANY] RETURNS[AccessValNode];

GetDefaultExpValProcType:	TYPE = PROC[REF ANY] RETURNS[DefaultExpNode];

IdValProcType:	TYPE = PROC[REF ANY] RETURNS[IdNode];

MakeNameSequenceProcType:	TYPE = PROC[REF ANY] RETURNS[NameSequenceNode];

AddNamesToSequenceProcType:	TYPE = PROC[REF ANY, NameSequenceNode] RETURNS[NameSequenceNode];

END..