OpenCores
URL https://opencores.org/ocsvn/openrisc/openrisc/trunk

Subversion Repositories openrisc

[/] [openrisc/] [trunk/] [gnu-dev/] [or1k-gcc/] [gcc/] [ada/] [lib-writ.ads] - Blame information for rev 706

Details | Compare with Previous | View Log

Line No. Rev Author Line
1 706 jeremybenn
------------------------------------------------------------------------------
2
--                                                                          --
3
--                         GNAT COMPILER COMPONENTS                         --
4
--                                                                          --
5
--                             L I B . W R I T                              --
6
--                                                                          --
7
--                                 S p e c                                  --
8
--                                                                          --
9
--          Copyright (C) 1992-2011, Free Software Foundation, Inc.         --
10
--                                                                          --
11
-- GNAT is free software;  you can  redistribute it  and/or modify it under --
12
-- terms of the  GNU General Public License as published  by the Free Soft- --
13
-- ware  Foundation;  either version 3,  or (at your option) any later ver- --
14
-- sion.  GNAT is distributed in the hope that it will be useful, but WITH- --
15
-- OUT ANY WARRANTY;  without even the  implied warranty of MERCHANTABILITY --
16
-- or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License --
17
-- for  more details.  You should have  received  a copy of the GNU General --
18
-- Public License  distributed with GNAT; see file COPYING3.  If not, go to --
19
-- http://www.gnu.org/licenses for a complete copy of the license.          --
20
--                                                                          --
21
-- GNAT was originally developed  by the GNAT team at  New York University. --
22
-- Extensive contributions were provided by Ada Core Technologies Inc.      --
23
--                                                                          --
24
------------------------------------------------------------------------------
25
 
26
--  This package contains the routines for writing the library information
27
 
28
package Lib.Writ is
29
 
30
   -----------------------------------
31
   -- Format of Library Information --
32
   -----------------------------------
33
 
34
   --  This section describes the format of the library information that is
35
   --  associated with object files. The exact method of this association is
36
   --  potentially implementation dependent and is described and implemented in
37
   --  package ali. From the point of view of the description here, all we need
38
   --  to know is that the information is represented as a string of characters
39
   --  that is somehow associated with an object file, and can be retrieved. If
40
   --  no library information exists for a given object file, then we take this
41
   --  as equivalent to the non-existence of the object file, as if source file
42
   --  has not been previously compiled.
43
 
44
   --  The library information is written as a series of lines of the form:
45
 
46
   --    Key_Character parameter parameter ...
47
 
48
   --  The following sections describe the format of these lines in detail
49
 
50
   --------------------------------------
51
   -- Making Changes to the ALI Format --
52
   --------------------------------------
53
 
54
   --  A number of tools use ali.adb to parse ali files. This means that
55
   --  changes to this format can cause old versions of these tools to be
56
   --  incompatible with new versions of the compiler. Any changes to ali file
57
   --  formats must be carefully evaluated to understand any such possible
58
   --  conflicts, and in particular, it is very undesirable to create conflicts
59
   --  between older versions of GPS and newer versions of the compiler.
60
 
61
   --  If the following guidelines are respected, downward compatibility
62
   --  problems (old tools reading new ali files) should be minimized:
63
 
64
   --    The basic key character format must be kept
65
 
66
   --    The V line must be the first line, this is checked by ali.adb even in
67
   --    Ignore_Errors mode, and is used to verify that the file at hand is
68
   --    indeed likely intended to be an ali file.
69
 
70
   --    The P line must be present, though may be modified in contents
71
   --    according to remaining guidelines. Again, ali.adb assumes the P
72
   --    line is present even in Ignore_Errors mode.
73
 
74
   --    New modifiers can generally be added (in particular adding new two
75
   --    letter modifiers to the P or U lines is always safe)
76
 
77
   --    Adding entirely new lines (with a new key letter) to the ali file is
78
   --    always safe, at any point (other than before the V line), since such
79
   --    lines will be ignored.
80
 
81
   --  Following the guidelines in this section should ensure that this problem
82
   --  is minimized and that old tools will be able to deal successfully with
83
   --  new ali formats. Note that this does not apply to the compiler itself,
84
   --  which always requires consistency between the ali files and the binder.
85
   --  That is because one of the main functions of the binder is to ensure
86
   --  consistency of the partition, and this can be compromised if the ali
87
   --  files are inconsistent.
88
 
89
   ------------------
90
   -- Header Lines --
91
   ------------------
92
 
93
   --  The initial header lines in the file give information about the
94
   --  compilation environment, and identify other special information such as
95
   --  main program parameters.
96
 
97
   --  ----------------
98
   --  -- V  Version --
99
   --  ----------------
100
 
101
   --    V "xxxxxxxxxxxxxxxx"
102
   --
103
   --      This line indicates the library output version, as defined in
104
   --      Gnatvsn. It ensures that separate object modules of a program are
105
   --      consistent. It has to be changed if anything changes which would
106
   --      affect successful binding of separately compiled modules. Examples
107
   --      of such changes are modifications in the format of the library info
108
   --      described in this package, or modifications to calling sequences, or
109
   --      to the way that data is represented.
110
 
111
   --    Note: the V line absolutely must be the first line, and no change
112
   --    to the ALI format should change this, since even in Ignore_Errors
113
   --    mode, Scan_ALI insists on finding a V line.
114
 
115
   --  ---------------------
116
   --  -- M  Main Program --
117
   --  ---------------------
118
 
119
   --    M type [priority] [T=time-slice] [AB] [C=cpu] W=?
120
 
121
   --      This line appears only if the main unit for this file is suitable
122
   --      for use as a main program. The parameters are:
123
 
124
   --        type
125
 
126
   --          P for a parameterless procedure
127
   --          F for a function returning a value of integral type
128
   --            (used for writing a main program returning an exit status)
129
 
130
   --        priority
131
 
132
   --          Present only if there was a valid pragma Priority in the
133
   --          corresponding unit to set the main task priority. It is an
134
   --          unsigned decimal integer.
135
 
136
   --        T=time-slice
137
 
138
   --          Present only if there was a valid pragma Time_Slice in the
139
   --          corresponding unit. It is an unsigned decimal integer in the
140
   --          range 0 .. 10**9 giving the time slice value in units of
141
   --          milliseconds. The actual significance of this parameter is
142
   --          target dependent.
143
 
144
   --        AB
145
 
146
   --          Present if there is an allocator in the body of the procedure
147
   --          after the BEGIN. This will be a violation of the restriction
148
   --          No_Allocators_After_Elaboration if it is present, and this
149
   --          unit is used as a main program (only the binder can find the
150
   --          violation, since only the binder knows the main program).
151
 
152
   --        C=cpu
153
 
154
   --          Present only if there was a valid pragma CPU in the
155
   --          corresponding unit to set the main task affinity. It is an
156
   --          unsigned decimal integer.
157
 
158
   --        W=?
159
 
160
   --          This parameter indicates the wide character encoding method used
161
   --          when compiling the main program file. The ? character is the
162
   --          single character used in the -gnatW? switch. This is used to
163
   --          provide the default wide-character encoding for Wide_Text_IO
164
   --          files.
165
 
166
   --  -----------------
167
   --  -- A  Argument --
168
   --  -----------------
169
 
170
   --    A argument
171
 
172
   --      One of these lines appears for each of the arguments present in the
173
   --      call to the gnat1 program. This can be used if it is necessary to
174
   --      reconstruct this call (e.g. for fix and continue).
175
 
176
   --  -------------------
177
   --  -- P  Parameters --
178
   --  -------------------
179
 
180
   --    P <<parameters>>
181
 
182
   --      Indicates various information that applies to the compilation of the
183
   --      corresponding source file. Parameters is a sequence of zero or more
184
   --      two letter codes that indicate configuration pragmas and other
185
   --      parameters that apply:
186
   --
187
   --      The arguments are as follows:
188
   --
189
   --         CE   Compilation errors. If this is present it means that the ali
190
   --              file resulted from a compilation with the -gnatQ switch set,
191
   --              and illegalities were detected. The ali file contents may
192
   --              not be completely reliable, but the format will be correct
193
   --              and complete. Note that NO is always present if CE is
194
   --              present.
195
   --
196
   --         DB   Detect_Blocking pragma is in effect for all units in this
197
   --              file.
198
   --
199
   --         FD   Configuration pragmas apply to all the units in this file
200
   --              specifying a possibly non-standard floating point format
201
   --              (VAX float with Long_Float using D_Float).
202
   --
203
   --         FG   Configuration pragmas apply to all the units in this file
204
   --              specifying a possibly non-standard floating point format
205
   --              (VAX float with Long_Float using G_Float).
206
   --
207
   --         FI   Configuration pragmas apply to all the units in this file
208
   --              specifying a possibly non-standard floating point format
209
   --              (IEEE Float).
210
   --
211
   --         Lx   A valid Locking_Policy pragma applies to all the units in
212
   --              this file, where x is the first character (upper case) of
213
   --              the policy name (e.g. 'C' for Ceiling_Locking).
214
   --
215
   --         NO   No object. This flag indicates that the units in this file
216
   --              were not compiled to produce an object. This can occur as a
217
   --              result of the use of -gnatc, or if no object can be produced
218
   --              (e.g. when a package spec is compiled instead of the body,
219
   --              or a subunit on its own).
220
   --
221
   --         NR   No_Run_Time. Indicates that a pragma No_Run_Time applies
222
   --              to all units in the file.
223
   --
224
   --         NS   Normalize_Scalars pragma in effect for all units in
225
   --              this file.
226
   --
227
   --         Qx   A valid Queueing_Policy pragma applies to all the units
228
   --              in this file, where x is the first character (upper case)
229
   --              of the policy name (e.g. 'P' for Priority_Queueing).
230
   --
231
   --         SL   Indicates that the unit is an Interface to a Standalone
232
   --              Library. Note that this indication is never given by the
233
   --              compiler, but is added by the Project Manager in gnatmake
234
   --              when an Interface ALI file is copied to the library
235
   --              directory.
236
 
237
   --         SS   This unit references System.Secondary_Stack (that is,
238
   --              the unit makes use of the secondary stack facilities).
239
   --
240
   --         Tx   A valid Task_Dispatching_Policy pragma applies to all
241
   --              the units in this file, where x is the first character
242
   --              (upper case) of the corresponding policy name (e.g. 'F'
243
   --              for FIFO_Within_Priorities).
244
   --
245
   --         UA  Unreserve_All_Interrupts pragma was processed in one or
246
   --             more units in this file
247
   --
248
   --         ZX  Units in this file use zero-cost exceptions and have
249
   --             generated exception tables. If ZX is not present, the
250
   --             longjmp/setjmp exception scheme is in use.
251
   --
252
   --      Note that language defined units never output policy (Lx, Tx, Qx)
253
   --      parameters. Language defined units must correctly handle all
254
   --      possible cases. These values are checked for consistency by the
255
   --      binder and then copied to the generated binder output file.
256
 
257
   --    Note: The P line must be present. Even in Ignore_Errors mode, Scan_ALI
258
   --    insists on finding a P line. So if changes are made to the ALI format,
259
   --    they should not include removing the P line!
260
 
261
   --  ---------------------
262
   --  -- R  Restrictions --
263
   --  ---------------------
264
 
265
   --  The first R line records the status of restrictions generated by pragma
266
   --  Restrictions encountered, as well as information on what the compiler
267
   --  has been able to determine with respect to restrictions violations.
268
   --  The format is:
269
 
270
   --    R <<restriction-characters>> <<restriction-param-id-entries>>
271
 
272
   --      The first parameter is a string of characters that records
273
   --      information regarding restrictions that do not take parameter not
274
   --      take parameter values. It is a string of characters, one character
275
   --      for each value (in order) in All_Boolean_Restrictions. There are
276
   --      three possible settings for each restriction:
277
 
278
   --        r   Restricted. Unit was compiled under control of a pragma
279
   --            Restrictions for the corresponding restriction. In this case
280
   --            the unit certainly does not violate the Restriction, since
281
   --            this would have been detected by the compiler.
282
 
283
   --        n   Not used. The unit was not compiled under control of a pragma
284
   --            Restrictions for the corresponding restriction, and does not
285
   --            make any use of the referenced feature.
286
 
287
   --        v   Violated. The unit was not compiled under control of a pragma
288
   --            Restrictions for the corresponding restriction, and it does
289
   --            indeed use the referenced feature.
290
 
291
   --      This information is used in the binder to check consistency, i.e. to
292
   --      detect cases where one unit has "r" and another unit has "v", which
293
   --      is not permitted, since these restrictions are partition-wide.
294
 
295
   --  The second parameter, which immediately follows the first (with no
296
   --  separating space) gives restriction information for identifiers for
297
   --  which a parameter is given.
298
 
299
   --      The parameter is a string of entries, one for each value in
300
   --      Restrict.All_Parameter_Restrictions. Each entry has two components
301
   --      in sequence, the first indicating whether or not there is a
302
   --      restriction, and the second indicating whether or not the compiler
303
   --      detected violations. In the boolean case it is not necessary to
304
   --      separate these, since if a restriction is set, and violated, that is
305
   --      an error. But in the parameter case, this is not true. For example,
306
   --      we can have a unit with a pragma Restrictions (Max_Tasks => 4),
307
   --      where the compiler can detect that there are exactly three tasks
308
   --      declared. Both of these pieces of information must be passed to the
309
   --      binder. The parameter of 4 is important in case the total number of
310
   --      tasks in the partition is greater than 4. The parameter of 3 is
311
   --      important in case some other unit has a restrictions pragma with
312
   --      Max_Tasks=>2.
313
 
314
   --      The component for the presence of restriction has one of two
315
   --      possible forms:
316
 
317
   --         n   No pragma for this restriction is present in the set of units
318
   --             for this ali file.
319
 
320
   --         rN  At least one pragma for this restriction is present in the
321
   --             set of units for this ali file. The value N is the minimum
322
   --             parameter value encountered in any such pragma. N is in the
323
   --             range of Integer (a value larger than N'Last causes the
324
   --             pragma to be ignored).
325
 
326
   --      The component for the violation detection has one of three
327
   --      possible forms:
328
 
329
   --         n   No violations were detected by the compiler
330
 
331
   --         vN  A violation was detected. N is either the maximum or total
332
   --             count of violations (depending on the checking type) in all
333
   --             the units represented by the ali file). Note that this
334
   --             setting is only allowed for restrictions that are in
335
   --             Checked_[Max|Sum]_Parameter_Restrictions. The value here is
336
   --             known to be exact by the compiler and is in the range of
337
   --             Natural.
338
 
339
   --         vN+ A violation was detected. The compiler cannot determine
340
   --             the exact count of violations, but it is at least N.
341
 
342
   --      There are no spaces within the parameter string, so the entry
343
   --      described above in the header of this section for Max_Tasks would
344
   --      appear as the string r4v3.
345
 
346
   --      Note: The restrictions line is required to be present. Even in
347
   --      Ignore_Errors mode, Scan_ALI expects to find an R line and will
348
   --      signal a fatal error if it is missing. This means that future
349
   --      changes to the ALI file format must retain the R line.
350
 
351
   --  Subsequent R lines are present only if pragma Restriction No_Dependence
352
   --  is used. There is one such line for each such pragma appearing in the
353
   --  extended main unit. The format is:
354
 
355
   --    R unit_name
356
 
357
   --      Here the unit name is in all lower case. The components of the unit
358
   --      name are separated by periods. The names themselves are in encoded
359
   --      form, as documented in Namet.
360
 
361
   --  -------------------------
362
   --  -- I  Interrupt States --
363
   --  -------------------------
364
 
365
   --    I interrupt-number interrupt-state line-number
366
 
367
   --      This line records information from an Interrupt_State pragma. There
368
   --      is one line for each separate pragma, and if no such pragmas are
369
   --      used, then no I lines are present.
370
 
371
   --      The interrupt-number is an unsigned positive integer giving the
372
   --      value of the interrupt as defined in Ada.Interrupts.Names.
373
 
374
   --      The interrupt-state is one of r/s/u for Runtime/System/User
375
 
376
   --      The line number is an unsigned decimal integer giving the line
377
   --      number of the corresponding Interrupt_State pragma. This is used
378
   --      in consistency messages.
379
 
380
   --  --------------------------------------
381
   --  -- S  Priority Specific Dispatching --
382
   --  --------------------------------------
383
 
384
   --    S policy_identifier first_priority last_priority line-number
385
 
386
   --      This line records information from a Priority_Specific_Dispatching
387
   --      pragma. There is one line for each separate pragma, and if no such
388
   --      pragmas are used, then no S lines are present.
389
 
390
   --      The policy_identifier is the first character (upper case) of the
391
   --      corresponding policy name (e.g. 'F' for FIFO_Within_Priorities).
392
 
393
   --      The first_priority and last_priority fields define the range of
394
   --      priorities to which the specified dispatching policy apply.
395
 
396
   --      The line number is an unsigned decimal integer giving the line
397
   --      number of the corresponding Priority_Specific_Dispatching pragma.
398
   --      This is used in consistency messages.
399
 
400
   ----------------------------
401
   -- Compilation Unit Lines --
402
   ----------------------------
403
 
404
   --  Following these header lines, a set of information lines appears for
405
   --  each compilation unit that appears in the corresponding object file. In
406
   --  particular, when a package body or subprogram body is compiled, there
407
   --  will be two sets of information, one for the spec and one for the body,
408
   --  with the entry for the body appearing first. This is the only case in
409
   --  which a single ALI file contains more than one unit (in particular note
410
   --  that subunits do *not* count as compilation units for this purpose, and
411
   --  generate no library information, since they are inlined).
412
 
413
   --  --------------------
414
   --  -- U  Unit Header --
415
   --  --------------------
416
 
417
   --  The lines for each compilation unit have the following form
418
 
419
   --    U unit-name source-name version <<attributes>>
420
   --
421
   --      This line identifies the unit to which this section of the library
422
   --      information file applies. The first three parameters are the unit
423
   --      name in internal format, as described in package Uname, and the name
424
   --      of the source file containing the unit.
425
   --
426
   --      Version is the version given as eight hexadecimal characters with
427
   --      upper case letters. This value is the exclusive or of the source
428
   --      checksums of the unit and all its semantically dependent units.
429
   --
430
   --      The <<attributes>> are a series of two letter codes indicating
431
   --      information about the unit:
432
   --
433
   --         BD  Unit does not have pragma Elaborate_Body, but the elaboration
434
   --             circuit has determined that it would be a good idea if this
435
   --             pragma were present, since the body of the package contains
436
   --             elaboration code that modifies one or more variables in the
437
   --             visible part of the package. The binder will try, but does
438
   --             not promise, to keep the elaboration of the body close to
439
   --             the elaboration of the spec.
440
   --
441
   --         DE  Dynamic Elaboration. This unit was compiled with the dynamic
442
   --             elaboration model, as set by either the -gnatE switch or
443
   --             pragma Elaboration_Checks (Dynamic).
444
   --
445
   --         EB  Unit has pragma Elaborate_Body, or is a generic instance that
446
   --             has a body. Set for instances because RM 12.3(20) requires
447
   --             that the body be immediately elaborated after the spec (we
448
   --             would normally do that anyway, because elaborate spec and
449
   --             body together whenever possible, and for an instance it is
450
   --             always possible; however setting EB ensures that this is done
451
   --             even when using the -p gnatbind switch).
452
   --
453
   --         EE  Elaboration entity is present which must be set true when
454
   --             the unit is elaborated. The name of the elaboration entity is
455
   --             formed from the unit name in the usual way. If EE is present,
456
   --             then this boolean must be set True as part of the elaboration
457
   --             processing routine generated by the binder. Note that EE can
458
   --             be set even if NE is set. This happens when the boolean is
459
   --             needed solely for checking for the case of access before
460
   --             elaboration.
461
   --
462
   --         GE  Unit is a generic declaration, or corresponding body
463
   --
464
   --         IL  Unit source uses a style with identifiers in all lower-case
465
   --         IU  (IL) or all upper case (IU). If the standard mixed-case usage
466
   --             is detected, or the compiler cannot determine the style, then
467
   --             no I parameter will appear.
468
   --
469
   --         IS  Initialize_Scalars pragma applies to this unit, or else there
470
   --             is at least one use of the Invalid_Value attribute.
471
   --
472
   --         KM  Unit source uses a style with keywords in mixed case (KM)
473
   --         KU  or all upper case (KU). If the standard lower-case usage is
474
   --             is detected, or the compiler cannot determine the style, then
475
   --             no K parameter will appear.
476
   --
477
   --         NE  Unit has no elaboration routine. All subprogram bodies and
478
   --             specs are in this category. Package bodies and specs may or
479
   --             may not have NE set, depending on whether or not elaboration
480
   --             code is required. Set if N_Compilation_Unit node has flag
481
   --             Has_No_Elaboration_Code set.
482
   --
483
   --         OL   The units in this file are compiled with a local pragma
484
   --              Optimize_Alignment, so no consistency requirement applies
485
   --              to these units. All internal units have this status since
486
   --              they have an automatic default of Optimize_Alignment (Off).
487
   --
488
   --         OO   Optimize_Alignment (Off) is the default setting for all
489
   --              units in this file. All files in the partition that specify
490
   --              a default must specify the same default.
491
   --
492
   --         OS   Optimize_Alignment (Space) is the default setting for all
493
   --              units in this file. All files in the partition that specify
494
   --              a default must specify the same default.
495
   --
496
   --         OT   Optimize_Alignment (Time) is the default setting for all
497
   --              units in this file. All files in the partition that specify
498
   --              a default must specify the same default.
499
   --
500
   --         PF  The unit has a library-level (package) finalizer
501
   --
502
   --         PK  Unit is package, rather than a subprogram
503
   --
504
   --         PU  Unit has pragma Pure
505
   --
506
   --         PR  Unit has pragma Preelaborate
507
   --
508
   --         RA  Unit declares a Remote Access to Class-Wide (RACW) type
509
   --
510
   --         RC  Unit has pragma Remote_Call_Interface
511
   --
512
   --         RT  Unit has pragma Remote_Types
513
   --
514
   --         SP  Unit has pragma Shared_Passive.
515
   --
516
   --         SU  Unit is a subprogram, rather than a package
517
   --
518
   --      The attributes may appear in any order, separated by spaces.
519
 
520
   --  ---------------------
521
   --  -- W  Withed Units --
522
   --  ---------------------
523
 
524
   --  Following each U line, is a series of lines of the form
525
 
526
   --    W unit-name [source-name lib-name] [E] [EA] [ED] [AD]
527
   --
528
   --      One of these lines is present for each unit that is mentioned in an
529
   --      explicit with clause by the current unit. The first parameter is the
530
   --      unit name in internal format. The second parameter is the file name
531
   --      of the file that must be compiled to compile this unit. It is
532
   --      usually the file for the body, except for packages which have no
533
   --      body. For units that need a body, if the source file for the body
534
   --      cannot be found, the file name of the spec is used instead. The
535
   --      third parameter is the file name of the library information file
536
   --      that contains the results of compiling this unit. The optional
537
   --      modifiers are used as follows:
538
   --
539
   --        E   pragma Elaborate applies to this unit
540
   --
541
   --        EA  pragma Elaborate_All applies to this unit
542
   --
543
   --        ED  Elaborate_Desirable set for this unit, which means that there
544
   --            is no Elaborate, but the analysis suggests that Program_Error
545
   --            may be raised if the Elaborate conditions cannot be satisfied.
546
   --            The binder will attempt to treat ED as E if it can.
547
   --
548
   --        AD  Elaborate_All_Desirable set for this unit, which means that
549
   --            there is no Elaborate_All, but the analysis suggests that
550
   --            Program_Error may be raised if the Elaborate_All conditions
551
   --            cannot be satisfied. The binder will attempt to treat AD as
552
   --            EA if it can.
553
   --
554
   --      The parameter source-name and lib-name are omitted for the case of a
555
   --      generic unit compiled with earlier versions of GNAT which did not
556
   --      generate object or ali files for generics.
557
 
558
   --  In fact W lines include implicit withs ???
559
 
560
   --  -----------------------
561
   --  -- L  Linker_Options --
562
   --  -----------------------
563
 
564
   --  Following the W lines (if any, or the U line if not), are an optional
565
   --  series of lines that indicates the usage of the pragma Linker_Options in
566
   --  the associated unit. For each appearance of a pragma Linker_Options (or
567
   --  Link_With) in the unit, a line is present with the form:
568
 
569
   --    L "string"
570
 
571
   --      where string is the string from the unit line enclosed in quotes.
572
   --      Within the quotes the following can occur:
573
 
574
   --        c    graphic characters in range 20-7E other than " or {
575
   --        ""   indicating a single " character
576
   --        {hh} indicating a character whose code is hex hh (0-9,A-F)
577
   --        {00} [ASCII.NUL] is used as a separator character
578
   --             to separate multiple arguments of a single
579
   --             Linker_Options pragma.
580
 
581
   --      For further details, see Stringt.Write_String_Table_Entry. Note that
582
   --      wide characters in the form {hhhh} cannot be produced, since pragma
583
   --      Linker_Option accepts only String, not Wide_String.
584
 
585
   --      The L lines are required to appear in the same order as the
586
   --      corresponding Linker_Options (or Link_With) pragmas appear in the
587
   --      source file, so that this order is preserved by the binder in
588
   --      constructing the set of linker arguments.
589
 
590
   --  --------------
591
   --  -- N  Notes --
592
   --  --------------
593
 
594
   --  The final section of unit-specific lines contains notes which record
595
   --  annotations inserted in source code for processing by external tools
596
   --  using pragmas. For each occurrence of any of these pragmas, a line is
597
   --  generated with the following syntax:
598
 
599
   --    N x<sloc> [<arg_id>:]<arg> ...
600
 
601
   --      x is one of:
602
   --        A  pragma Annotate
603
   --        C  pragma Comment
604
   --        I  pragma Ident
605
   --        T  pragma Title
606
   --        S  pragma Subtitle
607
 
608
   --      <sloc> is the source location of the pragma in line:col format
609
 
610
   --      Successive entries record the pragma_argument_associations.
611
 
612
   --        If a pragma argument identifier is present, the entry is prefixed
613
   --        with the pragma argument identifier <arg_id> followed by a colon.
614
 
615
   --        <arg> represents the pragma argument, and has the following
616
   --        conventions:
617
 
618
   --          - identifiers are output verbatim
619
   --          - static string expressions are output as literals encoded as
620
   --            for L lines
621
   --          - static integer expressions are output as decimal literals
622
   --          - any other expression is replaced by the placeholder "<expr>"
623
 
624
   ---------------------
625
   -- Reference Lines --
626
   ---------------------
627
 
628
   --  The reference lines contain information about references from any of the
629
   --  units in the compilation (including body version and version attributes,
630
   --  linker options pragmas and source dependencies).
631
 
632
   --  ------------------------------------
633
   --  -- E  External Version References --
634
   --  ------------------------------------
635
 
636
   --  One of these lines is present for each use of 'Body_Version or 'Version
637
   --  in any of the units of the compilation. These are used by the linker to
638
   --  determine which version symbols must be output. The format is simply:
639
 
640
   --    E name
641
 
642
   --  where name is the external name, i.e. the unit name with either a S or a
643
   --  B for spec or body version referenced (Body_Version always references
644
   --  the body, Version references the Spec, except in the case of a reference
645
   --  to a subprogram with no separate spec). Upper half and wide character
646
   --  codes are encoded using the same method as in Namet (Uhh for upper half,
647
   --  Whhhh for wide character, where hh are hex digits).
648
 
649
   --  ---------------------
650
   --  -- D  Dependencies --
651
   --  ---------------------
652
 
653
   --  The dependency lines indicate the source files on which the compiled
654
   --  units depend. This is used by the binder for consistency checking.
655
   --  These lines are also referenced by the cross-reference information.
656
 
657
   --    D source-name time-stamp checksum [subunit-name] line:file-name
658
 
659
   --      The time-stamp field contains the time stamp of the corresponding
660
   --      source file. See types.ads for details on time stamp representation.
661
 
662
   --      The checksum is an 8-hex digit representation of the source file
663
   --      checksum, with letters given in lower case.
664
 
665
   --      The subunit name is present only if the dependency line is for a
666
   --      subunit. It contains the fully qualified name of the subunit in all
667
   --      lower case letters.
668
 
669
   --      The line:file-name entry is present only if a Source_Reference
670
   --      pragma appeared in the source file identified by source-name. In
671
   --      this case, it gives the information from this pragma. Note that this
672
   --      allows cross-reference information to be related back to the
673
   --      original file. Note: the reason the line number comes first is that
674
   --      a leading digit immediately identifies this as a Source_Reference
675
   --      entry, rather than a subunit-name.
676
 
677
   --      A line number of zero for line: in this entry indicates that there
678
   --      is more than one source reference pragma. In this case, the line
679
   --      numbers in the cross-reference are correct, and refer to the
680
   --      original line number, but there is no information that allows a
681
   --      reader of the ALI file to determine the exact mapping of physical
682
   --      line numbers back to the original source.
683
 
684
   --      Files with a zero checksum and a non-zero time stamp are in general
685
   --      files on which the compilation depends but which are not Ada files
686
   --      with further dependencies. This includes preprocessor data files
687
   --      and preprocessor definition files.
688
 
689
   --      Note: blank lines are ignored when the library information is read,
690
   --      and separate sections of the file are separated by blank lines to
691
   --      ease readability. Blanks between fields are also ignored.
692
 
693
   --      For entries corresponding to files that were not present (and thus
694
   --      resulted in error messages), or for files that are not part of the
695
   --      dependency set, both the time stamp and checksum are set to all zero
696
   --      characters. These dummy entries are ignored by the binder in
697
   --      dependency checking, but must be present for proper interpretation
698
   --      of the cross-reference data.
699
 
700
   --------------------------
701
   -- Cross-Reference Data --
702
   --------------------------
703
 
704
   --  The cross-reference data follows the dependency lines. See the spec of
705
   --  Lib.Xref for details on the format of this data.
706
 
707
   ---------------------------------
708
   -- Source Coverage Obligations --
709
   ---------------------------------
710
 
711
   --  The Source Coverage Obligation (SCO) information follows the cross-
712
   --  reference data. See the spec of Par_SCO for full details of the format.
713
 
714
   ----------------------
715
   -- Alfa Information --
716
   ----------------------
717
 
718
   --  The Alfa information follows the SCO information. See the spec of Alfa
719
   --  for full details of the format.
720
 
721
   ----------------------
722
   -- Global Variables --
723
   ----------------------
724
 
725
   --  The table defined here stores one entry for each Interrupt_State pragma
726
   --  encountered either in the main source or in an ancillary with'ed source.
727
   --  Since interrupt state values have to be consistent across all units in a
728
   --  partition, we detect inconsistencies at compile time when we can.
729
 
730
   type Interrupt_State_Entry is record
731
      Interrupt_Number : Pos;
732
      --  Interrupt number value
733
 
734
      Interrupt_State : Character;
735
      --  Set to r/s/u for Runtime/System/User
736
 
737
      Pragma_Loc : Source_Ptr;
738
      --  Location of pragma setting this value in place
739
   end record;
740
 
741
   package Interrupt_States is new Table.Table (
742
     Table_Component_Type => Interrupt_State_Entry,
743
     Table_Index_Type     => Nat,
744
     Table_Low_Bound      => 1,
745
     Table_Initial        => 30,
746
     Table_Increment      => 200,
747
     Table_Name           => "Name_Interrupt_States");
748
 
749
   --  The table structure defined here stores one entry for each
750
   --  Priority_Specific_Dispatching pragma encountered either in the main
751
   --  source or in an ancillary with'ed source. Since have to be consistent
752
   --  across all units in a partition, we may as well detect inconsistencies
753
   --  at compile time when we can.
754
 
755
   type Specific_Dispatching_Entry is record
756
      Dispatching_Policy : Character;
757
      --  First character (upper case) of the corresponding policy name
758
 
759
      First_Priority     : Nat;
760
      --  Lower bound of the priority range to which the specified dispatching
761
      --  policy applies.
762
 
763
      Last_Priority      : Nat;
764
      --  Upper bound of the priority range to which the specified dispatching
765
      --  policy applies.
766
 
767
      Pragma_Loc         : Source_Ptr;
768
      --  Location of pragma setting this value in place
769
   end record;
770
 
771
   package Specific_Dispatching is new Table.Table (
772
     Table_Component_Type => Specific_Dispatching_Entry,
773
     Table_Index_Type     => Nat,
774
     Table_Low_Bound      => 1,
775
     Table_Initial        => 10,
776
     Table_Increment      => 100,
777
     Table_Name           => "Name_Priority_Specific_Dispatching");
778
 
779
   -----------------
780
   -- Subprograms --
781
   -----------------
782
 
783
   procedure Ensure_System_Dependency;
784
   --  This procedure ensures that a dependency is created on system.ads. Even
785
   --  if there is no semantic dependency, Targparm has read the file to
786
   --  acquire target parameters, so we need a source dependency.
787
 
788
   procedure Write_ALI (Object : Boolean);
789
   --  This procedure writes the library information for the current main unit
790
   --  The Object parameter is true if an object file is created, and false
791
   --  otherwise.
792
   --
793
   --  Note: in the case where we are not generating code (-gnatc mode), this
794
   --  routine only writes an ALI file if it cannot find an existing up to
795
   --  date ALI file. If it *can* find an existing up to date ALI file, then
796
   --  it reads this file and sets the Lib.Compilation_Arguments table from
797
   --  the A lines in this file.
798
 
799
   procedure Add_Preprocessing_Dependency (S : Source_File_Index);
800
   --  Indicate that there is a dependency to be added on a preprocessing data
801
   --  file or on a preprocessing definition file.
802
 
803
end Lib.Writ;

powered by: WebSVN 2.1.0

© copyright 1999-2024 OpenCores.org, equivalent to Oliscience, all rights reserved. OpenCores®, registered trademark.