Accession Number : ADA212033

Title :   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.

Corporate Author : INFORMATION SYSTEMS AND TECHNOLOGY CENTER WRIGHT-PATTERSON AFB OH ADA VALIDAT ION FACILITY

PDF Url : ADA212033

Report Date : 13 Jan 1989

Pagination or Media Count : 17

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)

Descriptors :   *COMPILERS, ADA PROGRAMMING LANGUAGE, COMPUTER PROGRAMS, FLAGS, TEST AND EVALUATION, VALIDATION

Subject Categories : Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE