1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
|
------------------------------------------------------------------------------
-- --
-- GNAT COMPILER COMPONENTS --
-- --
-- L O C A L _ R E S T R I C T --
-- --
-- S p e c --
-- --
-- Copyright (C) 1992-2024, 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- --
-- ware Foundation; either version 3, or (at your option) any later ver- --
-- sion. GNAT is distributed in the hope that it will be useful, but WITH- --
-- OUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY --
-- or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License --
-- for more details. You should have received a copy of the GNU General --
-- Public License distributed with GNAT; see file COPYING3. If not, go to --
-- http://www.gnu.org/licenses for a complete copy of the license. --
-- --
-- GNAT was originally developed by the GNAT team at New York University. --
-- Extensive contributions were provided by Ada Core Technologies Inc. --
-- --
------------------------------------------------------------------------------
-- This package deals with the implementation of the Local_Restrictions aspect
with Types; use Types;
package Local_Restrict is
type Local_Restriction is (No_Secondary_Stack, No_Heap_Allocations);
-- A local restriction can be mentioned in a Local_Restrictions aspect
-- specification. A local restriction might apply, for example, to a
-- single subprogram. No_Secondary_Stack corresponds to the
-- GNAT-defined restriction of the same name. No_Heap_Allocations
-- corresponds to the conjunction of the RM-defined restrictions
-- No_Allocators and No_Implicit_Heap_Allocations. If a subprogram is
-- subject to a local restriction, then any subprogram that it calls
-- shall be known to satisfy that restriction.
type Local_Restriction_Set is array (Local_Restriction) of Boolean;
procedure Check_Call (Call : Node_Id; Callee : Entity_Id := Empty);
-- Check whether a call violates any local restrictions that are
-- in effect. An empty callee indicates that the callee should be
-- conservatively assumed to violate any local restrictions that
-- are in effect (for example, for an entry call or a call through
-- an access-to-subprogram value).
procedure Check_Overriding (Overrider_Op, Overridden_Op : Entity_Id);
-- Check that all of the local restrictions in effect for
-- Overridden_Op are also in effect for Overrider_Op.
procedure Check_Actual_Subprogram_For_Instance
(Actual_Subp_Name : Node_Id; Formal_Subp : Entity_Id);
-- Check that all of the local restrictions in effect for
-- Formal_Subp are also in effect for Actual_Subp.
end Local_Restrict;
|
