Check Framework Definitions

This algorithm traverses the source model and checks definitions for compatibility with the F Prime framework.

Input

1. A list tul of translation units.

2. An analysis data structure a representing the results of analysis so far. Check Type Uses must have already been run.

Output

1. If the check passes, an analysis data structure a with updated framework definitions; otherwise an error.

Procedure

1. 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 a or an error as output.

Translation Units

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

Definitions

For each definition d, check whether d represents a framework definition. If it does, then

1. Check that d respects the rules for that framework definition.

2. Add d to the framework definitions recorded in a.