For legacy tests, a "macro" substitution
technique is used. Legacy tests requiring implementation-specific values
contain symbols beginning with the '$' character; for example, the symbol
$INTEGER_LAST is used where the code expects the implementation-specific
integer literal representing the largest integer. For each implementation,
these symbols must be systematically replaced with the appropriate values.
A data file,
MACRO.DFS, and an Ada program,
Macrosub,
are provided to facilitate this substitution.
For modern tests, a hierearchy of packages is provided
that contain constants and functions that provide the desired implementation-specific
values. These packages ("ImpDef" and its children) should be
modified for each implementation to provide the needed values.