Ada Reference ManualLegal Information
Contents   Index   References   Search   Previous   Next 

H.3.1 Pragma Reviewable

1
This pragma directs the implementation to provide information to facilitate analysis and review of a program's object code, in particular to allow determination of execution time and storage usage and to identify the correspondence between the source and object programs.

Syntax

2
The form of a pragma Reviewable is as follows: 
3
  pragma Reviewable;

Post-Compilation Rules

4
Pragma Reviewable is a configuration pragma. It applies to all compilation_units included in a partition. 

Implementation Requirements

5
The implementation shall provide the following information for any compilation unit to which such a pragma applies: 
6
7
8/2
9
10
11
12
13
14
15
16
The implementation shall provide the following information for any partition to which the pragma applies: 
17
18
18.1
 The implementation shall provide control- and data-flow information, both within each compilation unit and across the compilation units of the partition. 

Implementation Advice

19
The implementation should provide the above information in both a human-readable and machine-readable form, and should document the latter so as to ease further processing by automated tools. 
20
Object code listings should be provided both in a symbolic format and also in an appropriate numeric format (such as hexadecimal or octal). 
NOTES
21
6  The order of elaboration of library units will be documented even in the absence of pragma Reviewable (see 10.2). 

Contents   Index   References   Search   Previous   Next 
Ada-Europe Sponsored by Ada-Europe