The main top-level function

TreeRecursiveFunction [ Tree, ROPE, Environment.arg ]

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

TreeRecursiveFunction [Tree, ROPE, Environment.arg]

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

TreeRecursiveFunction [Tree, ROPE, Environment.arg]

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]

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

TreeRecursiveFunction [Tree, Environment.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. Calls the base function AddTGNToInterfaceTGN for each Id.

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

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 ]

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 ]

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 ]

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 ]

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

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

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 ]

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

TreeRecursiveFunction [ Tree, LocalContext.arg ]

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

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 ]

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

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 ]

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

DamagedReps [ LocalContext.a ];

For Record type constructors.

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

Returns [ LocalContext.b, FieldList ]

DamagedReps [ LocalContext.a ];

For named field lists.

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

For unnamed field lists.

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

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

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

For enumerated types.

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

TreeRecursiveFunction [ Tree ]

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

TreeRecursiveFunction [ Tree ]

For Union types.

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

Returns [ LocalContext.b, UnionList ]

DamagedReps [ LocalContext.a ];

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

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]

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]

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

TreeRecursiveFunction [ Tree]

TreeRecursiveFunction [ Tree]

TreeRecursiveFunction [Tree]

TreeRecursiveFunction [Tree, NameSequence.arg]

TreeRecursiveFunction [ Tree ]

This function is applied to Bounds by GetBoundsVal

TreeRecursiveFunction [ Tree ]

TreeRecursiveFunction [ Tree ]

TreeRecursiveFunction [ Tree ]

TreeRecursiveFunction [ Tree ]

TreeRecursiveFunction [ Tree ]

TreeRecursiveFunction [ Tree ]

Produces an Id from an Exp if possible

TreeRecursiveFunction [ Tree ]