Mercurial > hg > CbC > CbC_gcc
comparison gcc/ada/sem_ch6.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 -- S E M _ C H 6 -- | 5 -- S E M _ C H 6 -- |
| 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- -- |
| 98 procedure Check_Overriding_Indicator | 98 procedure Check_Overriding_Indicator |
| 99 (Subp : Entity_Id; | 99 (Subp : Entity_Id; |
| 100 Overridden_Subp : Entity_Id; | 100 Overridden_Subp : Entity_Id; |
| 101 Is_Primitive : Boolean); | 101 Is_Primitive : Boolean); |
| 102 -- Verify the consistency of an overriding_indicator given for subprogram | 102 -- Verify the consistency of an overriding_indicator given for subprogram |
| 103 -- declaration, body, renaming, or instantiation. Overridden_Subp is set | 103 -- declaration, body, renaming, or instantiation. Overridden_Subp is set |
| 104 -- if the scope where we are introducing the subprogram contains a | 104 -- if the scope where we are introducing the subprogram contains a |
| 105 -- type-conformant subprogram that becomes hidden by the new subprogram. | 105 -- type-conformant subprogram that becomes hidden by the new subprogram. |
| 106 -- Is_Primitive indicates whether the subprogram is primitive. | 106 -- Is_Primitive indicates whether the subprogram is primitive. |
| 107 | 107 |
| 108 procedure Check_Subtype_Conformant | 108 procedure Check_Subtype_Conformant |
| 170 -- Determine whether two callable entities (subprograms, entries, | 170 -- Determine whether two callable entities (subprograms, entries, |
| 171 -- literals) are fully conformant (RM 6.3.1(17)) | 171 -- literals) are fully conformant (RM 6.3.1(17)) |
| 172 | 172 |
| 173 function Fully_Conformant_Expressions | 173 function Fully_Conformant_Expressions |
| 174 (Given_E1 : Node_Id; | 174 (Given_E1 : Node_Id; |
| 175 Given_E2 : Node_Id) return Boolean; | 175 Given_E2 : Node_Id; |
| 176 Report : Boolean := False) return Boolean; | |
| 176 -- Determines if two (non-empty) expressions are fully conformant | 177 -- Determines if two (non-empty) expressions are fully conformant |
| 177 -- as defined by (RM 6.3.1(18-21)) | 178 -- as defined by (RM 6.3.1(18-21)) |
| 178 | 179 |
| 179 function Fully_Conformant_Discrete_Subtypes | 180 function Fully_Conformant_Discrete_Subtypes |
| 180 (Given_S1 : Node_Id; | 181 (Given_S1 : Node_Id; |