PowerAda Separate Compilation of Generics

Chapter 8

• 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

The compiler supports separately compiled generics. You can compile generic specifications in different files from their respective generic bodies.

If you plan to compile generics separately, compile the generic body before you attempt to instantiate the generic. The generic body must be compiled and visible in the library before the instantiation can occur.

You can compile instantiations before you compile the generic body; however the compiler issues a warning in this case. All instantiations of the generic become obsolete when you compile its body. Recompile all instantiations of the generic after you compile a new generic body.

To compile the instantiation before you compile the body, place the generic specification, the generic body, and the instantiation in the same source file.