Check Template Expansions

This algorithm traverses a source model and checks template expansions for correctness. This check covers only pre-expanded expand specifiers, i.e., expand specifiers written in the form expand T { …​ }.

Input

1. A list tul of translation units.

2. An analysis data structure a representing the results of analysis so far.

Output

1. None if the check passes; otherwise an error.

Procedure

1. Check that no template expansion transitively contains a template definition.

2. Check that no template expansion transitively contains a template expansion.

3. Check that no template expansion transitively contains a deployment topology definition.

4. Check that no template expansion transitively contains a system definition.