Check Topology Instances

This algorithm traverses the source model and checks topology instances & topology ports.

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 partial topology map filled in if the check passes; otherwise an error.

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 that has not yet been resolved into the partial topology map:

1. Visit each member m of d with input a, building up a topology data structure t for topology port members topology instance specifiers.

2. Construct the unique topology symbol s for d.

3. Map s to t in the partial topology map of a.

4. Return a as the result.