Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Check Port Definitions

Jump to bottom
Ali Mosallaei edited this page Jul 2, 2024 · 1 revision

This algorithm traverses the source model and checks port definitions.

Input

  1. A list tul of translation units.

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

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.

Port Definitions

  1. For each port definition d, check that the parameter names in d are unique.

  2. Return a as the result.

Clone this wiki locally