gcc/ada/ali.ads

   1 ------------------------------------------------------------------------------
   2 --                                                                          --
   3 --                         GNAT COMPILER COMPONENTS                         --
   4 --                                                                          --
   5 --                                  A L I                                   --
   6 --                                                                          --
   7 --                                 S p e c                                  --
   8 --                                                                          --
   9 --                            $Revision: 1.3 $
  10 --                                                                          --
  11 --          Copyright (C) 1992-2001 Free Software Foundation, Inc.          --
  12 --                                                                          --
  13 -- GNAT is free software;  you can  redistribute it  and/or modify it under --
  14 -- terms of the  GNU General Public License as published  by the Free Soft- --
  15 -- ware  Foundation;  either version 2,  or (at your option) any later ver- --
  16 -- sion.  GNAT is distributed in the hope that it will be useful, but WITH- --
  17 -- OUT ANY WARRANTY;  without even the  implied warranty of MERCHANTABILITY --
  18 -- or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License --
  19 -- for  more details.  You should have  received  a copy of the GNU General --
  20 -- Public License  distributed with GNAT;  see file COPYING.  If not, write --
  21 -- to  the Free Software Foundation,  59 Temple Place - Suite 330,  Boston, --
  22 -- MA 02111-1307, USA.                                                      --
  23 --                                                                          --
  24 -- GNAT was originally developed  by the GNAT team at  New York University. --
  25 -- It is now maintained by Ada Core Technologies Inc (http://www.gnat.com). --
  26 --                                                                          --
  27 ------------------------------------------------------------------------------
  28
  29 --  This package defines the internal data structures used for representation
  30 --  of Ada Library Information (ALI) acquired from the ALI files generated
  31 --  by the front end.
  32
  33 with Casing;  use Casing;
  34 with Gnatvsn; use Gnatvsn;
  35 with Rident;  use Rident;
  36 with Table;
  37 with Types;   use Types;
  38
  39 with GNAT.HTable; use GNAT.HTable;
  40
  41 package ALI is
  42
  43    --------------
  44    -- Id Types --
  45    --------------
  46
  47    --  The various entries are stored in tables with distinct subscript
  48    --  ranges. The following type definitions indicate the ranges used
  49    --  for the subscripts (Id values) for the various tables.
  50
  51    type ALI_Id is range 0 .. 999_999;
  52    --  Id values used for ALIs table entries
  53
  54    type Unit_Id is range 1_000_000 .. 1_999_999;
  55    --  Id values used for Unit table entries
  56
  57    type With_Id is range 2_000_000 .. 2_999_999;
  58    --  Id values used for Withs table entries
  59
  60    type Arg_Id is range 3_000_000 .. 3_999_999;
  61    --  Id values used for argument table entries
  62
  63    type Sdep_Id is range 4_000_000 .. 4_999_999;
  64    --  Id values used for Sdep table entries
  65
  66    type Source_Id is range 5_000_000 .. 5_999_999;
  67    --  Id values used for Source table entries
  68
  69    --------------------
  70    -- ALI File Table --
  71    --------------------
  72
  73    --  Each ALI file read generates an entry in the ALIs table
  74
  75    No_ALI_Id : constant ALI_Id := ALI_Id'First;
  76    --  Special value indicating no ALI entry
  77
  78    First_ALI_Entry : constant ALI_Id := No_ALI_Id + 1;
  79    --  Id of first actual entry in table
  80
  81    type Main_Program_Type is (None, Proc, Func);
  82    --  Indicator of whether unit can be used as main program
  83
  84    type Restrictions_String is array (Partition_Restrictions) of Character;
  85    --  Type used to hold string from R line
  86
  87    type ALIs_Record is record
  88
  89       Afile : File_Name_Type;
  90       --  Name of ALI file
  91
  92       Ofile_Full_Name : Name_Id;
  93       --  Full name of object file corresponding to the ALI file
  94
  95       Sfile : File_Name_Type;
  96       --  Name of source file that generates this ALI file (which is equal
  97       --  to the name of the source file in the first unit table entry for
  98       --  this ALI file, since the body if present is always first).
  99
 100       Ver : String (1 .. Ver_Len_Max);
 101       --  Value of library version (V line in ALI file)
 102
 103       Ver_Len : Natural;
 104       --  Length of characters stored in Ver
 105
 106       First_Unit : Unit_Id;
 107       --  Id of first Unit table entry for this file
 108
 109       Last_Unit : Unit_Id;
 110       --  Id of last Unit table entry for this file
 111
 112       First_Sdep : Sdep_Id;
 113       --  Id of first Sdep table entry for this file
 114
 115       Last_Sdep : Sdep_Id;
 116       --  Id of last Sdep table entry for this file
 117
 118       Main_Program : Main_Program_Type;
 119       --  Indicator of whether first unit can be used as main program
 120
 121       Main_Priority : Int;
 122       --  Indicates priority value if Main_Program field indicates that
 123       --  this can be a main program. A value of -1 (No_Main_Priority)
 124       --  indicates that no parameter was found, or no M line was present.
 125
 126       Time_Slice_Value : Int;
 127       --  Indicates value of time slice parameter from T=xxx on main program
 128       --  line. A value of -1 indicates that no T=xxx parameter was found,
 129       --  or no M line was present.
 130
 131       WC_Encoding : Character;
 132       --  Wide character encoding if main procedure. Otherwise not relevant.
 133
 134       Locking_Policy : Character;
 135       --  Indicates locking policy for units in this file. Space means
 136       --  tasking was not used, or that no Locking_Policy pragma was
 137       --  present or that this is a language defined unit. Otherwise set
 138       --  to first character (upper case) of policy name.
 139
 140       Queuing_Policy : Character;
 141       --  Indicates queuing policy for units in this file. Space means
 142       --  tasking was not used, or that no Queuing_Policy pragma was
 143       --  present or that this is a language defined unit. Otherwise set
 144       --  to first character (upper case) of policy name.
 145
 146       Task_Dispatching_Policy : Character;
 147       --  Indicates task dispatching policy for units in this file. Space
 148       --  means tasking was not used, or that no Task_Dispatching_Policy
 149       --  pragma was present or that this is a language defined unit.
 150       --  Otherwise set to first character (upper case) of policy name.
 151
 152       Compile_Errors : Boolean;
 153       --  Set to True if compile errors for unit. Note that No_Object
 154       --  will always be set as well in this case.
 155
 156       Float_Format : Character;
 157       --  Set to float format (set to I if no float-format given)
 158
 159       No_Object : Boolean;
 160       --  Set to True if no object file generated
 161
 162       No_Run_Time : Boolean;
 163       --  Set to True if file was compiled with pragma No_Run_Time
 164
 165       Normalize_Scalars : Boolean;
 166       --  Set to True if file was compiled with Normalize_Scalars
 167
 168       Unit_Exception_Table : Boolean;
 169       --  Set to True if unit exception table pointer generated
 170
 171       Zero_Cost_Exceptions : Boolean;
 172       --  Set to True if file was compiled with zero cost exceptions
 173
 174       Restrictions : Restrictions_String;
 175       --  Copy of restrictions letters from R line
 176
 177    end record;
 178
 179    No_Main_Priority : constant Int := -1;
 180    --  Code for no main priority set
 181
 182    package ALIs is new Table.Table (
 183      Table_Component_Type => ALIs_Record,
 184      Table_Index_Type     => ALI_Id,
 185      Table_Low_Bound      => First_ALI_Entry,
 186      Table_Initial        => 500,
 187      Table_Increment      => 200,
 188      Table_Name           => "ALIs");
 189
 190    ----------------
 191    -- Unit Table --
 192    ----------------
 193
 194    --  Each unit within an ALI file generates an entry in the unit table
 195
 196    No_Unit_Id : constant Unit_Id := Unit_Id'First;
 197    --  Special value indicating no unit table entry
 198
 199    First_Unit_Entry : constant Unit_Id := No_Unit_Id + 1;
 200    --  Id of first actual entry in table
 201
 202    type Unit_Type is (Is_Spec, Is_Body, Is_Spec_Only, Is_Body_Only);
 203    --  Indicates type of entry, if both body and spec appear in the ALI file,
 204    --  then the first unit is marked Is_Body, and the second is marked Is_Spec.
 205    --  If only a spec appears, then it is marked as Is_Spec_Only, and if only
 206    --  a body appears, then it is marked Is_Body_Only).
 207
 208    subtype Version_String is String (1 .. 8);
 209    --  Version string, taken from unit record
 210
 211    type Unit_Record is record
 212
 213       My_ALI : ALI_Id;
 214       --  Corresponding ALI entry
 215
 216       Uname : Unit_Name_Type;
 217       --  Name of Unit
 218
 219       Sfile : File_Name_Type;
 220       --  Name of source file
 221
 222       Preelab : Boolean;
 223       --  Indicates presence of PR parameter for a preelaborated package
 224
 225       No_Elab : Boolean;
 226       --  Indicates presence of NE parameter for a unit that has does not
 227       --  have an elaboration routine (since it has no elaboration code).
 228
 229       Pure : Boolean;
 230       --  Indicates presence of PU parameter for a pure package
 231
 232       Dynamic_Elab : Boolean;
 233       --  Set to True if the unit was compiled with dynamic elaboration
 234       --  checks (i.e. either -gnatE or pragma Elaboration_Checks (Static)
 235       --  was used to compile the unit).
 236
 237       Elaborate_Body : Boolean;
 238       --  Indicates presence of EB parameter for a package which has a
 239       --  pragma Preelaborate_Body.
 240
 241       Set_Elab_Entity : Boolean;
 242       --  Indicates presence of EE parameter for a unit which has an
 243       --  elaboration entity which must be set true as part of the
 244       --  elaboration of the entity.
 245
 246       Has_RACW : Boolean;
 247       --  Indicates presence of RA parameter for a package that declares
 248       --  at least one Remote Access to Class_Wide (RACW) object.
 249
 250       Remote_Types : Boolean;
 251       --  Indicates presence of RT parameter for a package which has a
 252       --  pragma Remote_Types.
 253
 254       Shared_Passive : Boolean;
 255       --  Indicates presence of SP parameter for a package which has a
 256       --  pragma Shared_Passive.
 257
 258       RCI : Boolean;
 259       --  Indicates presence of RC parameter for a package which has a
 260       --  pragma Remote_Call_Interface.
 261
 262       Predefined : Boolean;
 263       --  Indicates if unit is language predefined (or a child of such a unit)
 264
 265       Internal : Boolean;
 266       --  Indicates if unit is an internal unit (or a child of such a unit)
 267
 268       First_With : With_Id;
 269       --  Id of first withs table entry for this file
 270
 271       Last_With : With_Id;
 272       --  Id of last withs table entry for this file
 273
 274       First_Arg : Arg_Id;
 275       --  Id of first args table entry for this file
 276
 277       Last_Arg : Arg_Id;
 278       --  Id of last args table entry for this file
 279
 280       Utype : Unit_Type;
 281       --  Type of entry
 282
 283       Is_Generic : Boolean;
 284       --  True for generic unit (i.e. a generic declaration, or a generic
 285       --  body). False for a non-generic unit.
 286
 287       Unit_Kind : Character;
 288       --  Indicates the nature of the unit. 'p' for Packages and 's' for
 289       --  subprograms.
 290
 291       Version : Version_String;
 292       --  Version of unit
 293
 294       Icasing : Casing_Type;
 295       --  Indicates casing of identifiers in source file for this unit. This
 296       --  is used for informational output, and also for constructing the
 297       --  main unit if it is being built in Ada.
 298
 299       Kcasing : Casing_Type;
 300       --  Indicates casing of keyowords in source file for this unit. This
 301       --  is used for informational output, and also for constructing the
 302       --  main unit if it is being built in Ada.
 303
 304       Elab_Position : aliased Natural;
 305       --  Initialized to zero. Set non-zero when a unit is chosen and
 306       --  placed in the elaboration order. The value represents the
 307       --  ordinal position in the elaboration order.
 308
 309       Init_Scalars : Boolean;
 310       --  Set True if IS qualifier appears in ALI file, indicating that
 311       --  an Initialize_Scalars pragma applies to the unit.
 312
 313    end record;
 314
 315    package Units is new Table.Table (
 316      Table_Component_Type => Unit_Record,
 317      Table_Index_Type     => Unit_Id,
 318      Table_Low_Bound      => First_Unit_Entry,
 319      Table_Initial        => 100,
 320      Table_Increment      => 200,
 321      Table_Name           => "Unit");
 322
 323    --------------
 324    -- Switches --
 325    --------------
 326
 327    --  These switches record status information about ali files that
 328    --  have been read, for quick reference without searching tables.
 329
 330    Dynamic_Elaboration_Checks_Specified : Boolean := False;
 331    --  Set to False by Initialize_ALI. Set to True if Read_ALI reads
 332    --  a unit for which dynamic elaboration checking is enabled.
 333
 334    Float_Format_Specified : Character := ' ';
 335    --  Set to blank by Initialize_ALI. Set to appropriate float format
 336    --  character (V or I, see Opt.Float_Format) if an an ali file that
 337    --  is read contains an F line setting the floating point format.
 338
 339    Initialize_Scalars_Used : Boolean := False;
 340    --  Set True if an ali file contains the Initialize_Scalars flag
 341
 342    Locking_Policy_Specified : Character := ' ';
 343    --  Set to blank by Initialize_ALI. Set to the appropriate locking policy
 344    --  character if an ali file contains a P line setting the locking policy.
 345
 346    No_Normalize_Scalars_Specified : Boolean := False;
 347    --  Set to False by Initialize_ALI. Set to True if an ali file indicates
 348    --  that the file was compiled without normalize scalars.
 349
 350    No_Object_Specified : Boolean := False;
 351    --  Set to False by Initialize_ALI. Set to True if an ali file contains
 352    --  the No_Object flag.
 353
 354    Normalize_Scalars_Specified : Boolean := False;
 355    --  Set to False by Initialize_ALI. Set to True if an ali file indicates
 356    --  that the file was compiled in Normalize_Scalars mode.
 357
 358    No_Run_Time_Specified : Boolean := False;
 359    --  Set to False by Initialize_ALI, Set to True if an ali file indicates
 360    --  that the file was compiled in No_Run_Time mode.
 361
 362    Queuing_Policy_Specified : Character := ' ';
 363    --  Set to blank by Initialize_ALI. Set to the appropriate queuing policy
 364    --  character if an ali file contains a P line setting the queuing policy.
 365
 366    Static_Elaboration_Model_Used : Boolean := False;
 367    --  Set to False by Initialize_ALI. Set to True if any ALI file for a
 368    --  non-internal unit compiled with the static elaboration model is
 369    --  encountered.
 370
 371    Task_Dispatching_Policy_Specified : Character := ' ';
 372    --  Set to blank by Initialize_ALI. Set to the appropriate task dispatching
 373    --  policy character if an ali file contains a P line setting the
 374    --  task dispatching policy.
 375
 376    Unreserve_All_Interrupts_Specified : Boolean := False;
 377    --  Set to False by Initialize_ALI. Set to True if an ali file is read that
 378    --  has  P line specifying unreserve all interrupts mode.
 379
 380    Zero_Cost_Exceptions_Specified : Boolean := False;
 381    --  Set to False by Initialize_ALI. Set to True if an ali file is read that
 382    --  has a P line specifying the generation of zero cost exceptions.
 383
 384    -----------------
 385    -- Withs Table --
 386    -----------------
 387
 388    --  Each With line (W line) in an ALI file generates a Withs table entry
 389
 390    No_With_Id : constant With_Id := With_Id'First;
 391    --  Special value indicating no withs table entry
 392
 393    First_With_Entry : constant With_Id := No_With_Id + 1;
 394    --  Id of first actual entry in table
 395
 396    type With_Record is record
 397
 398       Uname : Unit_Name_Type;
 399       --  Name of Unit
 400
 401       Sfile : File_Name_Type;
 402       --  Name of source file, set to No_File in generic case
 403
 404       Afile : File_Name_Type;
 405       --  Name of ALI file, set to No_File in generic case
 406
 407       Elaborate : Boolean;
 408       --  Indicates presence of E parameter
 409
 410       Elaborate_All : Boolean;
 411       --  Indicates presence of EA parameter
 412
 413       Elab_All_Desirable : Boolean;
 414       --  Indicates presence of ED parameter
 415
 416    end record;
 417
 418    package Withs is new Table.Table (
 419      Table_Component_Type => With_Record,
 420      Table_Index_Type     => With_Id,
 421      Table_Low_Bound      => First_With_Entry,
 422      Table_Initial        => 5000,
 423      Table_Increment      => 200,
 424      Table_Name           => "Withs");
 425
 426    ---------------------
 427    -- Arguments Table --
 428    ---------------------
 429
 430    --  Each Arg line (A line) in an ALI file generates an Args table entry
 431
 432    No_Arg_Id : constant Arg_Id := Arg_Id'First;
 433    --  Special value indicating no args table entry
 434
 435    First_Arg_Entry : constant Arg_Id := No_Arg_Id + 1;
 436    --  Id of first actual entry in table
 437
 438    package Args is new Table.Table (
 439      Table_Component_Type => String_Ptr,
 440      Table_Index_Type     => Arg_Id,
 441      Table_Low_Bound      => First_Arg_Entry,
 442      Table_Initial        => 1000,
 443      Table_Increment      => 100,
 444      Table_Name           => "Args");
 445
 446    --------------------------
 447    -- Linker_Options Table --
 448    --------------------------
 449
 450    --  Each unique linker option (L line) in an ALI file generates
 451    --  an entry in the Linker_Options table. Note that only unique
 452    --  entries are stored, i.e. if the same entry appears twice, the
 453    --  second entry is suppressed. Each entry is a character sequence
 454    --  terminated by a NUL character.
 455
 456    type Linker_Option_Record is record
 457       Name          : Name_Id;
 458       Unit          : Unit_Id;
 459       Internal_File : Boolean;
 460       Original_Pos  : Positive;
 461    end record;
 462
 463    --  Declare the Linker_Options Table
 464
 465    --  The indexes of active entries in this table range from 1 to the
 466    --  value of Linker_Options.Last. The zero'th element is for sort call.
 467
 468    package Linker_Options is new Table.Table (
 469      Table_Component_Type => Linker_Option_Record,
 470      Table_Index_Type     => Integer,
 471      Table_Low_Bound      => 0,
 472      Table_Initial        => 200,
 473      Table_Increment      => 400,
 474      Table_Name           => "Linker_Options");
 475
 476    -------------------------------------------
 477    -- External Version Reference Hash Table --
 478    -------------------------------------------
 479
 480    --  This hash table keeps track of external version reference strings
 481    --  as read from E lines in the ali file. The stored values do not
 482    --  include the terminating quote characters.
 483
 484    type Vindex is range 0 .. 98;
 485    --  Type to define range of headers
 486
 487    function SHash (S : String_Ptr) return Vindex;
 488    --  Hash function for this table
 489
 490    function SEq (F1, F2 : String_Ptr) return Boolean;
 491    --  Equality function for this table
 492
 493    package Version_Ref is new Simple_HTable (
 494      Header_Num => Vindex,
 495      Element    => Boolean,
 496      No_Element => False,
 497      Key        => String_Ptr,
 498      Hash       => SHash,
 499      Equal      => SEq);
 500
 501    ------------------------------------
 502    -- Sdep (Source Dependency) Table --
 503    ------------------------------------
 504
 505    --  Each source dependency (D line) in an ALI file generates an
 506    --  entry in the Sdep table.
 507
 508    No_Sdep_Id : constant Sdep_Id := Sdep_Id'First;
 509    --  Special value indicating no Sdep table entry
 510
 511    First_Sdep_Entry : constant Sdep_Id := No_Sdep_Id + 1;
 512    --  Id of first actual entry in table
 513
 514    type Sdep_Record is record
 515
 516       Sfile : File_Name_Type;
 517       --  Name of source file
 518
 519       Stamp : Time_Stamp_Type;
 520       --  Time stamp value
 521
 522       Checksum : Word;
 523       --  Checksum value
 524
 525       Subunit_Name : Name_Id;
 526       --  Name_Id for subunit name if present, else No_Name
 527
 528       Rfile : File_Name_Type;
 529       --  Reference file name. Same as Sfile unless a Source_Reference
 530       --  pragma was used, in which case it reflects the name used in
 531       --  the pragma.
 532
 533       Start_Line : Nat;
 534       --  Starting line number in file. Always 1, unless a Source_Reference
 535       --  pragma was used, in which case it reflects the line number value
 536       --  given in the pragma.
 537
 538    end record;
 539
 540    package Sdep is new Table.Table (
 541      Table_Component_Type => Sdep_Record,
 542      Table_Index_Type     => Sdep_Id,
 543      Table_Low_Bound      => First_Sdep_Entry,
 544      Table_Initial        => 5000,
 545      Table_Increment      => 200,
 546      Table_Name           => "Sdep");
 547
 548    ----------------------------
 549    -- Use of Name Table Info --
 550    ----------------------------
 551
 552    --  All unit names and file names are entered into the Names table. The
 553    --  Info fields of these entries are used as follows:
 554
 555    --    Unit name           Info field has Unit_Id of unit table entry
 556    --    ALI file name       Info field has ALI_Id of ALI table entry
 557    --    Source file name    Info field has Source_Id of source table entry
 558
 559    --------------------------
 560    -- Cross-Reference Data --
 561    --------------------------
 562
 563    --  The following table records cross-reference sections, there is one
 564    --  entry for each X header line in the ALI file for an xref section.
 565    --  Note that there will be no entries in this table if the Read_Xref
 566    --  parameter to Scan_ALI was set to False.
 567
 568    type Xref_Section_Record is record
 569       File_Num : Sdep_Id;
 570       --  Dependency number for file (entry in Sdep.Table)
 571
 572       File_Name : Name_Id;
 573       --  Name of file
 574
 575       First_Entity : Nat;
 576       --  First entry in Xref_Entity table
 577
 578       Last_Entity : Nat;
 579       --  Last entry in Xref_Entity table
 580
 581    end record;
 582
 583    package Xref_Section is new Table.Table (
 584      Table_Component_Type => Xref_Section_Record,
 585      Table_Index_Type     => Nat,
 586      Table_Low_Bound      => 1,
 587      Table_Initial        => 50,
 588      Table_Increment      => 300,
 589      Table_Name           => "Xref_Section");
 590
 591    --  The following is used to indicate whether a typeref field is present
 592    --  for the entity, and if so what kind of typeref field.
 593
 594    type Tref_Kind is (
 595      Tref_None,    --  No typeref present
 596      Tref_Access,  --  Access type typeref (points to designated type)
 597      Tref_Derived, --  Derived type typeref (points to parent type)
 598      Tref_Type);   --  All other cases
 599
 600    --  The following table records entities for which xrefs are recorded
 601
 602    type Xref_Entity_Record is record
 603       Line : Pos;
 604       --  Line number of definition
 605
 606       Etype : Character;
 607       --  Set to the identification character for the entity. See section
 608       --  "Cross-Reference Entity Identifiers in lib-xref.ads for details.
 609
 610       Col : Pos;
 611       --  Column number of definition
 612
 613       Lib : Boolean;
 614       --  True if entity is library level entity
 615
 616       Entity : Name_Id;
 617       --  Name of entity
 618
 619       Tref : Tref_Kind;
 620       --  Indicates if a typeref is present, and if so what kind. Set to
 621       --  Tref_None if no typeref field is present.
 622
 623       Tref_File_Num : Sdep_Id;
 624       --  This field is set to No_Sdep_Id if no typeref is present, or
 625       --  if the typeref refers to an entity in standard. Otherwise it
 626       --  it is the dependency reference for the file containing the
 627       --  declaration of the typeref entity.
 628
 629       Tref_Line : Nat;
 630       --  This field is set to zero if no typeref is present, or if the
 631       --  typeref refers to an entity in standard. Otherwise it contains
 632       --  the line number of the declaration of the typeref entity.
 633
 634       Tref_Type : Character;
 635       --  This field is set to blank if no typeref is present, or if the
 636       --  typeref refers to an entity in standard. Otherwise it contains
 637       --  the identification character for the typeref entity. See section
 638       --  "Cross-Reference Entity Identifiers in lib-xref.ads for details.
 639
 640       Tref_Col : Nat;
 641       --  This field is set to zero if no typeref is present, or if the
 642       --  typeref refers to an entity in standard. Otherwise it contains
 643       --  the column number of the declaration of the parent type.
 644
 645       Tref_Standard_Entity : Name_Id;
 646       --  This field is set to No_Name if no typeref is present or if the
 647       --  typeref refers to a declared entity rather than an entity in
 648       --  package Standard. If there is a typeref that references an
 649       --  entity in package Standard, then this field is a Name_Id
 650       --  reference for the entity name.
 651
 652       First_Xref : Nat;
 653       --  Index into Xref table of first cross-reference
 654
 655       Last_Xref : Nat;
 656       --  Index into Xref table of last cross-reference. The value in
 657       --  Last_Xref can be less than the First_Xref value to indicate
 658       --  that no entries are present in the Xref Table.
 659    end record;
 660
 661    package Xref_Entity is new Table.Table (
 662      Table_Component_Type => Xref_Entity_Record,
 663      Table_Index_Type     => Nat,
 664      Table_Low_Bound      => 1,
 665      Table_Initial        => 500,
 666      Table_Increment      => 300,
 667      Table_Name           => "Xref_Entity");
 668
 669    --  The following table records actual cross-references
 670
 671    type Xref_Record is record
 672       File_Num : Sdep_Id;
 673       --  Set to the file dependency number for the cross-reference. Note
 674       --  that if no file entry is present explicitly, this is just a copy
 675       --  of the reference for the current cross-reference section.
 676
 677       Line : Pos;
 678       --  Line number for the reference
 679
 680       Rtype : Character;
 681       --  Indicates type of reference, using code used in ALI file:
 682       --    r = reference
 683       --    m = modification
 684       --    b = body entity
 685       --    c = completion of private or incomplete type
 686       --    x = type extension
 687       --    i = implicit reference
 688       --  See description in lib-xref.ads for further details
 689
 690       Col : Nat;
 691       --  Column number for the reference
 692
 693       --  Note: for instantiation references, Rtype is set to ' ', and Col is
 694       --  set to zero. One or more such entries can follow any other reference.
 695    end record;
 696
 697    package Xref is new Table.Table (
 698      Table_Component_Type => Xref_Record,
 699      Table_Index_Type     => Nat,
 700      Table_Low_Bound      => 1,
 701      Table_Initial        => 2000,
 702      Table_Increment      => 300,
 703      Table_Name           => "Xref");
 704
 705    --------------------------------------
 706    -- Subprograms for Reading ALI File --
 707    --------------------------------------
 708
 709    procedure Initialize_ALI;
 710    --  Initialize the ALI tables. Also resets all switch values to defaults.
 711
 712    function Scan_ALI
 713      (F         : File_Name_Type;
 714       T         : Text_Buffer_Ptr;
 715       Ignore_ED : Boolean;
 716       Err       : Boolean;
 717       Read_Xref : Boolean := False)
 718       return      ALI_Id;
 719    --  Given the text, T, of an ALI file, F, scan and store the information
 720    --  from the file, and return the Id of the resulting entry in the ALI
 721    --  table. Switch settings may be modified as described above in the
 722    --  switch description settings.
 723    --
 724    --    Ignore_ED is normally False. If set to True, it indicates that
 725    --    all ED (elaboration desirable) indications in the ALI file are
 726    --    to be ignored.
 727    --
 728    --    Err determines the action taken on an incorrectly formatted file.
 729    --    If Err is False, then an error message is output, and the program
 730    --    is terminated. If Err is True, then no error message is output,
 731    --    and No_ALI_Id is returned.
 732    --
 733    --    Read_XREF is set True to read and acquire the cross-reference
 734    --    information, otherwise the scan is terminated when a cross-
 735    --    reference line is encountered.
 736
 737 end ALI;