Check Template Definitions

This algorithm traverses a source model and checks template definitions for correctness.

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

Currently this analysis does the following:

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

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

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

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

Eventually we will implement all of the checking described in the FPP specification.