Check Framework Constant Values

This algorithm checks the framework constant definitions to ensure that they have valid values.

Prerequisites

The following analysis passes must have been run:

1. Check Framework Definitions.

2. Evaluate Constant Expressions.

Input

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

Output

The unmodified analysis a, if the check passes; otherwise an error.

Procedure

For each framework constant definition D in a

1. Look in the value map to find the value v provided by D.

2. Check that v conforms to the rules for D.