Mercurial > hg > CbC > CbC_gcc
comparison gcc/ada/scil_ll.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 C I L _ L L -- | 5 -- S C I L _ L L -- |
| 6 -- -- | 6 -- -- |
| 7 -- S p e c -- | 7 -- S p e c -- |
| 8 -- -- | 8 -- -- |
| 9 -- Copyright (C) 2010-2018, Free Software Foundation, Inc. -- | 9 -- Copyright (C) 2010-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- -- |
| 28 -- Extensive contributions were provided by Ada Core Technologies Inc. -- | 28 -- Extensive contributions were provided by Ada Core Technologies Inc. -- |
| 29 -- -- | 29 -- -- |
| 30 ------------------------------------------------------------------------------ | 30 ------------------------------------------------------------------------------ |
| 31 | 31 |
| 32 -- This package extends the tree nodes with fields that are used to reference | 32 -- This package extends the tree nodes with fields that are used to reference |
| 33 -- the SCIL node and the Contract_Only_Body of a subprogram with aspects. | 33 -- the SCIL node. |
| 34 | 34 |
| 35 with Types; use Types; | 35 with Types; use Types; |
| 36 | 36 |
| 37 package SCIL_LL is | 37 package SCIL_LL is |
| 38 | 38 |
| 39 function Get_Contract_Only_Body (N : Node_Id) return Node_Id; | |
| 40 -- Read the value of attribute Contract_Only_Body | |
| 41 | |
| 42 function Get_SCIL_Node (N : Node_Id) return Node_Id; | 39 function Get_SCIL_Node (N : Node_Id) return Node_Id; |
| 43 -- Read the value of attribute SCIL node | 40 -- Read the value of attribute SCIL node |
| 44 | |
| 45 procedure Set_Contract_Only_Body (N : Node_Id; Value : Node_Id); | |
| 46 -- Set the value of attribute Contract_Only_Body | |
| 47 | 41 |
| 48 procedure Set_SCIL_Node (N : Node_Id; Value : Node_Id); | 42 procedure Set_SCIL_Node (N : Node_Id; Value : Node_Id); |
| 49 -- Set the value of attribute SCIL node | 43 -- Set the value of attribute SCIL node |
| 50 | 44 |
| 51 procedure Initialize; | 45 procedure Initialize; |
| 52 -- Initialize the table of SCIL nodes | 46 -- Initialize the table of SCIL nodes |
| 53 | 47 |
| 54 function Is_Contract_Only_Body (E : Entity_Id) return Boolean; | |
| 55 -- Return True if E is a Contract_Only_Body subprogram | |
| 56 | |
| 57 procedure Set_Is_Contract_Only_Body (E : Entity_Id); | |
| 58 -- Set E as Contract_Only_Body subprogram | |
| 59 | |
| 60 end SCIL_LL; | 48 end SCIL_LL; |