Mercurial > hg > CbC > CbC_gcc
diff 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 |
line wrap: on
line diff
--- a/gcc/ada/scil_ll.ads Thu Oct 25 07:37:49 2018 +0900 +++ b/gcc/ada/scil_ll.ads Thu Feb 13 11:34:05 2020 +0900 @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 2010-2018, Free Software Foundation, Inc. -- +-- Copyright (C) 2010-2019, Free Software Foundation, Inc. -- -- -- -- GNAT is free software; you can redistribute it and/or modify it under -- -- terms of the GNU General Public License as published by the Free Soft- -- @@ -30,31 +30,19 @@ ------------------------------------------------------------------------------ -- This package extends the tree nodes with fields that are used to reference --- the SCIL node and the Contract_Only_Body of a subprogram with aspects. +-- the SCIL node. with Types; use Types; package SCIL_LL is - function Get_Contract_Only_Body (N : Node_Id) return Node_Id; - -- Read the value of attribute Contract_Only_Body - function Get_SCIL_Node (N : Node_Id) return Node_Id; -- Read the value of attribute SCIL node - procedure Set_Contract_Only_Body (N : Node_Id; Value : Node_Id); - -- Set the value of attribute Contract_Only_Body - procedure Set_SCIL_Node (N : Node_Id; Value : Node_Id); -- Set the value of attribute SCIL node procedure Initialize; -- Initialize the table of SCIL nodes - function Is_Contract_Only_Body (E : Entity_Id) return Boolean; - -- Return True if E is a Contract_Only_Body subprogram - - procedure Set_Is_Contract_Only_Body (E : Entity_Id); - -- Set E as Contract_Only_Body subprogram - end SCIL_LL;