Check Framework Definitions - nasa/fpp GitHub Wiki

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. The analysis a if the check passes; 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, check that d respects the rules for that framework definition.

⚠️ **GitHub.com Fallback** ⚠️