1 ------------------------------------------------------------------------------
3 -- GNAT COMPILER COMPONENTS --
5 -- S Y S T E M . R E S T R I C T I O N S --
9 -- Copyright (C) 2004-2005 Free Software Foundation, Inc. --
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- --
13 -- ware Foundation; either version 2, or (at your option) any later ver- --
14 -- sion. GNAT is distributed in the hope that it will be useful, but WITH- --
15 -- OUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY --
16 -- or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License --
17 -- for more details. You should have received a copy of the GNU General --
18 -- Public License distributed with GNAT; see file COPYING. If not, write --
19 -- to the Free Software Foundation, 51 Franklin Street, Fifth Floor, --
20 -- Boston, MA 02110-1301, USA. --
22 -- As a special exception, if other files instantiate generics from this --
23 -- unit, or you link this unit with other files to produce an executable, --
24 -- this unit does not by itself cause the resulting executable to be --
25 -- covered by the GNU General Public License. This exception does not --
26 -- however invalidate any other reasons why the executable file might be --
27 -- covered by the GNU Public License. --
29 -- GNAT was originally developed by the GNAT team at New York University. --
30 -- Extensive contributions were provided by Ada Core Technologies Inc. --
32 ------------------------------------------------------------------------------
34 package body System
.Restrictions
is
41 function Abort_Allowed
return Boolean is
43 return Run_Time_Restrictions
.Violated
(No_Abort_Statements
)
45 Run_Time_Restrictions
.Violated
(Max_Asynchronous_Select_Nesting
);
52 function Tasking_Allowed
return Boolean is
54 return Run_Time_Restrictions
.Violated
(Max_Tasks
)
56 Run_Time_Restrictions
.Violated
(No_Tasking
);
59 -- Package elaboration code (acquire restrictions)
62 Acquire_Restrictions
: declare
64 subtype Big_String
is String (Positive);
65 type Big_String_Ptr
is access all Big_String
;
67 RString
: Big_String_Ptr
;
68 pragma Import
(C
, RString
, "__gl_restrictions");
71 -- Pointer to scan string
74 -- Next character from string
76 function Get_Char
return Character;
77 -- Get next character from string
79 function Get_Natural
return Natural;
80 -- Scan out natural value known to be in range, updating P past it
86 function Get_Char
return Character is
89 return RString
(P
- 1);
96 function Get_Natural
return Natural is
100 while RString
(P
) in '0' .. '9' loop
101 N
:= N
* 10 + (Character'Pos (Get_Char
) - Character'Pos ('0'));
107 -- Start of processing for Acquire_Restrictions
110 -- Acquire data corresponding to first R line
112 for R
in All_Boolean_Restrictions
loop
116 Run_Time_Restrictions
.Violated
(R
) := True;
119 Run_Time_Restrictions
.Set
(R
) := True;
123 -- Acquire data corresponding to second R line
125 for RP
in All_Parameter_Restrictions
loop
127 -- Acquire restrictions pragma information
129 if Get_Char
= 'r' then
130 Run_Time_Restrictions
.Set
(RP
) := True;
131 Run_Time_Restrictions
.Value
(RP
) := Get_Natural
;
134 -- Acquire restrictions violations information
136 if Get_Char
= 'v' then
137 Run_Time_Restrictions
.Violated
(RP
) := True;
138 Run_Time_Restrictions
.Count
(RP
) := Get_Natural
;
140 if RString
(P
) = '+' then
141 Run_Time_Restrictions
.Unknown
(RP
) := True;
146 end Acquire_Restrictions
;
147 end System
.Restrictions
;