Mercurial > hg > CbC > CbC_gcc
comparison gcc/ada/sem_res.ads @ 131:84e7813d76e9
gcc-8.2
| author | mir3636 |
|---|---|
| date | Thu, 25 Oct 2018 07:37:49 +0900 |
| parents | 04ced10e8804 |
| children | 1830386684a0 |
comparison
equal
deleted
inserted
replaced
| 111:04ced10e8804 | 131:84e7813d76e9 |
|---|---|
| 4 -- -- | 4 -- -- |
| 5 -- S E M _ R E S -- | 5 -- S E M _ R E S -- |
| 6 -- -- | 6 -- -- |
| 7 -- S p e c -- | 7 -- S p e c -- |
| 8 -- -- | 8 -- -- |
| 9 -- Copyright (C) 1992-2016, Free Software Foundation, Inc. -- | 9 -- Copyright (C) 1992-2018, 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- -- |
| 83 -- parameterless protected subprogram appears as a selected component. | 83 -- parameterless protected subprogram appears as a selected component. |
| 84 -- | 84 -- |
| 85 -- The parameter T is the Typ for the corresponding resolve call. | 85 -- The parameter T is the Typ for the corresponding resolve call. |
| 86 | 86 |
| 87 procedure Preanalyze_And_Resolve (N : Node_Id; T : Entity_Id); | 87 procedure Preanalyze_And_Resolve (N : Node_Id; T : Entity_Id); |
| 88 -- Performs a pre-analysis of expression node N. During pre-analysis, N is | 88 -- Performs a preanalysis of expression node N. During preanalysis, N is |
| 89 -- analyzed and then resolved against type T, but no expansion is carried | 89 -- analyzed and then resolved against type T, but no expansion is carried |
| 90 -- out for N or its children. For more info on pre-analysis read the spec | 90 -- out for N or its children. For more info on preanalysis read the spec |
| 91 -- of Sem. | 91 -- of Sem. |
| 92 | 92 |
| 93 procedure Preanalyze_And_Resolve (N : Node_Id); | 93 procedure Preanalyze_And_Resolve (N : Node_Id); |
| 94 -- Same, but use type of node because context does not impose a single type | 94 -- Same, but use type of node because context does not impose a single type |
| 95 | |
| 96 procedure Preanalyze_With_Freezing_And_Resolve (N : Node_Id; T : Entity_Id); | |
| 97 -- Same, but perform freezing of static expressions of N or its children. | |
| 95 | 98 |
| 96 procedure Resolve (N : Node_Id; Typ : Entity_Id); | 99 procedure Resolve (N : Node_Id; Typ : Entity_Id); |
| 97 procedure Resolve (N : Node_Id; Typ : Entity_Id; Suppress : Check_Id); | 100 procedure Resolve (N : Node_Id; Typ : Entity_Id; Suppress : Check_Id); |
| 98 -- Top-level type-checking procedure, called in a complete context. The | 101 -- Top-level type-checking procedure, called in a complete context. The |
| 99 -- construct N, which is a subexpression, has already been analyzed, and | 102 -- construct N, which is a subexpression, has already been analyzed, and |