PowerAda 10

Appendix C

• Notice
• Chapter 1. Overview
• Chapter 2. Getting Started
• Chapter 3. Basic PowerAda Concepts
• Chapter 4. The PowerAda Development Environment
• Chapter 5. Project Management with PowerAda
• Chapter 6. The PowerAda Debugger: adbg
• Chapter 7. Interface to Other Languages
• Chapter 8. Implementation Details
• Chapter 9. Optimization
• APPENDIX A - Glossary
• APPENDIX B - Support Packages
• APPENDIX C - Implementation Characteristics
• APPENDIX D - Demos and Tutorials
• APPENDIX E - Tools Reference
• APPENDIX F - Debugger Command Reference
• Index

Contents |  Installation Guide | Release Notes

First | Prev | Next | Last

(10) Implementation-defined pragmas.

See 2.8(14).

Implementation-defined pragmas are:

pragma COMMENT(Static_String);
pragma CM_INFO(Static_String);
pragma SCCS_ID(Static_String);

Embeds the Static_String into object code. Pragma COMMENT, CM_INFO, and SCCS_ID are allowed only within a declarative part or immediately within a package specification.

pragma IMAGES(Enumeration_Type, immediate | deferred);

An obsolescent feature now replaced by the language-defined pragma DISCARD_NAMES. Controls the creation and allocation of the image and index tables for the specified enumeration type. The syntax and use of this pragma are described in Chapter 9, "Pragma IMAGES".

pragma INTERFACE (LanguageName, SubprogramName);

An obsolescent feature provided for upwards compatibility. Operates as specified in the Ada83 standard and as described in Chapter 7, "Mapping Ada Data Types to Other Languages".

pragma INTERFACE_INFORMATION (SubprogramName, "LinkName" 
        [, "Stack_Size=>Bytes"]);

An obsolescent feature provided for upwards compatibility. When used in conjunction with pragma INTERFACE, provides access to any routine whose name can be specified by an Ada string literal. The syntax and use of this pragma are described in Chapter 7, "Mapping Ada Data Types to Other Languages"..

pragma MEMORY_SIZE(numeric_literal);

An obsolescent feature provided for upward compatibility. Operates as specified in the Ada83 standard.

pragma NO_SUPPRESS(Condition_Name);

Prevents checks for a specified condition from being suppressed. It has the same scope as pragma SUPPRESS. = See Chapter 9, "Pragma NO_SUPPRESS" for more information.

pragma PRESERVE_LAYOUT (Record_Type);

Prevents the compiler from re-ordering record components. It must occur in a declarative region, following the declaration of the record type to which it is applied. = See Chapter 8, "Pragma PRESERVE_LAYOUT" for more information.

pragma STORAGE_UNIT(numeric_literal);

An obsolescent feature provided for upward compatibility. Operates as specified in the Ada83 standard.

pragma SUPPRESS_ALL;

Suppresses all error checks, including elaboration checks. It has the same scope as pragma SUPPRESS. = See Chapter 9, "Suppressing Run-Time Checks" for more information.

pragma SYSTEM_NAME(enumeration_literal);

An obsolescent feature provided for upward compatibility. Operates as specified in the Ada83 standard.