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
![\begin{figure}\begin{flushleft}
\textbf{Required.d}\textnormal{[10]}:
\begin{quo...
...notesize This macro is attached to a product file.}
\end{flushleft}
\end{figure}](img7.png) |
2008-08-29