Construct Implied Use Map - nasa/fpp GitHub Wiki

This algorithm traverses the source model and constructs the implied use map.

Input

A list tul of translation units.
An analysis data structure a representing the results of analysis so far.

Output

An updated analysis a' with the implied use map filled in.

Procedure

Visit each translation unit in tul with input a, yielding either a' or an error.

AST Visitor Methods

Each method accepts an analysis data structure a as input and yields either an updated analysis data structure a' or an error as output.

Translation Units

For each translation unit tu, visit each definition appearing in tu.

Topology Definitions

For each topology definition d, if the dictionary generation flag is set to true, then add the types and constants implicitly required for dictionary generation to the entry for d in the implied use map. These types and constants are specified in the F Prime JSON dictionary specification.