Construct Implied Use Map

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

Input

1. A list tul of translation units.

2. 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.

Port Instance Specifiers

For each special port instance specifier p, add the implied port uses of p to the entry for p in the implied use map.

State Machine Definitions

For each state machine definition d, add the implied use of the state enum for d to the entry for d in the implied use map.

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.