Ada 95 Quality and Style Guide Chapter 10

Chapter 10: Improving Performance - TOC - 10.7 PRAGMAS

10.7.5 Pragma Discard_Names

guideline

  • Use pragma Discard_Names when the names are not needed by the application and data space is at a premium.

    • rationale

    This may reduce the memory needed to store names of Ada entities, where no operation uses those names (Ada Reference Manual 1995, §C.5).

    < Previous Page Search Contents Index Next Page >
    1 2 3 4 5 6 7 8 9 10 11
    TOC TOC TOC TOC TOC TOC TOC TOC TOC TOC TOC
    Appendix References Bibliography