Ada Compiler Validation Summary Report. Certificate Number: 890113W1.10024, R. R. Software, Inc. IntegrAda 4.1.0 Compaq Deskpro 286 Host and Target. Appendix F: Implementation Dependencies. Completion of On-Site Testing: 13 January 1989.
Abstract
This appendix specifies certain system-dependent characteristics of IntegrAda, version 4.1. In addition to the required Ada pragmas, IntegrAda also provides several others. Some of these pragmas have a textual range. Such pragmas set some value of importance to the compiler, usually a flag that may be On or Off. The value to be used by the compiler at a given point in a program depends on the parameter of the most recent relevant pragma in the text of the program. For flags, if the parameter is the identifier On, then the flag is on; if the parameter is the identifier Off, then the flag is off; if no such pragma has occurred, then a default value is used. The range of a pragma - even a pragma that usually has a textual range - may vary if the pragma is not inside a compilation unit. This matters only if you put multiple compilation units in a file. The following rules apply: 1) If a pragma is inside a compilation unit, it affects only that unit; and 2) If a pragma is outside a compilation unit, it affects all following compilation units in the compilation. Certain required Ada pragmas, such as INLINE, would follow different rules; however, as it turns out, IntegrAda ignores all pragmas that would follow different rules. (kr)
Document Details
- Document Type
- Technical Report
- Publication Date
- Jan 13, 1989
- Accession Number
- ADA212033