Mercurial > hg > CbC > CbC_gcc
comparison gcc/ada/ali-util.ads @ 145:1830386684a0
gcc-9.2.0
| author | anatofuz |
|---|---|
| date | Thu, 13 Feb 2020 11:34:05 +0900 |
| parents | 84e7813d76e9 |
| children |
comparison
equal
deleted
inserted
replaced
| 131:84e7813d76e9 | 145:1830386684a0 |
|---|---|
| 4 -- -- | 4 -- -- |
| 5 -- A L I . U T I L -- | 5 -- A L I . U T I L -- |
| 6 -- -- | 6 -- -- |
| 7 -- S p e c -- | 7 -- S p e c -- |
| 8 -- -- | 8 -- -- |
| 9 -- Copyright (C) 1992-2018, Free Software Foundation, Inc. -- | 9 -- Copyright (C) 1992-2019, Free Software Foundation, Inc. -- |
| 10 -- -- | 10 -- -- |
| 11 -- GNAT is free software; you can redistribute it and/or modify it under -- | 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- -- | 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- -- | 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- -- | 14 -- sion. GNAT is distributed in the hope that it will be useful, but WITH- -- |
| 105 | 105 |
| 106 -------------------------------------------------- | 106 -------------------------------------------------- |
| 107 -- Subprograms for Manipulating ALI Information -- | 107 -- Subprograms for Manipulating ALI Information -- |
| 108 -------------------------------------------------- | 108 -------------------------------------------------- |
| 109 | 109 |
| 110 procedure Read_Withed_ALIs | 110 procedure Read_Withed_ALIs (Id : ALI_Id); |
| 111 (Id : ALI_Id; | |
| 112 Ignore_Errors : Boolean := False); | |
| 113 -- Process an ALI file which has been read and scanned by looping through | 111 -- Process an ALI file which has been read and scanned by looping through |
| 114 -- all withed units in the ALI file, checking if they have been processed. | 112 -- all withed units in the ALI file, checking if they have been processed. |
| 115 -- Each unit that has not yet been processed will be read, scanned, and | 113 -- Each unit that has not yet been processed will be read, scanned, and |
| 116 -- processed recursively. If Ignore_Errors is True, then failure to read an | 114 -- processed recursively. In GNATprove mode a failure to read an ALI file |
| 117 -- ALI file is not reported as an error, and scanning continues with other | 115 -- is not reported as an error, and scanning continues with other ALI |
| 118 -- ALI files. | 116 -- files. |
| 119 | 117 |
| 120 procedure Set_Source_Table (A : ALI_Id); | 118 procedure Set_Source_Table (A : ALI_Id); |
| 121 -- Build source table entry corresponding to the ALI file whose id is A | 119 -- Build source table entry corresponding to the ALI file whose id is A |
| 122 | 120 |
| 123 procedure Set_Source_Table; | 121 procedure Set_Source_Table; |