Ada 95 Quality and Style Guide | Chapter 10 |
10.7.5 Pragma Discard_Namesguideline
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 |