1------------------------------------------------------------------------------ 2-- -- 3-- GNAT COMPILER COMPONENTS -- 4-- -- 5-- O S I N T -- 6-- -- 7-- S p e c -- 8-- -- 9-- Copyright (C) 1992-2003 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 2, 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 COPYING. If not, write -- 19-- to the Free Software Foundation, 59 Temple Place - Suite 330, Boston, -- 20-- MA 02111-1307, USA. -- 21-- -- 22-- GNAT was originally developed by the GNAT team at New York University. -- 23-- Extensive contributions were provided by Ada Core Technologies Inc. -- 24-- -- 25------------------------------------------------------------------------------ 26 27-- This package contains the low level, operating system routines used in 28-- the GNAT compiler and binder for command line processing and file input 29-- output. 30 31with GNAT.OS_Lib; use GNAT.OS_Lib; 32with System; use System; 33with Types; use Types; 34 35pragma Elaborate (GNAT.OS_Lib); 36 37package Osint is 38 39 Ada_Include_Path : constant String := "ADA_INCLUDE_PATH"; 40 Ada_Objects_Path : constant String := "ADA_OBJECTS_PATH"; 41 Project_Include_Path_File : constant String := "ADA_PRJ_INCLUDE_FILE"; 42 Project_Objects_Path_File : constant String := "ADA_PRJ_OBJECTS_FILE"; 43 44 procedure Initialize; 45 -- Initialize internal tables 46 47 function Normalize_Directory_Name (Directory : String) return String_Ptr; 48 -- Verify and normalize a directory name. If directory name is invalid, 49 -- this will return an empty string. Otherwise it will insure a trailing 50 -- slash and make other normalizations. 51 52 type File_Type is (Source, Library, Config, Definition, Preprocessing_Data); 53 54 function Find_File 55 (N : File_Name_Type; 56 T : File_Type) 57 return File_Name_Type; 58 -- Finds a source, library or config file depending on the value 59 -- of T following the directory search order rules unless N is the 60 -- name of the file just read with Next_Main_File and already 61 -- contains directiory information, in which case just look in the 62 -- Primary_Directory. Returns File_Name_Type of the full file name 63 -- if found, No_File if file not found. Note that for the special 64 -- case of gnat.adc, only the compilation environment directory is 65 -- searched, i.e. the directory where the ali and object files are 66 -- written. Another special case is when Debug_Generated_Code is 67 -- set and the file name ends on ".dg", in which case we look for 68 -- the generated file only in the current directory, since that is 69 -- where it is always built. 70 71 function Get_File_Names_Case_Sensitive return Int; 72 pragma Import (C, Get_File_Names_Case_Sensitive, 73 "__gnat_get_file_names_case_sensitive"); 74 File_Names_Case_Sensitive : constant Boolean := 75 Get_File_Names_Case_Sensitive /= 0; 76 -- Set to indicate whether the operating system convention is for file 77 -- names to be case sensitive (e.g., in Unix, set True), or non case 78 -- sensitive (e.g., in OS/2, set False). 79 80 procedure Canonical_Case_File_Name (S : in out String); 81 -- Given a file name, converts it to canonical case form. For systems 82 -- where file names are case sensitive, this procedure has no effect. 83 -- If file names are not case sensitive (i.e. for example if you have 84 -- the file "xyz.adb", you can refer to it as XYZ.adb or XyZ.AdB), then 85 -- this call converts the given string to canonical all lower case form, 86 -- so that two file names compare equal if they refer to the same file. 87 88 function Number_Of_Files return Int; 89 -- gives the total number of filenames found on the command line. 90 91 procedure Add_File (File_Name : String); 92 -- Called by the subprogram processing the command line for each 93 -- file name found. 94 95 procedure Find_Program_Name; 96 -- Put simple name of current program being run (excluding the directory 97 -- path) in Name_Buffer, with the length in Name_Len. 98 99 function Program_Name (Nam : String) return String_Access; 100 -- In the native compilation case, Create a string containing Nam. In 101 -- the cross compilation case, looks at the prefix of the current 102 -- program being run and prepend it to Nam. For instance if the program 103 -- being run is <target>-gnatmake and Nam is "gcc", the returned value 104 -- will be a pointer to "<target>-gcc". This function clobbers 105 -- Name_Buffer and Name_Len. 106 107 procedure Write_Program_Name; 108 -- Writes name of program as invoked to the current output 109 -- (normally standard output). 110 111 procedure Fail (S1 : String; S2 : String := ""; S3 : String := ""); 112 pragma No_Return (Fail); 113 -- Outputs error messages S1 & S2 & S3 preceded by the name of the 114 -- executing program and exits with E_Fatal. The output goes to 115 -- standard error, except if special output is in effect (see Output). 116 117 function Is_Directory_Separator (C : Character) return Boolean; 118 -- Returns True if C is a directory separator 119 120 function Get_Directory (Name : File_Name_Type) return File_Name_Type; 121 -- Get the prefix directory name (if any) from Name. The last separator 122 -- is preserved. Return the normalized current directory if there is no 123 -- directory part in the name. 124 125 function Is_Readonly_Library (File : File_Name_Type) return Boolean; 126 -- Check if this library file is a read-only file. 127 128 function Strip_Directory (Name : File_Name_Type) return File_Name_Type; 129 -- Strips the prefix directory name (if any) from Name. Returns the 130 -- stripped name. Name cannot end with a directory separator. 131 132 function Strip_Suffix (Name : File_Name_Type) return File_Name_Type; 133 -- Strips the suffix (the last '.' and whatever comes after it) from Name. 134 -- Returns the stripped name. 135 136 function Executable_Name (Name : File_Name_Type) return File_Name_Type; 137 -- Given a file name it adds the appropriate suffix at the end so that 138 -- it becomes the name of the executable on the system at end. For 139 -- instance under DOS it adds the ".exe" suffix, whereas under UNIX no 140 -- suffix is added. 141 142 function File_Stamp (Name : File_Name_Type) return Time_Stamp_Type; 143 -- Returns the time stamp of file Name. Name should include relative 144 -- path information in order to locate it. If the source file cannot be 145 -- opened, or Name = No_File, and all blank time stamp is returned (this is 146 -- not an error situation). 147 148 type String_Access_List is array (Positive range <>) of String_Access; 149 -- Deferenced type used to return a list of file specs in 150 -- To_Canonical_File_List. 151 152 type String_Access_List_Access is access all String_Access_List; 153 -- Type used to return a String_Access_List without dragging in secondary 154 -- stack. 155 156 function To_Canonical_File_List 157 (Wildcard_Host_File : String; 158 Only_Dirs : Boolean) 159 return String_Access_List_Access; 160 -- Expand a wildcard host syntax file or directory specification (e.g. on 161 -- a VMS host, any file or directory spec that contains: 162 -- "*", or "%", or "...") 163 -- and return a list of valid Unix syntax file or directory specs. 164 -- If Only_Dirs is True, then only return directories. 165 166 function To_Canonical_Dir_Spec 167 (Host_Dir : String; 168 Prefix_Style : Boolean) 169 return String_Access; 170 -- Convert a host syntax directory specification (e.g. on a VMS host: 171 -- "SYS$DEVICE:[DIR]") to canonical (Unix) syntax (e.g. "/sys$device/dir"). 172 -- If Prefix_Style then make it a valid file specification prefix. 173 -- A file specification prefix is a directory specification that 174 -- can be appended with a simple file specification to yield a valid 175 -- absolute or relative path to a file. On a conversion to Unix syntax 176 -- this simply means the spec has a trailing slash ("/"). 177 178 function To_Canonical_File_Spec 179 (Host_File : String) 180 return String_Access; 181 -- Convert a host syntax file specification (e.g. on a VMS host: 182 -- "SYS$DEVICE:[DIR]FILE.EXT;69 to canonical (Unix) syntax (e.g. 183 -- "/sys$device/dir/file.ext.69"). 184 185 function To_Canonical_Path_Spec 186 (Host_Path : String) 187 return String_Access; 188 -- Convert a host syntax Path specification (e.g. on a VMS host: 189 -- "SYS$DEVICE:[BAR],DISK$USER:[FOO] to canonical (Unix) syntax (e.g. 190 -- "/sys$device/foo:disk$user/foo"). 191 192 function To_Host_Dir_Spec 193 (Canonical_Dir : String; 194 Prefix_Style : Boolean) 195 return String_Access; 196 -- Convert a canonical syntax directory specification to host syntax. 197 -- The Prefix_Style flag is currently ignored but should be set to 198 -- False. 199 200 function To_Host_File_Spec 201 (Canonical_File : String) 202 return String_Access; 203 -- Convert a canonical syntax file specification to host syntax. 204 205 function Relocate_Path 206 (Prefix : String; 207 Path : String) return String_Ptr; 208 -- Given an absolute path and a prefix, if Path starts with Prefix, 209 -- replace the Prefix substring with the root installation directory. 210 -- By default, try to compute the root installation directory by looking 211 -- at the executable name as it was typed on the command line and, if 212 -- needed, use the PATH environment variable. 213 -- If the above computation fails, return Path. 214 -- This function assumes that Prefix'First = Path'First 215 216 function Shared_Lib (Name : String) return String; 217 -- Returns the runtime shared library in the form -l<name>-<version> where 218 -- version is the GNAT runtime library option for the platform. For example 219 -- this routine called with Name set to "gnat" will return "-lgnat-5.02" 220 -- on UNIX and Windows and -lgnat_5_02 on VMS. 221 222 ------------------------- 223 -- Search Dir Routines -- 224 ------------------------- 225 226 function Include_Dir_Default_Prefix return String; 227 -- Return the directory of the run-time library sources, as modified 228 -- by update_path. 229 230 function Object_Dir_Default_Prefix return String; 231 -- Return the directory of the run-time library ALI and object files, as 232 -- modified by update_path. 233 234 procedure Add_Default_Search_Dirs; 235 -- This routine adds the default search dirs indicated by the 236 -- environment variables and sdefault package. 237 238 procedure Add_Lib_Search_Dir (Dir : String); 239 -- Add Dir at the end of the library file search path 240 241 procedure Add_Src_Search_Dir (Dir : String); 242 -- Add Dir at the end of the source file search path 243 244 procedure Get_Next_Dir_In_Path_Init 245 (Search_Path : String_Access); 246 function Get_Next_Dir_In_Path 247 (Search_Path : String_Access) 248 return String_Access; 249 -- These subprograms are used to parse out the directory names in a 250 -- search path specified by a Search_Path argument. The procedure 251 -- initializes an internal pointer to point to the initial directory 252 -- name, and calls to the function return successive directory names, 253 -- with a null pointer marking the end of the list. 254 255 type Search_File_Type is (Include, Objects); 256 257 procedure Add_Search_Dirs 258 (Search_Path : String_Ptr; 259 Path_Type : Search_File_Type); 260 -- These procedure adds all the search directories that are in Search_Path 261 -- in the proper file search path (library or source) 262 263 function Get_Primary_Src_Search_Directory return String_Ptr; 264 -- Retrieved the primary directory (directory containing the main source 265 -- file for Gnatmake. 266 267 function Nb_Dir_In_Src_Search_Path return Natural; 268 function Dir_In_Src_Search_Path (Position : Natural) return String_Ptr; 269 -- Functions to access the directory names in the source search path 270 271 function Nb_Dir_In_Obj_Search_Path return Natural; 272 function Dir_In_Obj_Search_Path (Position : Natural) return String_Ptr; 273 -- Functions to access the directory names in the Object search path 274 275 Include_Search_File : constant String_Access := 276 new String'("ada_source_path"); 277 Objects_Search_File : constant String_Access := 278 new String'("ada_object_path"); 279 -- Names of the files containg the default include or objects search 280 -- directories. These files, located in Sdefault.Search_Dir_Prefix, do 281 -- not necessarily exist. 282 283 function Read_Default_Search_Dirs 284 (Search_Dir_Prefix : String_Access; 285 Search_File : String_Access; 286 Search_Dir_Default_Name : String_Access) 287 return String_Access; 288 -- Read and return the default search directories from the file located 289 -- in Search_Dir_Prefix (as modified by update_path) and named Search_File. 290 -- If no such file exists or an error occurs then instead return the 291 -- Search_Dir_Default_Name (as modified by update_path). 292 293 function Get_RTS_Search_Dir 294 (Search_Dir : String; 295 File_Type : Search_File_Type) 296 return String_Ptr; 297 -- This function retrieves the paths to the search (resp. lib) dirs and 298 -- return them. The search dir can be absolute or relative. If the search 299 -- dir contains Include_Search_File (resp. Object_Search_File), then this 300 -- function reads and returns the default search directories from the file. 301 -- Otherwise, if the directory is absolute, it will try to find 'adalib' 302 -- (resp. 'adainclude'). If found, null is returned. If the directory is 303 -- relative, the following directories for the directories 'adalib' and 304 -- 'adainclude' will be scanned: 305 -- 306 -- - current directory (from which the tool has been spawned) 307 -- - $GNAT_ROOT/gcc/gcc-lib/$targ/$vers/ 308 -- - $GNAT_ROOT/gcc/gcc-lib/$targ/$vers/rts- 309 -- 310 -- The scan will stop as soon as the directory being searched for (adalib 311 -- or adainclude) is found. If the scan fails, null is returned. 312 313 ----------------------- 314 -- Source File Input -- 315 ----------------------- 316 317 -- Source file input routines are used by the compiler to read the main 318 -- source files and the subsidiary source files (e.g. with'ed units), and 319 -- also by the binder to check presence/time stamps of sources. 320 321 procedure Read_Source_File 322 (N : File_Name_Type; 323 Lo : Source_Ptr; 324 Hi : out Source_Ptr; 325 Src : out Source_Buffer_Ptr; 326 T : File_Type := Source); 327 -- Allocates a Source_Buffer of appropriate length and then reads the 328 -- entire contents of the source file N into the buffer. The address of 329 -- the allocated buffer is returned in Src. 330 -- 331 -- Each line of text is terminated by one of the sequences: 332 -- 333 -- CR 334 -- CR/LF 335 -- LF/CR 336 -- LF 337 338 -- The source is terminated by an EOF (16#1A#) character, which is 339 -- the last charcater of the returned source bufer (note that any 340 -- EOF characters in positions other than the last source character 341 -- are treated as representing blanks). 342 -- 343 -- The logical lower bound of the source buffer is the input value of Lo, 344 -- and on exit Hi is set to the logical upper bound of the source buffer. 345 -- Note that the returned value in Src points to an array with a physical 346 -- lower bound of zero. This virtual origin addressing approach means that 347 -- a constrained array pointer can be used with a low bound of zero which 348 -- results in more efficient code. 349 -- 350 -- If the given file cannot be opened, then the action depends on whether 351 -- this file is the current main unit (i.e. its name matches the name 352 -- returned by the most recent call to Next_Main_Source). If so, then the 353 -- failure to find the file is a fatal error, an error message is output, 354 -- and program execution is terminated. Otherwise (for the case of a 355 -- subsidiary source loaded directly or indirectly using with), a file 356 -- not found condition causes null to be set as the result value. 357 -- 358 -- Note that the name passed to this function is the simple file name, 359 -- without any directory information. The implementation is responsible 360 -- for searching for the file in the appropriate directories. 361 -- 362 -- Note the special case that if the file name is gnat.adc, then the 363 -- search for the file is done ONLY in the directory corresponding to 364 -- the current compilation environment, i.e. in the same directory 365 -- where the ali and object files will be written. 366 367 function Full_Source_Name return File_Name_Type; 368 function Current_Source_File_Stamp return Time_Stamp_Type; 369 -- Returns the full name/time stamp of the source file most recently read 370 -- using Read_Source_File. Calling this routine entails no source file 371 -- directory lookup penalty. 372 373 function Full_Source_Name (N : File_Name_Type) return File_Name_Type; 374 function Source_File_Stamp (N : File_Name_Type) return Time_Stamp_Type; 375 -- Returns the full name/time stamp of the source file whose simple name 376 -- is N which should not include path information. Note that if the file 377 -- cannot be located No_File is returned for the first routine and an 378 -- all blank time stamp is returned for the second (this is not an error 379 -- situation). The full name includes the appropriate directory 380 -- information. The source file directory lookup penalty is incurred 381 -- every single time the routines are called unless you have previously 382 -- called Source_File_Data (Cache => True). See below. 383 384 function Matching_Full_Source_Name 385 (N : File_Name_Type; 386 T : Time_Stamp_Type) 387 return File_Name_Type; 388 -- Same semantics than Full_Source_Name but will search on the source 389 -- path until a source file with time stamp matching T is found. If 390 -- none is found returns No_File. 391 392 procedure Source_File_Data (Cache : Boolean); 393 -- By default source file data (full source file name and time stamp) 394 -- are looked up every time a call to Full_Source_Name (N) or 395 -- Source_File_Stamp (N) is made. This may be undesirable in certain 396 -- applications as this is uselessly slow if source file data does not 397 -- change during program execution. When this procedure is called with 398 -- Cache => True access to source file data does not encurr a penalty if 399 -- this data was previously retrieved. 400 401 ------------------------------------------- 402 -- Representation of Library Information -- 403 ------------------------------------------- 404 405 -- Associated with each compiled source file is library information, 406 -- a string of bytes whose exact format is described in the body of 407 -- Lib.Writ. Compiling a source file generates this library information 408 -- for the compiled unit, and access the library information for units 409 -- that were compiled previously on which the unit being compiled depends. 410 411 -- How this information is stored is up to the implementation of this 412 -- package. At the interface level, this information is simply associated 413 -- with its corresponding source. 414 415 -- Several different implementations are possible: 416 417 -- 1. The information could be directly associated with the source file, 418 -- e.g. placed in a resource fork of this file on the Mac, or on 419 -- MS-DOS, written to the source file after the end of file mark. 420 421 -- 2. The information could be written into the generated object module 422 -- if the system supports the inclusion of arbitrary informational 423 -- byte streams into object files. In this case there must be a naming 424 -- convention that allows object files to be located given the name of 425 -- the corresponding source file. 426 427 -- 3. The information could be written to a separate file, whose name is 428 -- related to the name of the source file by a fixed convention. 429 430 -- Which of these three methods is chosen depends on the constraints of the 431 -- host operating system. The interface described here is independent of 432 -- which of these approaches is used. 433 434 ------------------------------- 435 -- Library Information Input -- 436 ------------------------------- 437 438 -- These subprograms are used by the binder to read library information 439 -- files, see section above for representation of these files. 440 441 function Read_Library_Info 442 (Lib_File : File_Name_Type; 443 Fatal_Err : Boolean := False) 444 return Text_Buffer_Ptr; 445 -- Allocates a Text_Buffer of appropriate length and reads in the entire 446 -- source of the library information from the library information file 447 -- whose name is given by the parameter Name. 448 -- 449 -- See description of Read_Source_File for details on the format of the 450 -- returned text buffer (the format is identical). THe lower bound of 451 -- the Text_Buffer is always zero 452 -- 453 -- If the specified file cannot be opened, then the action depends on 454 -- Fatal_Err. If Fatal_Err is True, an error message is given and the 455 -- compilation is abandoned. Otherwise if Fatal_Err is False, then null 456 -- is returned. Note that the Lib_File is a simple name which does not 457 -- include any directory information. The implementation is responsible 458 -- for searching for the file in appropriate directories. 459 -- 460 -- If Opt.Check_Object_Consistency is set to True then this routine 461 -- checks whether the object file corresponding to the Lib_File is 462 -- consistent with it. The object file is inconsistent if the object 463 -- does not exist or if it has an older time stamp than Lib_File. 464 -- This check is not performed when the Lib_File is "locked" (i.e. 465 -- read/only) because in this case the object file may be buried 466 -- in a library. In case of inconsistencies Read_Library_Info 467 -- behaves as if it did not find Lib_File (namely if Fatal_Err is 468 -- False, null is returned). 469 470 function Full_Library_Info_Name return File_Name_Type; 471 function Full_Object_File_Name return File_Name_Type; 472 -- Returns the full name of the library/object file most recently read 473 -- using Read_Library_Info, including appropriate directory information. 474 -- Calling this routine entails no library file directory lookup 475 -- penalty. Note that the object file corresponding to a library file 476 -- is not actually read. Its time stamp is fected when the flag 477 -- Opt.Check_Object_Consistency is set. 478 479 function Current_Library_File_Stamp return Time_Stamp_Type; 480 function Current_Object_File_Stamp return Time_Stamp_Type; 481 -- The time stamps of the files returned by the previous two routines. 482 -- It is an error to call Current_Object_File_Stamp if 483 -- Opt.Check_Object_Consistency is set to False. 484 485 function Full_Lib_File_Name (N : File_Name_Type) return File_Name_Type; 486 function Library_File_Stamp (N : File_Name_Type) return Time_Stamp_Type; 487 -- Returns the full name/time stamp of library file N. N should not 488 -- include path information. Note that if the file cannot be located 489 -- No_File is returned for the first routine and an all blank time stamp 490 -- is returned for the second (this is not an error situation). The 491 -- full name includes the appropriate directory information. The library 492 -- file directory lookup penalty is incurred every single time this 493 -- routine is called. 494 495 function Lib_File_Name (Source_File : File_Name_Type) return File_Name_Type; 496 -- Given the name of a source file, returns the name of the corresponding 497 -- library information file. This may be the name of the object file, or 498 -- of a separate file used to store the library information. In either case 499 -- the returned result is suitable for use in a call to Read_Library_Info. 500 -- Note: this subprogram is in this section because it is used by the 501 -- compiler to determine the proper library information names to be placed 502 -- in the generated library information file. 503 504 ----------------- 505 -- Termination -- 506 ----------------- 507 508 type Exit_Code_Type is ( 509 E_Success, -- No warnings or errors 510 E_Warnings, -- Compiler warnings generated 511 E_No_Code, -- No code generated 512 E_No_Compile, -- Compilation not needed (smart recompilation) 513 E_Errors, -- Compiler error messages generated 514 E_Fatal, -- Fatal (serious) error, e.g. source file not found 515 E_Abort); -- Internally detected compiler error 516 517 procedure Exit_Program (Exit_Code : Exit_Code_Type); 518 pragma No_Return (Exit_Program); 519 -- A call to Exit_Program terminates execution with the given status. 520 -- A status of zero indicates normal completion, a non-zero status 521 -- indicates abnormal termination. 522 523 ------------------------- 524 -- Command Line Access -- 525 ------------------------- 526 527 -- Direct interface to command line parameters. (We don't want to use 528 -- the predefined command line package because it defines functions 529 -- returning string) 530 531 function Arg_Count return Natural; 532 pragma Import (C, Arg_Count, "__gnat_arg_count"); 533 -- Get number of arguments (note: optional globbing may be enabled) 534 535 procedure Fill_Arg (A : System.Address; Arg_Num : Integer); 536 pragma Import (C, Fill_Arg, "__gnat_fill_arg"); 537 -- Store one argument 538 539 function Len_Arg (Arg_Num : Integer) return Integer; 540 pragma Import (C, Len_Arg, "__gnat_len_arg"); 541 -- Get length of argument 542 543private 544 545 ALI_Suffix : constant String_Ptr := new String'("ali"); 546 -- The suffix used for the library files (also known as ALI files). 547 548 Current_Main : File_Name_Type := No_File; 549 -- Used to save a simple file name between calls to Next_Main_Source and 550 -- Read_Source_File. If the file name argument to Read_Source_File is 551 -- No_File, that indicates that the file whose name was returned by the 552 -- last call to Next_Main_Source (and stored here) is to be read. 553 554 Object_Suffix : constant String := Get_Object_Suffix.all; 555 -- The suffix used for the object files. 556 557 Output_FD : File_Descriptor; 558 -- The file descriptor for the current library info, tree or binder output 559 560 Output_File_Name : File_Name_Type; 561 -- File_Name_Type for name of open file whose FD is in Output_FD, the name 562 -- stored does not include the trailing NUL character. 563 564 Argument_Count : constant Integer := Arg_Count - 1; 565 -- Number of arguments (excluding program name) 566 567 type File_Name_Array is array (Int range <>) of String_Ptr; 568 type File_Name_Array_Ptr is access File_Name_Array; 569 File_Names : File_Name_Array_Ptr := 570 new File_Name_Array (1 .. Int (Argument_Count) + 2); 571 -- As arguments are scanned, file names are stored in this array 572 -- The strings do not have terminating NUL files. The array is 573 -- extensible, because when using project files, there may be 574 -- more files than arguments on the command line. 575 576 Current_File_Name_Index : Int := 0; 577 -- The index in File_Names of the last file opened by Next_Main_Source 578 -- or Next_Main_Lib_File. The value 0 indicates that no files have been 579 -- opened yet. 580 581 procedure Create_File_And_Check 582 (Fdesc : out File_Descriptor; 583 Fmode : Mode); 584 -- Create file whose name (NUL terminated) is in Name_Buffer (with the 585 -- length in Name_Len), and place the resulting descriptor in Fdesc. 586 -- Issue message and exit with fatal error if file cannot be created. 587 -- The Fmode parameter is set to either Text or Binary (see description 588 -- of GNAT.OS_Lib.Create_File). 589 590 type Program_Type is (Compiler, Binder, Make, Gnatls, Unspecified); 591 -- Program currently running 592 procedure Set_Program (P : Program_Type); 593 -- Indicates to the body of Osint the program currently running. 594 -- This procedure is called by the child packages of Osint. 595 -- A check is made that this procedure is not called several times. 596 597 function More_Files return Boolean; 598 -- Implements More_Source_Files and More_Lib_Files. 599 600 function Next_Main_File return File_Name_Type; 601 -- Implements Next_Main_Source and Next_Main_Lib_File. 602 603 function Object_File_Name (N : File_Name_Type) return File_Name_Type; 604 -- Constructs the name of the object file corresponding to library 605 -- file N. If N is a full file name than the returned file name will 606 -- also be a full file name. Note that no lookup in the library file 607 -- directories is done for this file. This routine merely constructs 608 -- the name. 609 610 procedure Write_Info (Info : String); 611 -- Implementation of Write_Binder_Info, Write_Debug_Info and 612 -- Write_Library_Info (identical) 613 614end Osint; 615