Check Dictionary Definitions

This algorithm traverses the source model and checks dictionary definitions.

Input

1. A list tul of translation units.

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

Output

1. An analysis data structure a with updated dictionary symbol set, or an error.

Procedure

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 an updated analysis data structure a' or an error as output.

Translation Units

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

Definitions

For each definition d that represents a dictionary definition

1. If d obeys the rules for dictionary definitions, then add d to the dictionary symbol set.

2. Otherwise return an error.