gcc/ada/sinput-p.adb

   1 ------------------------------------------------------------------------------
   2 --                                                                          --
   3 --                         GNAT COMPILER COMPONENTS                         --
   4 --                                                                          --
   5 --                             S I N P U T . P                              --
   6 --                                                                          --
   7 --                                 B o d y                                  --
   8 --                                                                          --
   9 --                                                                          --
  10 --          Copyright (C) 1992-2001 Free Software Foundation, Inc.          --
  11 --                                                                          --
  12 -- GNAT is free software;  you can  redistribute it  and/or modify it under --
  13 -- terms of the  GNU General Public License as published  by the Free Soft- --
  14 -- ware  Foundation;  either version 2,  or (at your option) any later ver- --
  15 -- sion.  GNAT is distributed in the hope that it will be useful, but WITH- --
  16 -- OUT ANY WARRANTY;  without even the  implied warranty of MERCHANTABILITY --
  17 -- or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License --
  18 -- for  more details.  You should have  received  a copy of the GNU General --
  19 -- Public License  distributed with GNAT;  see file COPYING.  If not, write --
  20 -- to  the Free Software Foundation,  59 Temple Place - Suite 330,  Boston, --
  21 -- MA 02111-1307, USA.                                                      --
  22 --                                                                          --
  23 -- GNAT was originally developed  by the GNAT team at  New York University. --
  24 -- Extensive contributions were provided by Ada Core Technologies Inc.      --
  25 --                                                                          --
  26 ------------------------------------------------------------------------------
  27
  28 with Ada.Unchecked_Conversion;
  29
  30 with GNAT.OS_Lib; use GNAT.OS_Lib;
  31 with Namet;       use Namet;
  32 with Opt;         use Opt;
  33 with System;      use System;
  34
  35 package body Sinput.P is
  36
  37    First : Boolean := True;
  38    --  Flag used when Load_Project_File is called the first time,
  39    --  to set Main_Source_File.
  40    --  The flag is reset to False at the first call to Load_Project_File
  41
  42    -----------------------
  43    -- Load_Project_File --
  44    -----------------------
  45
  46    function Load_Project_File (Path : String) return Source_File_Index is
  47       Src  : Source_Buffer_Ptr;
  48       X    : Source_File_Index;
  49       Lo   : Source_Ptr;
  50       Hi   : Source_Ptr;
  51
  52       Source_File_FD : File_Descriptor;
  53       --  The file descriptor for the current source file. A negative value
  54       --  indicates failure to open the specified source file.
  55
  56       Len : Integer;
  57       --  Length of file. Assume no more than 2 gigabytes of source!
  58
  59       Actual_Len : Integer;
  60
  61       Path_Id : Name_Id;
  62       File_Id : Name_Id;
  63
  64    begin
  65       if Path = "" then
  66          return No_Source_File;
  67       end if;
  68
  69       Source_File.Increment_Last;
  70       X := Source_File.Last;
  71
  72       if First then
  73          Main_Source_File := X;
  74          First := False;
  75       end if;
  76
  77       if X = Source_File.First then
  78          Lo := First_Source_Ptr;
  79       else
  80          Lo := Source_File.Table (X - 1).Source_Last + 1;
  81       end if;
  82
  83       Name_Len := Path'Length;
  84       Name_Buffer (1 .. Name_Len) := Path;
  85       Path_Id := Name_Find;
  86       Name_Buffer (Name_Len + 1) := ASCII.NUL;
  87
  88       --  Open the source FD, note that we open in binary mode, because as
  89       --  documented in the spec, the caller is expected to handle either
  90       --  DOS or Unix mode files, and there is no point in wasting time on
  91       --  text translation when it is not required.
  92
  93       Source_File_FD := Open_Read (Name_Buffer'Address, Binary);
  94
  95       if Source_File_FD = Invalid_FD then
  96          Source_File.Decrement_Last;
  97          return No_Source_File;
  98
  99       end if;
 100
 101       Len := Integer (File_Length (Source_File_FD));
 102
 103       --  Set Hi so that length is one more than the physical length,
 104       --  allowing for the extra EOF character at the end of the buffer
 105
 106       Hi := Lo + Source_Ptr (Len);
 107
 108       --  Do the actual read operation
 109
 110       declare
 111          subtype Actual_Source_Buffer is Source_Buffer (Lo .. Hi);
 112          --  Physical buffer allocated
 113
 114          type Actual_Source_Ptr is access Actual_Source_Buffer;
 115          --  This is the pointer type for the physical buffer allocated
 116
 117          Actual_Ptr : Actual_Source_Ptr := new Actual_Source_Buffer;
 118          --  And this is the actual physical buffer
 119
 120       begin
 121          --  Allocate source buffer, allowing extra character at end for EOF
 122
 123          --  Some systems (e.g. VMS) have file types that require one
 124          --  read per line, so read until we get the Len bytes or until
 125          --  there are no more characters.
 126
 127          Hi := Lo;
 128          loop
 129             Actual_Len := Read (Source_File_FD, Actual_Ptr (Hi)'Address, Len);
 130             Hi := Hi + Source_Ptr (Actual_Len);
 131             exit when Actual_Len = Len or Actual_Len <= 0;
 132          end loop;
 133
 134          Actual_Ptr (Hi) := EOF;
 135
 136          --  Now we need to work out the proper virtual origin pointer to
 137          --  return. This is exactly Actual_Ptr (0)'Address, but we have
 138          --  to be careful to suppress checks to compute this address.
 139
 140          declare
 141             pragma Suppress (All_Checks);
 142
 143             function To_Source_Buffer_Ptr is new
 144               Ada.Unchecked_Conversion (Address, Source_Buffer_Ptr);
 145
 146          begin
 147             Src := To_Source_Buffer_Ptr (Actual_Ptr (0)'Address);
 148          end;
 149       end;
 150
 151       --  Read is complete, get time stamp and close file and we are done
 152
 153       Close (Source_File_FD);
 154
 155       --  Get the file name, without path information
 156
 157       declare
 158          Index : Positive := Path'Last;
 159
 160       begin
 161          while Index > Path'First loop
 162             exit when Path (Index - 1) = '/';
 163             exit when Path (Index - 1) = Directory_Separator;
 164             Index := Index - 1;
 165          end loop;
 166
 167          Name_Len := Path'Last - Index + 1;
 168          Name_Buffer (1 .. Name_Len) := Path (Index .. Path'Last);
 169          File_Id := Name_Find;
 170       end;
 171
 172       declare
 173          S : Source_File_Record renames Source_File.Table (X);
 174
 175       begin
 176          S := (Debug_Source_Name   => Path_Id,
 177                File_Name           => File_Id,
 178                First_Mapped_Line   => No_Line_Number,
 179                Full_File_Name      => Path_Id,
 180                Full_Ref_Name       => Path_Id,
 181                Identifier_Casing   => Unknown,
 182                Instantiation       => No_Location,
 183                Keyword_Casing      => Unknown,
 184                Last_Source_Line    => 1,
 185                License             => Unknown,
 186                Lines_Table         => null,
 187                Lines_Table_Max     => 1,
 188                Logical_Lines_Table => null,
 189                Num_SRef_Pragmas    => 0,
 190                Reference_Name      => File_Id,
 191                Sloc_Adjust         => 0,
 192                Source_Checksum     => 0,
 193                Source_First        => Lo,
 194                Source_Last         => Hi,
 195                Source_Text         => Src,
 196                Template            => No_Source_File,
 197                Time_Stamp          => Empty_Time_Stamp);
 198
 199          Alloc_Line_Tables (S, Opt.Table_Factor * Alloc.Lines_Initial);
 200          S.Lines_Table (1) := Lo;
 201       end;
 202
 203       return X;
 204    end Load_Project_File;
 205
 206    --------------------------------
 207    -- Restore_Project_Scan_State --
 208    --------------------------------
 209
 210    procedure Restore_Project_Scan_State
 211      (Saved_State : in Saved_Project_Scan_State)
 212    is
 213    begin
 214       Restore_Scan_State (Saved_State.Scan_State);
 215       Source              := Saved_State.Source;
 216       Current_Source_File := Saved_State.Current_Source_File;
 217    end Restore_Project_Scan_State;
 218
 219    -----------------------------
 220    -- Save_Project_Scan_State --
 221    -----------------------------
 222
 223    procedure Save_Project_Scan_State
 224      (Saved_State : out Saved_Project_Scan_State)
 225    is
 226    begin
 227       Save_Scan_State (Saved_State.Scan_State);
 228       Saved_State.Source              := Source;
 229       Saved_State.Current_Source_File := Current_Source_File;
 230    end Save_Project_Scan_State;
 231
 232 end Sinput.P;