Mercurial > hg > CbC > CbC_gcc
comparison gcc/ada/sem_disp.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 _ D I S P -- | 5 -- S E M _ D I S P -- |
| 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- -- |
| 98 -- these entities is found then return Empty. | 98 -- these entities is found then return Empty. |
| 99 | 99 |
| 100 type Subprogram_List is array (Nat range <>) of Entity_Id; | 100 type Subprogram_List is array (Nat range <>) of Entity_Id; |
| 101 -- Type returned by Inherited_Subprograms function | 101 -- Type returned by Inherited_Subprograms function |
| 102 | 102 |
| 103 generic | |
| 104 with function Find_DT (Subp : Entity_Id) return Entity_Id; | |
| 105 package Inheritance_Utilities is | |
| 106 | |
| 107 -- This package provides generic versions of inheritance utilities | |
| 108 -- provided here. These versions are used in GNATprove backend to adapt | |
| 109 -- these utilities to GNATprove specific version of visibility of types. | |
| 110 | |
| 111 function Inherited_Subprograms | |
| 112 (S : Entity_Id; | |
| 113 No_Interfaces : Boolean := False; | |
| 114 Interfaces_Only : Boolean := False; | |
| 115 One_Only : Boolean := False) return Subprogram_List; | |
| 116 | |
| 117 function Is_Overriding_Subprogram (E : Entity_Id) return Boolean; | |
| 118 end Inheritance_Utilities; | |
| 119 | |
| 103 function Inherited_Subprograms | 120 function Inherited_Subprograms |
| 104 (S : Entity_Id; | 121 (S : Entity_Id; |
| 105 No_Interfaces : Boolean := False; | 122 No_Interfaces : Boolean := False; |
| 106 Interfaces_Only : Boolean := False; | 123 Interfaces_Only : Boolean := False; |
| 107 One_Only : Boolean := False) return Subprogram_List; | 124 One_Only : Boolean := False) return Subprogram_List; |