-- SaffronTreeDeclsDef.mesa
 -- Copyright Ó 1987 by Xerox Corporation.  All rights reserved.
 -- Generated by Rauen.pa at September 1, 1988 7:28:00 pm PDT
 --  using ThreeCasabaFour [1.2] of June 1, 1987 6:00:00 pm PDT

DIRECTORY
	SaffronGenericDef,
	Rope,
	SaffronBaseDef,
	BigIntegers;

SaffronTreeDeclsDef: CEDAR DEFINITIONS = 
BEGIN
OPEN SaffronGenericDef, Rope, SaffronBaseDef, BigIntegers;
DoTopProcType:	TYPE = PROC[REF ANY, ROPE, EnvironmentNode, CompilerStateNode] RETURNS[EnvironmentNode];

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

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

ProcessDirectoryItemProcType:	TYPE = PROC[REF ANY, LocalContextNode, EnvironmentNode, CompilerStateNode] RETURNS[FieldNode, LocalContextNode, EnvironmentNode];

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

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

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

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

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

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

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

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

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

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

AddDeclarationsToFieldListProcType:	TYPE = PROC[REF ANY, FieldListNode, LocalContextNode, CompilerStateNode] RETURNS[FieldListNode, LocalContextNode];

AddDeclarationToFieldListProcType:	TYPE = PROC[REF ANY, FieldListNode, LocalContextNode, CompilerStateNode] RETURNS[FieldListNode, LocalContextNode];

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

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

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

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

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

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

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

AddTypeDeclarationToFieldListProcType:	TYPE = PROC[REF ANY, FieldListNode, LocalContextNode, CompilerStateNode, AccessValNode, AccessValNode, TypeGraphNodeNode, TypeExpPTreeNode, DefaultExpNode] RETURNS[FieldListNode, LocalContextNode];

AddValueDeclarationToFieldListProcType:	TYPE = PROC[REF ANY, FieldListNode, CompilerStateNode, DeclarationPTreeNode, AccessValNode, TypeGraphNodeNode, InitializationPTreeNode] RETURNS[FieldListNode];

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

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

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

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

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

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

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

MakeTagTypeProcType:	TYPE = PROC[REF ANY, LocalContextNode, BOOLEAN, CompilerStateNode] 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, CompilerStateNode] RETURNS[VariantFlavorNode];

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

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

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

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

EvaluateExpressionProcType:	TYPE = PROC[REF ANY, LocalContextNode, FieldListNode, CompilerStateNode, TypeGraphNodeNode] RETURNS[ValueNode];

CompileExpressionProcType:	TYPE = PROC[REF ANY, ContextTreeNode, CompilerStateNode, TypeGraphNodeNode] RETURNS[ValueNode, ContextTreeNode];

EvaluateSizeOfTypeExpressionProcType:	TYPE = PROC[REF ANY, LocalContextNode, FieldListNode, CompilerStateNode, TypeGraphNodeNode] RETURNS[BigINT];

CompileSizeOfTypeExpressionProcType:	TYPE = PROC[REF ANY, ContextTreeNode, CompilerStateNode, TypeGraphNodeNode] RETURNS[BigINT];

EvaluateFirstOfTypeExpressionProcType:	TYPE = PROC[REF ANY, LocalContextNode, FieldListNode, CompilerStateNode, TypeGraphNodeNode] RETURNS[ValueNode];

CompileFirstOfTypeExpressionProcType:	TYPE = PROC[REF ANY, ContextTreeNode, CompilerStateNode, TypeGraphNodeNode] RETURNS[ValueNode];

EvaluateLastOfTypeExpressionProcType:	TYPE = PROC[REF ANY, LocalContextNode, FieldListNode, CompilerStateNode, TypeGraphNodeNode] RETURNS[ValueNode];

CompileLastOfTypeExpressionProcType:	TYPE = PROC[REF ANY, ContextTreeNode, CompilerStateNode, TypeGraphNodeNode] RETURNS[ValueNode];

CompileLValueProcType:	TYPE = PROC[REF ANY, ContextTreeNode, CompilerStateNode] RETURNS[ParameterizedFieldDescriptorNode, TypeGraphNodeNode];

IsPlusProcType:	TYPE = PROC[REF ANY] RETURNS[BOOLEAN];

IsMinusProcType:	TYPE = PROC[REF ANY] RETURNS[BOOLEAN];

IsTimesProcType:	TYPE = PROC[REF ANY] RETURNS[BOOLEAN];

IsDivideProcType:	TYPE = PROC[REF ANY] RETURNS[BOOLEAN];

IsModProcType:	TYPE = PROC[REF ANY] RETURNS[BOOLEAN];

GetRelationOpProcType:	TYPE = PROC[REF ANY] RETURNS[RelationOp];

IntegerValueFromLiteralProcType:	TYPE = PROC[REF ANY] RETURNS[BigINT];

CompileQualifiedExpressionProcType:	TYPE = PROC[REF ANY, ValueNode, ContextTreeNode, CompilerStateNode, TypeGraphNodeNode] RETURNS[ValueNode, ContextTreeNode];

InitializationIsEmptyProcType:	TYPE = PROC[REF ANY] RETURNS[BOOLEAN];

InitializationIsBindingProcType:	TYPE = PROC[REF ANY] RETURNS[BOOLEAN];

InitializationIsAssignmentProcType:	TYPE = PROC[REF ANY] RETURNS[BOOLEAN];

GetInitialValueProcType:	TYPE = PROC[REF ANY] RETURNS[ValueNode];

CompileProcType:	TYPE = PROC[REF ANY, ContextTreeNode, ProgramGraphNode, CompilerStateNode] RETURNS[ContextTreeNode, ProgramFragmentNode, ProgramGraphNode];

CompileFrameBlockProcType:	TYPE = PROC[REF ANY, TypeGraphNodeNode, ContextTreeNode, ProgramGraphNode, CompilerStateNode] RETURNS[ContextTreeNode, ProgramFragmentNode, ProgramGraphNode];

InternalCompileBlockProcType:	TYPE = PROC[REF ANY, LocalContextNode, FieldListNode, ProgramGraphNode, CompilerStateNode] RETURNS[ContextTreeNode, ProgramFragmentNode, ProgramGraphNode];

CompileScopeProcType:	TYPE = PROC[REF ANY, LocalContextNode, FieldListNode, ProgramGraphNode, CompilerStateNode] RETURNS[ContextTreeNode, ProgramFragmentNode, ProgramGraphNode];

CompileInitializationProcType:	TYPE = PROC[REF ANY, ContextTreeNode, ProgramGraphNode, CompilerStateNode, TypeGraphNodeNode] RETURNS[ContextTreeNode, ValueNode, ProgramGraphNode];

MakeCodeToStoreTOSInVariousLocalFrameSlotsProcType:	TYPE = PROC[REF ANY, ContextTreeNode] RETURNS[ProgramFragmentNode];

AddModulePropertiesToCompilerStateProcType:	TYPE = PROC[REF ANY, CompilerStateNode] RETURNS[CompilerStateNode];

AddValueDependenciesProcType:	TYPE = PROC[REF ANY, DependencyGraphNode, DependencyGraphNodeNode] RETURNS[DependencyGraphNode];

AddSizeDependenciesProcType:	TYPE = PROC[REF ANY, DependencyGraphNode, DependencyGraphNodeNode] RETURNS[DependencyGraphNode];

AddFirstDependenciesProcType:	TYPE = PROC[REF ANY, DependencyGraphNode, DependencyGraphNodeNode] RETURNS[DependencyGraphNode];

AddLastDependenciesProcType:	TYPE = PROC[REF ANY, DependencyGraphNode, DependencyGraphNodeNode] RETURNS[DependencyGraphNode];

TypeOpIsCodeProcType:	TYPE = PROC[REF ANY] RETURNS[BOOLEAN];

TypeOpIsFirstProcType:	TYPE = PROC[REF ANY] RETURNS[BOOLEAN];

TypeOpIsLastProcType:	TYPE = PROC[REF ANY] RETURNS[BOOLEAN];

TypeOpIsNilProcType:	TYPE = PROC[REF ANY] RETURNS[BOOLEAN];

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

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

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

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

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

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

IsKeywordPresentProcType:	TYPE = PROC[REF ANY] RETURNS[BOOLEAN];

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

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

END..