The main top-level function

TreeRecursiveFunction [Tree, ROPE.fileName, Environment.arg, CompilerState.arg]

TreeRecursiveFunction [Tree, ROPE, Environment.arg, CompilerState.arg]

A top-level function which enters included files in the environment but does no other work

TreeRecursiveFunction [Tree, ROPE.fileName, Environment.arg, CompilerState.arg]

TreeRecursiveFunction [Tree, ROPE, Environment.arg, CompilerState.arg]

This is the main function, in fact. DoTop simply calls this.

TreeRecursiveFunction [Tree, ROPE.fileName, Environment.arg, CompilerState]

Applied to Directory and IncludeItem. For each IncludeItem, if the file does not already appear in the environment a parse tree for the specified file is obtained and the main function MakeEnvironment is applied to it, yielding an updated environment, and an interface for the file. Otherwise the interface for the file is retrieved from the envirpnment.

The filename, a locally visible TGN and an interfaceTGN are then entered into the localContext.

TreeRecursiveFunction [Tree, FieldList.arg, LocalContext.arg, Environment.arg, CompilerState]

Applied to Directory and IncludeItem. For each IncludeItem, if the file does not already appear in the environment a parse tree for the specified file is obtained and the main function MakeEnvironment is applied to it, yielding an updated environment, and an interface for the file. Otherwise the interface for the file is retrieved from the envirpnment.

The filename, a locally visible TGN and an interfaceTGN are then entered into the localContext.

TreeRecursiveFunction [Tree, LocalContext.arg, Environment.arg, CompilerState.arg]

TreeRecursiveFunction [Tree, LocalContext.arg, Environment.arg, CompilerState]

TreeRecursiveFunction [Tree, LocalContext.arg, Environment.arg, CompilerState.arg]

Like ProcessDirectoryClause except that only ExploreEnvironment is applied to the new file.

TreeRecursiveFunction [Tree, LocalContext.arg, Environment.arg, CompilerState.arg]

TreeRecursiveFunction [Tree, LocalContext.arg, Environment.arg, CompilerState.arg]

Applied to Using clauses. The second argument is a named TGN whose type field is an interface type graph node.

TreeRecursiveFunction [Tree, TypeGraphNode.arg]

Applied to Using clauses; Creates an empty interface TGN for the interface passed in and puts in the items mentioned if any, or just creates an interface TGN for the entire interface (if no Using clause)

TreeRecursiveFunction [Tree, LocalContext.arg, InterfaceVal]

Applied to IdList.

TreeRecursiveFunction [Tree, TypeGraphNode.named]

Applied to IdList. Calls the base function AddTGNToInterfaceTGN for each Id.

TreeRecursiveFunction [Tree, LocalContext.arg, TypeGraphNode.interface, InterfaceVal]

Applied to DefHeads

TreeRecursiveFunction [Tree, LocalContext.arg, BOOLEAN.cedar, CompilerState]

Returns [LocalContext.res, TypeGraphNode.interface]

DamagedReps [LocalContext.arg];

Applied to ProgHeads

TreeRecursiveFunction [Tree, LocalContext.arg, BOOLEAN.cedar, CompilerState]

Returns [LocalContext.res, TypeGraphNode.implementation]

DamagedReps [LocalContext.arg];

Each new scope is required to make a ContextTree. The basic algorithm is
1. Create an empty local context.
2. Update it - fill in the new information.
3. Freeze the local context into a rib.
4. Make a context tree with the rib.
5. Hang trees for nested contexts from it.

TreeRecursiveFunction [ Tree, ContextRib, BOOLEAN.PaintRecords, CompilerState ]

Makes the Context Tree for everything in Scope other than the bindlist; i.e. it makes the context that is nested within bindList. This is needed because of the problem that semantically nested things are not syntactically nested.

TreeRecursiveFunction [ Tree, ContextRib, BOOLEAN.PaintRecords, CompilerState ]

Used to pass the job of making a context tree onto the BindList

Makes the Context Tree for a bindList and its nested context - everything else in Scope.

TreeRecursiveFunction [ Tree.bindList, ScopePTree, ContextRib, BOOLEAN.PaintRecords, CompilerState ]

Used to pass the job of making a context tree onto the DefBody

Makes the Context Tree for a bindList and its nested context - everything else in DefBody.

TreeRecursiveFunction [ Tree.bindList, DefBodyPTree, ContextRib, BOOLEAN.PaintRecords, CompilerState ]

Each Scope hangs the ContextTrees for nested Scopes from its own ContextTree.

TreeRecursiveFunction [ Tree, ContextTree.arg, ContextRib, BOOLEAN.PaintRecords, CompilerState ]

For DecList this function is implemented 'in two passes' with FillInLocalContext and PutNewNamesInLocalContext

For BindList and Directory it is implemented by simple calls to base functions

TreeRecursiveFunction [ Tree, LocalContext.arg, BOOLEAN.PaintRecords, CompilerState ]

Applied to DecLists.

TreeRecursiveFunction [Tree, FieldList.arg, LocalContext.arg, CompilerState]

Applied to Declarations.

TreeRecursiveFunction [Tree, FieldList.arg, LocalContext.arg, CompilerState]

This function is applied to DecList and Declaration on a 'first pass' that finds all the locally visible type names.

TreeRecursiveFunction [ Tree, LocalContext.arg, CompilerState ]

This function is applied to IdentList by PutNewNamesInLocalContext. It has the extra Access field: the access on a Declaration is common to all Ids in the Declaration.

TreeRecursiveFunction [ Tree, LocalContext.arg, AccessVal ]

This function is applied to IdentList by PutNewNamesInLocalContext. The BOOLEAN argument is true if the names are for runtime constants, false if they are for variables.

TreeRecursiveFunction [ Tree, LocalContext.arg, AccessVal, BOOLEAN ]

This function implements the 'second pass' of UpdateLocalContext and fills in the type information for the previously recorded type names in the currect context.

TreeRecursiveFunction [ Tree, LocalContext.arg, BOOLEAN.PaintRecords, CompilerState ]

This function does the work for FillInLocalContext; it is applied to IdentList, and associates each (previously recorded) type name (Id) with its TypeGraphNode and access and default values.

TreeRecursiveFunction [ Tree, LocalContext.arg, AccessVal, TypeGraphNode, DefaultExp ]

This function does the work for FillInLocalContext; it is applied to IdentList, and associates each (previously recorded) name (Id) with its instance and access values.

TreeRecursiveFunction [ Tree, LocalContext.arg, AccessVal, Instance ]

TreeRecursiveFunction [Tree, LocalContext.a, BOOLEAN.PaintRecords, CompilerState]

Returns [ LocalContext.b, TypeGraphNode ]

DamagedReps [ LocalContext.a ];

For TypeId type expressions. Might actually involve some creation of TGNs because not all possible variants and interface type TGNs are created when the variant record or interface is created. MakeType of a TypeId is implemented by this function - but this name seemed appropriate since the intention of a TypeId is that it should describe types that already exist.

TreeRecursiveFunction [ Tree, LocalContext.arg]

Returns [ LocalContext.res, TypeGraphNode ]

DamagedReps [ LocalContext.arg ];

For Transfer types.

TreeRecursiveFunction [ Tree, LocalContext.a, BOOLEAN.PaintRecords, CompilerState ]

Returns [ LocalContext.b, FrozenFieldList.input, FrozenFieldList.output ]

DamagedReps [ LocalContext.a ];

For Record type constructors.

TreeRecursiveFunction [ Tree, LocalContext.a, BOOLEAN.PaintRecords, CompilerState ]

Returns [ LocalContext.b, FieldList ]

DamagedReps [ LocalContext.a ];

For named field lists.

TreeRecursiveFunction [Tree, LocalContext.a, FieldList.a, BOOLEAN.PaintRecords, CompilerState]

For unnamed field lists.

TreeRecursiveFunction [Tree, LocalContext.a, FieldList.a, BOOLEAN.PaintRecords, CompilerState]

This function is applied to IdList by AddPairsToFieldList and adds <Id, FrozenFieldList> pairs to the FieldList

TreeRecursiveFunction [ Tree, AccessVal, TypeGraphNode, DefaultExp, FieldList.a ]

TreeRecursiveFunction [Tree, FieldList.arg, LocalContext.arg, CompilerState, AccessVal.id, AccessVal.type, TypeGraphNode, TypeExpPTree, DefaultExp]

Returns [FieldList.res, LocalContext.res]

DamagedReps [FieldList.arg, LocalContext.arg];

TreeRecursiveFunction [Tree, FieldList.arg, CompilerState, DeclarationPTree, AccessVal, TypeGraphNode, InitializationPTree]

Returns [FieldList.res]

DamagedReps [FieldList.arg];

jrr - July 29, 1988 1:55:12 pm PDT

TreeRecursiveFunction [Tree, Field.template, FieldList.arg]

Returns [FieldList.res]

DamagedReps [FieldList.arg];

For enumerated types.

TreeRecursiveFunction [ Tree, LocalContext.arg, BOOLEAN.machineDependent ]

TreeRecursiveFunction [ Tree ]

TreeRecursiveFunction [Tree, LocalContext.arg, BOOLEAN.PaintRecords, CompilerState]

TreeRecursiveFunction [ Tree ]

For Union types.

TreeRecursiveFunction [ Tree, LocalContext.a, BOOLEAN.paintRecords, CompilerState]

Returns [ LocalContext.b, UnionList ]

DamagedReps [ LocalContext.a ];

TreeRecursiveFunction [ Tree, LocalContext.arg, UnionList.arg, BOOLEAN.paintRecords, CompilerState]

Returns [LocalContext.res, UnionList.res]

DamagedReps [LocalContext.arg, UnionList.arg];

This function is applied to IdList by AddVariantsToUnionList and adds Id, FrozenFieldList pairs to the UnionList

TreeRecursiveFunction [ Tree, FrozenFieldList, UnionList.arg]

Returns [UnionList.res]

DamagedReps [UnionList.arg];

TreeRecursiveFunction [Tree, LocalContext.a, BOOLEAN.PaintRecords, CompilerState]

This function makes an enumerated type from the Ids in a VariantList for * type Tag fields

TreeRecursiveFunction [Tree, LocalContext.a]

This function is applied to VariantList by MakeStarTagType to build an enumerated type

TreeRecursiveFunction [Tree, LocalContext.a, TypeGraphNode]

Variants for Union types come in three flavors: Vanilla, Overlaid, Computed.

TreeRecursiveFunction [Tree, CompilerState]

Currently only used by MakeVariantFlavor to obtain Id and Position from a tag Ident.

TreeRecursiveFunction [ Tree]

TreeRecursiveFunction [Tree, CompilerState]

TreeRecursiveFunction [Tree]

TreeRecursiveFunction [Tree, NameSequence.arg]

TreeRecursiveFunction [Tree, LocalContext, FieldList, CompilerState, TypeGraphNode.targetType]

Returns [Value];

Applied to Exp's. Constructs and returns a value corresponding to the Exp.

Very important: Since there are no guarantees about the type of the instance returned, this function should only be called:

In the second case, the code related to the polymorphic operator is responsible for performing any necessary type checking.

Note that the targetType is only used to provide hints for evaluating the Exp; it does not affect the type of the returned value. CompileAndTypeCheckExpression is responsible for testing that the type of the returned value is compatible with the target type.

TreeRecursiveFunction [Tree, ContextTree.arg, CompilerState, TypeGraphNode.targetType]

Returns [Value, ContextTree.res]

DamagedReps [ContextTree.arg];

TreeRecursiveFunction [Tree, LocalContext, FieldList, CompilerState, TypeGraphNode.targetType]

Returns [BigINT];

TreeRecursiveFunction [Tree, ContextTree.arg, CompilerState, TypeGraphNode.targetType]

Returns [BigINT];

TreeRecursiveFunction [Tree, LocalContext, FieldList, CompilerState, TypeGraphNode.targetType]

Returns [Value];

TreeRecursiveFunction [Tree, ContextTree.arg, CompilerState, TypeGraphNode.targetType]

Returns [Value];

TreeRecursiveFunction [Tree, LocalContext, FieldList, CompilerState, TypeGraphNode.targetType]

Returns [Value];

TreeRecursiveFunction [Tree, ContextTree.arg, CompilerState, TypeGraphNode.targetType]

Returns [Value];

TreeRecursiveFunction [Tree, ContextTree, CompilerState]

Returns [ParameterizedFieldDescriptor, TypeGraphNode];

Applied to AddOp's.

Applied to AddOp's.

Applied to MultOp's.

Applied to MultOp's.

Applied to MultOp's.

Applied to Num's (number literals). Returns a Value for the literal.

TreeRecursiveFunction [Tree]

TreeRecursiveFunction [Tree, Value.ofExp, ContextTree.arg, CompilerState, TypeGraphNode.targetType]

Returns [Value.res, ContextTree.res]

DamagedReps [ContextTree.arg];

Applied to Initializations (and then to InitialValues). Returns an unparsed or dummy value. (No, I don't know what it's supposed to do when it encounters other kinds of initial values.)

TreeRecursiveFunction [Tree]

TreeRecursiveFunction [Tree, ContextTree.arg, ProgramGraph.arg, CompilerState]

Returns [ContextTree.res, ProgramFragment, ProgramGraph.res]

DamagedReps [ContextTree.arg, ProgramGraph.arg];

Applied to Blocks.

TreeRecursiveFunction [Tree, TypeGraphNode.transferType, ContextTree.parent, ProgramGraph.arg, CompilerState]

Returns [ContextTree, ProgramFragment, ProgramGraph.res]

DamagedReps [ContextTree.parent, ProgramGraph.arg];

Applied to Blocks.

TreeRecursiveFunction [Tree, ContextRib.parent, CompilerState]

Returns [ContextTree, ProgramFragment];

Applied to Blocks. This is the guts of the block compiler; CompileFrameBlock and CompileNestedBlock both call InternalCompileBlock. The LocalContext argument either is an empty local context (for nested blocks) or contains field info for the transfer type's arguments and results.

TreeRecursiveFunction [Tree, LocalContext.withinBlock, FieldList.arg, ProgramGraph.arg, CompilerState]

Returns [ContextTree, ProgramFragment, ProgramGraph.res]

DamagedReps [LocalContext.withinBlock, FieldList.arg, ProgramGraph.arg];

TreeRecursiveFunction [Tree, LocalContext.withinScope, FieldList.arg, ProgramGraph.arg, CompilerState]

Returns [ContextTree, ProgramFragment, ProgramGraph.res]

DamagedReps [LocalContext.withinScope, FieldList.arg, ProgramGraph.arg];

Applied to Statements. (note: when CompileStatement encounters a block statement, it simply calls CompileNestedBlock.)

TreeRecursiveFunction [Tree, LocalContext, CompilerState]

Returns [ContextTree, ProgramFragment];

Applied to Initializations and InitialValues. If the BOOLEAN value returned is FALSE, then no initialization code has to be executed. Otherwise, the ProgramFragment returned is code to place the appropriate initial value on the top of the runtime stack.,

TreeRecursiveFunction [Tree, ContextTree.arg, ProgramGraph.arg, CompilerState, TypeGraphNode.targetType]

Returns [ContextTree.res, Value, ProgramGraph.res]

DamagedReps [ContextTree.arg, ProgramGraph.arg];

Applied to IdentLists and Idents.

TreeRecursiveFunction [Tree, ContextTree]

Returns [ProgramFragment];

Applied to DefHeads and Progheads.

TreeRecursiveFunction [Tree, CompilerState.arg]

Applied to Exps and Initializations. Adds dependencies of the form (DGN depends on foo), where DGN is the argument DependencyGraphNode.arg and the foos are based on the Exp.

TreeRecursiveFunction [Tree, DependencyGraph.arg, DependencyGraphNode.arg]

Returns [DependencyGraph.res]

DamagedReps [DependencyGraph.arg];

Applied to TypeExps. Adds dependencies of the form (DGN depends on foo), where DGN is the argument DependencyGraphNode.arg and the foos are based on the Exp.

TreeRecursiveFunction [Tree, DependencyGraph.arg, DependencyGraphNode.arg]

Returns [DependencyGraph.res]

DamagedReps [DependencyGraph.arg];

TreeRecursiveFunction [Tree, DependencyGraph.arg, DependencyGraphNode.arg]

Returns [DependencyGraph.res]

DamagedReps [DependencyGraph.arg];

TreeRecursiveFunction [Tree, DependencyGraph.arg, DependencyGraphNode.arg]

Returns [DependencyGraph.res]

DamagedReps [DependencyGraph.arg];

TreeRecursiveFunction [ Tree ]

This function is applied to Bounds by GetBoundsVal

TreeRecursiveFunction [ Tree ]

TreeRecursiveFunction [ Tree ]

TreeRecursiveFunction [ Tree ]

TreeRecursiveFunction [Tree, AccessVal.default]

TreeRecursiveFunction [ Tree ]

TreeRecursiveFunction [ Tree ]

Produces an Id from an Exp if possible

TreeRecursiveFunction [ Tree ]