|
|
|---|
|
|
|
|---|
Fixtype of validation tables.
This is a product type introduced by fty::defprod.
A validation table is a collection of validation information for translation units and ensembles.
The
Scopes are treated in a stack-like manner [C17:6.2.1]. Thus, a validation table contains a list (i.e. stack) of scopes. The stack grows from right to left: the leftmost scope is the top, and the rightmost scope is the bottom; in other words, in the nesting of scopes in the stack, the leftmost scope is the innermost, and the rightmost scope is the outermost (i.e. the file scope [C17:6.2.1/4].)
We also track information about identifiers with external linkage, which we use for cross-checking across disjoint scopes and different translation units. This information accumulates as we validate each translation unit in the ensemble.
The