Ada Compiler Validation Summary Report. Certificate Number: 890113W1. 10023, R. R. Software, Inc. JANUS/Ada 2.1.1 PC's Limited 386 Host and Target with Pharlap Dos Extender. Appendix F: Implementation Dependencies. Completion of On-Site Testing: 13 January 1989

Abstract

This appendix specifies certain system-dependent characteristics of JANUS/Ada, version 2.1.1, for a 386 Pharlap target. In addition to the required Ada pragmas, JANUS/Ada 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. 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, JANUS/Ada ignores all pragmas that would follow different rules.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 13, 1989
Accession Number
ADA211965

Tags

Communities of Interest

  • Energy and Power Technologies

DTIC Thesaurus Topics

  • Compilers
  • Consoles
  • Debugging
  • Demographic Cohorts
  • Department Of Defense
  • Directories
  • Errors
  • Floating Point Operations
  • Object Code
  • Operating Systems
  • Optimization
  • Personality
  • Specifications
  • Standards
  • United States
  • Validation

Readers

  • Business Analytics
  • Educational Psychology
  • Software Verification and Validation.