PowerAda 19

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

(19) What combinations of small, range, and digits are supported for fixed point types.

See 3.5.9(10).

Any combination of small and range such that the mantissa for the type is no greater than 31 where mantissa is computed as follows:

bound = max( abs(lower bound), abs(upper bound));
                         bound - 1
mantissa := log ( 1 + (  --------- ) );
               2           small

Decimal_fixed_point_definitions using a digits specification are not yet implemented, but can be achieved by setting the small and delta of a fixed point type equal to a power of 10, and providing a range specification that satisfies the above conditions.