next up previous
Next: Pascal Section Up: An Analyzer for Pascal Previous: Name analysis of qualified

Enforcing Constraints

ANSI/IEEE 770X3.97-1983 specifies a number of constraints upon the constructs of the language. If a program violates any of these constraints, it is illegal and an error report should be provided to the author. This section specifies tree computations that check for violation of the following constraints, and issue messages:

Pascal Section[3]
Pascal Section[4]
This macro is attached to a product file.

Most error reporting requires the Eli string concatenation module to construct error reports containing variable information; other modules will be instantiated later in this section as needed:

Instantiate appropriate modules[5]
This macro is attached to a product file.