next up previous
Next: Defining occurrences Up: Name Analysis Previous: Regions

Identifiers denoting required entities

Identifiers that denote required constants, types, procedures and functions are used as though their defining points have a region enclosing the program. Eli's pre-defined identifier module implements this functionality.

Instantiate appropriate modules[9]:
$/Name/PreDefine.gnrc +referto=identifier :inst
$/Name/PreDefId.gnrc +referto=(Required.d) :inst
This macro is defined in definitions 9.
This macro is invoked in definition 1.

All of the required identifiers listed in Appendix C of ANSI/IEEE 770X3.97-1983 are specified in file Required.d (Figure 7).

Figure 7: Required identifiers
...notesize This macro is attached to a product file.}